2005

• Reachability of Hennessy - Milner properties for weakly extended PRS

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Článek ve sborníku

  FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, rok: 2005

• Recursion vs. Replication in Simple Cryptographic Protocols

  HUTTEL Hans SRBA Jiří

  Článek ve sborníku

  Proceedings of 31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05), rok: 2005

• Refining Undecidability Border of Weak Bisimilarity.

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Článek v odborném periodiku

  BRICS Notes Series, rok: 2005, ročník: 2005, vydání: NS-05-4

• Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper)

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

• Remarks on multiple entry deterministic finite automata

  POLÁK Libor

  Článek ve sborníku

  Proc. Descriptional Complexity of Formal Systems 7th Workshop, rok: 2005

• Test input generation for red-black trees using abstraction

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Článek ve sborníku

  Automated Software Engineering, rok: 2005

• The stuttering principle revisited

  KUČERA Antonín STREJČEK Jan

  Článek v odborném periodiku

  Acta informatica, rok: 2005, ročník: 41, vydání: 7/8

• Timed-Arc Petri Nets vs. Networks of Timed Automata

  SRBA Jiří

  Článek ve sborníku

  Proceedings of the 26th International Conference on Application and Theory of {P}etri Nets (ICATPN 2005), rok: 2005