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.

Jiří Srba
SearchCollections
Map detail
Jiří Srba9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJiří SrbaAJiří SrbaResearcherBeyond Language Equivalence on Visibly Pushdown AutomataWBeyond Language Equival...preprint / 2009Note on Undecidability of Bisimilarity for Second-Order Pushdown ProcessesWNote on Undecidability ...preprint / 2013Time-Darts: A Data Structure for Verification of Closed Timed AutomataWTime-Darts: A Data Stru...preprint / 2012TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri NetsWTAPAAL HyperLTL: A Tool...preprint / 2026A Forward Reachability Algorithm for Bounded Timed-Arc Petri NetsWA Forward Reachability ...preprint / 2012Language Emptiness of Continuous-Time Parametric Timed AutomataWLanguage Emptiness of C...preprint / 2015Complexity of Perfect and Ideal Resilience Verification in Fast Re-Route NetworksWComplexity of Perfect a...preprint / 2026Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex ParametersWProceedings Cassting Wo...preprint / 2016
Person8 links

Jiří Srba

Researcher

PaperBeyond Language Equivalence on Visibly Pushdown AutomataAuthorship / preprint / 2009PaperNote on Undecidability of Bisimilarity for Second-Order Pushdown ProcessesAuthorship / preprint / 2013PaperTime-Darts: A Data Structure for Verification of Closed Timed AutomataAuthorship / preprint / 2012PaperTAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri NetsAuthorship / preprint / 2026PaperA Forward Reachability Algorithm for Bounded Timed-Arc Petri NetsAuthorship / preprint / 2012PaperLanguage Emptiness of Continuous-Time Parametric Timed AutomataAuthorship / preprint / 2015PaperComplexity of Perfect and Ideal Resilience Verification in Fast Re-Route NetworksAuthorship / preprint / 2026PaperProceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex ParametersAuthorship / preprint / 2016

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)