Články

2009

• On Decidability of LTL Model Checking for Process Rewrite Systems

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

  Acta informatica, rok: 2009, ročník: 46, vydání: 1

• Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers

  ČEŠKA Milan KOTÁSEK Zdeněk KŘETÍNSKÝ Mojmír MATYSKA Luděk VOJNAR Tomáš

  Electronic Notes in Theoretical Computer Science, rok: 2009, ročník: 251

• Reachability is decidable for weakly extended process rewrite systems

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

  Information and Computation, rok: 2009, ročník: 207, vydání: 6

2008

• Petri Nets Are Less Expressive Than State-Extended PA

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

  Theoretical Computer Science, rok: 2008, ročník: 394, vydání: 1-2

2006

• Formální jazyky a automaty I

  ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

  Elportál, rok: 2006

2005

• Refining Undecidability Border of Weak Bisimilarity.

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

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

2004

• On the Expressive Power of Extended Process Rewrite Systems

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

  BRICS Report Series, rok: 2004, ročník: 2004, vydání: RS-04-7

2003

• Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming

  BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

  Electronic Notes in Theoretical Computer Science, rok: 2003, ročník: 68, vydání: 3

• Modelling Multi-Agents Systems as Concurrent Constraint Processes

  BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

  Computing and Informatics, rok: 2003, ročník: 21, vydání: 6

1999

• A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming

  BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

  FI MU Report Series, rok: 1999, ročník: 1999, vydání: 08