Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jiri Srba - Publications
[go: Go Back, main page]
 
Jiri Srba

List of Publications
 

Proceedings Publications

  • Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
    by G. Delzanno, J. Esparza and J. Srba.
    In Proceedings of 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), pages, volume of LNCS, Springer-Verlag, 2006.
    To appear.
    Abstract      

  • Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation
    by J. Srba.
    In Proceedings of 15th Annual Conference on Computer Science Logic (CSL'06), pages, volume of LNCS, Springer-Verlag, 2006.
    To appear.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Undecidability Results for Bisimilarity on Prefix Rewrite Systems
    by P. Jancar and J. Srba.
    In Proceedings of 9th Foundations of Software Science and Computation Structures (FOSSACS'06), pages 277-291, volume 3921 of LNCS, Springer-Verlag, 2006.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • On Counting the Number of Consistent Genotype Assignments for Pedigrees
    by J. Srba.
    In Proceedings of 25th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), pages 470-482, volume 3821 of LNCS, Springer-Verlag, 2005.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Timed-Arc Petri Nets vs. Networks of Timed Automata
    by J. Srba.
    In Proceedings of 26th International Conference on Application and Theory of Petri Nets (ICATPN'05), pages 385-402, volume 3536 of LNCS, Springer-Verlag, 2005.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Recursion vs. Replication in Simple Cryptographic Protocols
    by H. Huttel and J. Srba.
    In Proceedings of 31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05), pages 175-184, volume 3381 of LNCS, Springer-Verlag, 2005.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Highly Undecidable Questions for Process Algebras
    by P. Jancar and J. Srba.
    In Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04), pages 507-520, Kluwer Academic Publishers, 2004.
    Abstract       BibTex       (Postscript, PDF) © Kluwer

  • Recursive Ping-Pong Protocols
    by H. Huttel and J. Srba.
    In Proceedings of 4th International Workshop on Issues in the Theory of Security (WITS'04), pages 129-140, 2004.
    Abstract       BibTex       (Postscript, PDF) 

  • Completeness Results for Undecidable Bisimilarity Problems
    by J. Srba.
    In Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03), pages 5-19, volume 98 of ENTCS, Springer-Verlag, 2004.
    Abstract       BibTex       (Postscript, PDF) © Elsevier Science

  • Undecidability of Weak Bisimilarity for PA-Processes
    by J. Srba.
    In Proceedings of 6th International Conference on Developments in Language Theory (DLT'02), pages 197-208, volume 2450 of LNCS, Springer-Verlag, 2003.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Undecidability of Weak Bisimilarity for Pushdown Processes
    by J. Srba.
    In Proceedings of 13th International Conference on Concurrency Theory (CONCUR'02), pages 579-593, volume 2421 of LNCS, Springer-Verlag, 2002.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Strong Bisimilarity and Regularity of Basic Process Algebra is PSPACE-Hard
    by J. Srba.
    In Proceedings of 29th International Colloquium on Automata, Languages and Programming (ICALP'02), pages 716-727, volume 2380 of LNCS, Springer-Verlag, 2002.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Note on the Tableau Technique for Commutative Transition Systems
    by J. Srba.
    In Proceedings of 5th Foundations of Software Science and Computation Structures (FOSSACS'02), pages 387-401, volume 2303 of LNCS, Springer-Verlag, 2002.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Strong Bisimilarity and Regularity of Basic Parallel Processes is PSPACE-Hard
    by J. Srba.
    In Proceedings of 19th International Symposium on Theoretical Aspects of Computer Science (STACS'02), pages 535-546, volume 2285 of LNCS, Springer-Verlag, 2002.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Properties of Distributed Timed-Arc Petri Nets
    by M. Nielsen, V. Sassone and J. Srba.
    In Proceedings of 21st International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'01), pages 280-291, volume 2245 of LNCS, Springer-Verlag, 2001.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • On the Power of Labels in Transition Systems
    by J. Srba.
    In Proceedings of 12th International Conference on Concurrency Theory (CONCUR'01), pages 277-291, volume 2154 of LNCS, Springer-Verlag, 2001.
    Abstract       (Postscript, PDF) © Springer-Verlag

  • Towards a Notion of Distributed Time for Petri Nets
    by M. Nielsen, V. Sassone and J. Srba.
    In Proceedings of 22nd International Conference on Application and Theory of Petri Nets (ICATPN'01), pages 23-31, volume 2075 of LNCS, Springer-Verlag, 2001.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Complexity of Weak Bisimilarity and Regularity for BPA and BPP
    by J. Srba.
    In Proceedings of the 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00), volume 39 (1) of ENTCS, Elsevier Science Publishers, 2000.
    See also the journal version.
    Abstract       BibTex       (Postscript, PDF) © Elsevier Science

  • Matching Modulo Associativity and Idempotency is NP-Complete
    by O. Klima and J. Srba.
    In Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science (MFCS'00), pages 456-466, volume 1893 of LNCS, Springer-Verlag, 2000.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Pattern Equations and Equations with Stuttering
    by I. Cerna, O. Klima and J. Srba.
    In Proceedings of 26th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'99), pages 369-378, volume 1725 of LNCS, Springer-Verlag, 1999.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

  • Deadlocking States in Context-Free Process Algebra
    by J. Srba.
    In Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98), pages 388-398, volume 1450 of LNCS, Springer-Verlag, 1998.
    Abstract       BibTex       (Postscript, PDF) © Springer-Verlag

Journal Publications

Edited Volumes

  • Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)
    by S. Smolka and J. Srba.
    Preliminary proceedings appeared in NS-05-4, BRICS Notes Series, 70 pages, 2005.
    Final version published in ENTCS, volume 149, issue 1, 2006.

Technical Reports

  • Undecidability Results for Bisimilarity on Prefix Rewrite Systems
    by P. Jancar and J. Srba.
    Technical report RS-06-7, BRICS Research Series, 20 pages, 2006.

  • On Counting the Number of Consistent Genotype Assignments for Pedigrees
    by J. Srba.
    Technical report RS-05-28, BRICS Research Series, 15 pages, 2005.

  • Recursion vs. Replication in Simple Cryptographic Protocols
    by H. Huttel and J. Srba.
    Technical report RS-04-23, BRICS Research Series, 26 pages, 2004.

  • Highly Undecidable Questions for Process Algebras
    by P. Jancar and J. Srba.
    Technical report RS-04-8, BRICS Research Series, 25 pages, 2004.

  • Recursive Ping-Pong Protocols
    by H. Huttel and J. Srba.
    Technical report RS-03-47, BRICS Research Series, 21 pages, 2004.

  • Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
    by J. Srba.
    Technical report RS-02-16, BRICS Research Series, 33 pages, 2002.

  • Note on the Tableau Technique for Commutative Transition Systems
    by J. Srba.
    Technical report RS-01-50, BRICS Research Series, 19 pages, 2001.

  • On the Power of Labels in Transition Systems
    by J. Srba.
    Technical report RS-01-19, BRICS Research Series, 22 pages, 2001.

  • Complexity of Weak Bisimilarity and Regularity for BPA and BPP
    by J. Srba.
    Technical report RS-00-16, BRICS Research Series, 20 pages, 2000.

  • Matching Modulo Associativity and Idempotency is NP-Complete
    by O. Klima and J. Srba.
    Technical report RS-00-13, BRICS Research Series, 19 pages, 2000.

  • Complexity Issues of the Pattern Equations in Idempotent Semigroups
    by O. Klima and J. Srba.
    Technical report FIMU-RS-99-02, Faculty of Informatics MU, 14 pages, 1999.

  • On the Pattern Equations
    by I. Cerna, O. Klima and J. Srba.
    Technical report FIMU-RS-99-01, Faculty of Informatics MU, 11 pages, 1999.

  • Comparing the Classes BPA and BPA with Deadlocks
    by J. Srba.
    Technical report FIMU-RS-98-05, Faculty of Informatics MU, 36 pages, 1998.

Conference Talks

  • FOSSACS'06
    2006, Vienna, Austria. Participation.

  • FSTTCS'05
    2005, Hyderabad, India.

  • CONCUR'05
    2005, San Francisco, California, USA. Organization of INFINITY'05

  • ICATPN'05
    2005, Miami, Florida, USA.

  • STTI'05
    2005, Prague, Czech Republic.

  • TCS'04
    2004, Toulouse, France.

  • WITS'04
    2004, Barcelona, Spain.

  • INFINITY'03
    2003, Marseille, France.

  • DLT'02
    2002, Kyoto, Japan.

  • INFINITY'02 (short presentation - ps,pdf)
    2002, Brno, Czech Republic.

  • CONCUR'02
    2002, Brno, Czech Republic.

  • ICALP'02
    2002, Malaga, Spain.

  • FOSSACS'02
    2002, Grenoble, France.

  • STACS'02
    2002, Juan les Pins, France.

  • FSTTCS'01
    2001, Bangalore, India.

  • CONCUR'01
    2001, Aalborg, Denmark.

  • EXPRESS'00
    2000, State College, Pennsylvania, USA.

  • MFCS'00
    2000, Bratislava, Slovak Republic.

  • ICALP'99
    1999, Prague, Czech Republic. Participation.

  • SOFSEM'99
    1999, Milovy, Czech Republic.

  • MFCS'98
    1998, Brno, Czech Republic.

Other Talks

  • Distributed Timed-Arc Petri Nets
    14. 11. 2002, BRICS Seminars Series, Aalborg, Denmark.

  • Bisimilarity Checking of Simple Process Algebras: Complexity Lower Bounds
    17. 6. 2002, Oberseminar, Freiburg, Germany.

  • Complexity of Bisimilarity Problems for Simple Process Algebras
    14. 2. 2002, BRICS Seminars Series, Aalborg, Denmark.

  • Interleaving and Independence Models in Concurrency (qualifying exam)
    24. 1. 2001, Basic Research in Computer Science, Aarhus, Denmark.

  • Pattern Equations and Equations with Stuttering
    19. 11. 1999, Basic Research in Computer Science, Aarhus, Denmark.

  • Process Theory of Commutative Context-Free Grammars
    24. 3. 1999, Faculty of Informatics, Masaryk University, Brno, Czech Republic.

  • Applications of Semigroups in Basic Parallel Processes
    19. 11. 1998, Faculty of Science, Dept. of Mathematics, Masaryk University, Brno, Czech Republic.

  • Context-Free Process Algebras Extended with Deadlocks
    5. 3. 1998, Faculty of Informatics, Masaryk University, Brno, Czech Republic.

Grant Participation

  • 2005-:Institute for Theoretical Computer Science
    Project No. 1M0545.

  • 2003-2005: Verification of Infinite-state Systems
    Grant Agency of Czech Republic, Project No. 201/03/1161.

  • 2000-2003: Infinite-State Concurrent Systems - Models and Verification
    Grant Agency of Czech Republic, Project No. 201/00/0400.

  • 1997-2000: Algorithmic Verification Boundaries for Infinite-State Systems
    Grant Agency of Czech Republic, Project No. 201/97/0456.

  • 1999: Verification of Infinite-State Concurrent Processes
    Fund for Development of Universities, FRVS - 0409/1999.

Dissertation Theses

  • Decidability and Complexity Issues for Infinite-State Processes
    by J. Srba.
    BRICS, Department of Computer Science, University of Aarhus, Denmark. 171 pages, 2003.
    Supervisor: Mogens Nielsen, Examiners: Petr Jancar and Colin Stirling.
    (Postscript, PDF) 

  • Selected Techniques for Verification of Infinite-State Systems
    by J. Srba.
    Faculty of Informatics, Masaryk University, Czech Republic. 124 pages, 2005.
    Supervisor: Mojmir Kretinsky, Examiners: Milan Ceska and Antonin Kucera.
    (Postscript, PDF) 

Master Thesis

  • Context-Free Process Algebras Extended with Deadlocks
    by J. Srba.
    Faculty of Informatics, Masaryk University, Brno, Czech Republic. 42 pages, 1998.
    Examiners: Ivana Cerna (supervisor) and Antonin Kucera.
    (Postscript, PDF) 

 
 
 
Last modified: 2006-07-13 by Jiri Srba.            Back to my homepage