BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jifeng He
SearchCollections
Map detail
Jifeng He7 visible / 7 total nodes / 6 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJifeng HeAJifeng HeResearcherMDM: A Mode Diagram Modeling FrameworkWMDM: A Mode Diagram Mod...preprint / 2013On the Relationship between LTL Normal Forms and Buechi AutomataWOn the Relationship bet...preprint / 2012LTLf satisfiability checkingWLTLf satisfiability che...preprint / 2014Fast LTL Satisfiability Checking by SAT SolversWFast LTL Satisfiability...preprint / 2014Polsat: A Portfolio LTL Satisfiability SolverWPolsat: A Portfolio LTL...preprint / 2013MDM: A Mode Diagram Modeling Framework for Periodic Control SystemsWMDM: A Mode Diagram Mod...preprint / 2012
Person6 links

Jifeng He

Researcher

PaperMDM: A Mode Diagram Modeling FrameworkAuthorship / preprint / 2013PaperOn the Relationship between LTL Normal Forms and Buechi AutomataAuthorship / preprint / 2012PaperLTLf satisfiability checkingAuthorship / preprint / 2014PaperFast LTL Satisfiability Checking by SAT SolversAuthorship / preprint / 2014PaperPolsat: A Portfolio LTL Satisfiability SolverAuthorship / preprint / 2013PaperMDM: A Mode Diagram Modeling Framework for Periodic Control SystemsAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)