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.

Petr Jancar
SearchCollections
Map detail
Petr Jancar10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPetr JancarAPetr JancarResearcherSimplest Non-Regular Deterministic Context-Free LanguageWSimplest Non-Regular De...preprint / 2021Equivalence of pushdown automata via first-order grammarsWEquivalence of pushdown...preprint / 2020A Short Decidability Proof for DPDA Language Equivalence via First-Order GrammarsWA Short Decidability Pr...preprint / 2011Bisimulation equivalence of first-order grammars is Ackermann-hardWBisimulation equivalenc...preprint / 2013Bisimulation Equivalence of First-Order GrammarsWBisimulation Equivalenc...preprint / 2014Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)WBisimilarity on Basic P...preprint / 2013Deciding structural liveness of Petri netsWDeciding structural liv...preprint / 2016Reachability Games on Extended Vector Addition Systems with StatesWReachability Games on E...preprint / 2010Bisimilarity of Probabilistic Pushdown AutomataWBisimilarity of Probabi...preprint / 2012
Person9 links

Petr Jancar

Researcher

PaperSimplest Non-Regular Deterministic Context-Free LanguageAuthorship / preprint / 2021PaperEquivalence of pushdown automata via first-order grammarsAuthorship / preprint / 2020PaperA Short Decidability Proof for DPDA Language Equivalence via First-Order GrammarsAuthorship / preprint / 2011PaperBisimulation equivalence of first-order grammars is Ackermann-hardAuthorship / preprint / 2013PaperBisimulation Equivalence of First-Order GrammarsAuthorship / preprint / 2014PaperBisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)Authorship / preprint / 2013PaperDeciding structural liveness of Petri netsAuthorship / preprint / 2016PaperReachability Games on Extended Vector Addition Systems with StatesAuthorship / preprint / 2010

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)