Srba, Jirí

• BRICS Report Series No. 19 (2001): RS-19 On the Power of Labels in Transition Systems - Articles
  On the Power of Labels in Transition Systems
  Abstract  PDF
• BRICS Report Series No. 28 (2005): RS-28 On Counting the Number of Consistent Genotype Assignments for Pedigrees - Articles
  On Counting the Number of Consistent Genotype Assignments for Pedigrees
  Abstract  PDF
• BRICS Report Series No. 16 (2000): RS-16 Complexity of Weak Bisimilarity and Regularity for BPA and BPP - Articles
  Complexity of Weak Bisimilarity and Regularity for BPA and BPP
  Abstract  PDF
• BRICS Report Series No. 50 (2001): RS-50 Note on the Tableau Technique for Commutative Transition Systems - Articles
  Note on the Tableau Technique for Commutative Transition Systems
  Abstract  PDF
• BRICS Report Series No. 13 (2006): RS-13 Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation - Articles
  Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation
  Abstract  PDF
• BRICS Report Series No. 16 (2002): RS-16 Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds - Articles
  Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
  Abstract  PDF
• BRICS Report Series No. 13 (2000): RS-13 Matching Modulo Associativity and Idempotency is NP-Complete - Articles
  Matching Modulo Associativity and Idempotency is NP-Complete
  Abstract  PDF
• BRICS Report Series No. 47 (2003): RS-47 Recursive Ping-Pong Protocols - Articles
  Recursive Ping-Pong Protocols
  Abstract  PDF
• BRICS Report Series No. 8 (2004): RS-8 Highly Undecidable Questions for Process Algebras - Articles
  Highly Undecidable Questions for Process Algebras
  Abstract  PDF
• BRICS Report Series No. 7 (2006): RS-7 Undecidability Results for Bisimilarity on Prefix Rewrite Systems - Articles
  Undecidability Results for Bisimilarity on Prefix Rewrite Systems
  Abstract  PDF
• BRICS Report Series No. 23 (2004): RS-23 Recursion vs. Replication in Simple Cryptographic Protocols - Articles
  Recursion vs. Replication in Simple Cryptographic Protocols
  Abstract  PDF
• BRICS Report Series No. 14 (2006): RS-14 Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols - Articles
  Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
  Abstract  PDF