prof. RNDr. Mojmír Křetínský, CSc.

2003

• Process Rewrite Systems with Weak Finite-State Unit (full version of INFINITY'2003 paper)

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

  Výzkumná zpráva

  Rok: 2003

2002

• CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.

  BRIM Luboš JANČAR Petr KŘETÍNSKÝ Mojmír KUČERA Antonín

  Odborná kniha

  Rok: 2002, počet stran: 609 s.

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

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

  Článek ve sborníku

  Foundations of Coordination Languages and Software Architecture (FOCLASA`02), rok: 2002

2001

• Multi-Agents Systems as Concurrent Constraint Processes

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

  Článek ve sborníku

  SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics, rok: 2001

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

  Článek v odborném periodiku

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

• Comparing Expressibility of Normed BPA and Normed BPP Processes.

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

  Článek v odborném periodiku

  Acta informatica, rok: 1999, ročník: 36, vydání: 3

1998

• A fully abstract semantics for synchronous and asynchronous ccp

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

  Článek v odborném periodiku

  Technical Report of Namur University, rok: 1998, ročník: 1998, vydání: 1

• MFCS´98 Workshop on Concurrency, August_27-29,_1998, Brno, Czech Republic : pre-proceedings

  JANČAR Petr KŘETÍNSKÝ Mojmír

  Článek v odborném periodiku

  FI MU Report Series, rok: 1998, ročník: 1998, vydání: 06

• Proceedings of the MFCS'98 Workshop on Concurrency

  JANČAR Petr KŘETÍNSKÝ Mojmír

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 1998, ročník: 1998, vydání: Vol.18

1997

• Adding Time via Timed Transitions to Concurrent Constraint Programming

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

  Kapitola v knize

  ERCIM/COMPULOG Workshop, rok: 1997, počet stran: 12 s.