Jirí Srba

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

35EEMorten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FOSSACS 2009: 440-455
34EEMorten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR abs/0901.0501: (2009)
33EEJirí Srba: Beyond Language Equivalence on Visibly Pushdown Automata CoRR abs/0901.2068: (2009)
32EEJirí Srba: Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. FORMATS 2008: 15-32
31EEPatricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba: Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47
30EEPetr Jancar, Jirí Srba: Undecidability of bisimilarity by defender's forcing. J. ACM 55(1): (2008)
29EEDirk Nowotka, Jirí Srba: Height-Deterministic Pushdown Automata. MFCS 2007: 125-134
28EEGiorgio Delzanno, Javier Esparza, Jirí Srba: Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA 2006: 415-429
27EEJirí Srba: Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. CSL 2006: 89-103
26EEPetr Jancar, Jirí Srba: Undecidability Results for Bisimilarity on Prefix Rewrite Systems. FoSSaCS 2006: 277-291
25EEJirí Srba, Scott A. Smolka: Preface. Electr. Notes Theor. Comput. Sci. 149(1): 1-2 (2006)
24EEHans Hüttel, Jirí Srba: Decidability Issues for Extended Ping-Pong Protocols. J. Autom. Reasoning 36(1-2): 125-147 (2006)
23EEJirí Srba: On Counting the Number of Consistent Genotype Assignments for Pedigrees. FSTTCS 2005: 470-482
22EEJirí Srba: Timed-Arc Petri Nets vs. Networks of Timed Automata. ICATPN 2005: 385-402
21EEHans Hüttel, Jirí Srba: Recursion Versus Replication in Simple Cryptographic Protocols. SOFSEM 2005: 178-187
20 Petr Jancar, Jirí Srba: Highly Undecidable Questions for Process Algebras. IFIP TCS 2004: 507-520
19EEJirí Srba: Completeness Results for Undecidable Bisimilarity Problems. Electr. Notes Theor. Comput. Sci. 98: 5-19 (2004)
18EEFaron Moller, Scott A. Smolka, Jirí Srba: On the computational complexity of bisimulation, redux. Inf. Comput. 194(2): 129-143 (2004)
17EEJirí Srba: Strong bisimilarity of simple process algebras: complexity lower bounds. Acta Inf. 39(6-7): 469-499 (2003)
16EEMarcin Jurdzinski, Mogens Nielsen, Jirí Srba: Undecidability of domino games and hhp-bisimilarity. Inf. Comput. 184(2): 343-368 (2003)
15 Jirí Srba: Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp. Mathematical Structures in Computer Science 13(4): 567-587 (2003)
14EEJirí Srba: Undecidability of Weak Bisimilarity for Pushdown Processes. CONCUR 2002: 579-593
13EEJirí Srba: Undecidability of Weak Bisimilarity for PA-Processes. Developments in Language Theory 2002: 197-208
12EEJirí Srba: Note on the Tableau Technique for Commutative Transition Systems. FoSSaCS 2002: 387-401
11EEJirí Srba: Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard. ICALP 2002: 716-727
10EEJirí Srba: Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard. STACS 2002: 535-546
9 Jirí Srba: Roadmap of Infinite Results. Bulletin of the EATCS 78: 163-175 (2002)
8EEJirí Srba: On the Power of Labels in Transition Systems. CONCUR 2001: 277-291
7EEMogens Nielsen, Vladimiro Sassone, Jirí Srba: Properties of Distributed Timed-Arc Petri Nets. FSTTCS 2001: 280-291
6EEMogens Nielsen, Vladimiro Sassone, Jirí Srba: Towards a Notion of Distributed Time for Petri Nets. ICATPN 2001: 23-31
5EEJirí Srba: Basic process algebra with deadlocking states. Theor. Comput. Sci. 266(1-2): 605-630 (2001)
4EEOndrej Klíma, Jirí Srba: Matching Modulo Associativity and Idempotency Is NP-Complete. MFCS 2000: 456-466
3EEJirí Srba: Complexity of Weak Bisimilarity and Regularity for BPA and BPP. Electr. Notes Theor. Comput. Sci. 39(1): (2000)
2EEIvana Cerná, Ondrej Klíma, Jirí Srba: Pattern Equations and Equations with Stuttering. SOFSEM 1999: 369-378
1EEJirí Srba: Deadlocking States in Context-Free Process Algebra. MFCS 1998: 388-398

Coauthor Index

1Patricia Bouyer [31]
2Ivana Cerná (Ivana Cerna) [2]
3Giorgio Delzanno [28]
4Javier Esparza [28]
5Ulrich Fahrenberg [31]
6Hans Hüttel [21] [24]
7Petr Jancar [20] [26] [30]
8Marcin Jurdzinski [16]
9Stefan Kiefer [34] [35]
10Ondrej Klíma [2] [4]
11Morten Kühnrich [34] [35]
12Kim Guldstrand Larsen [31]
13Nicolas Markey [31]
14Faron Moller [18]
15Mogens Nielsen [6] [7] [16]
16Dirk Nowotka [29]
17Vladimiro Sassone [6] [7]
18Stefan Schwoon [34] [35]
19Scott A. Smolka [18] [25]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)