| 2009 |
|---|
| 17 | EE | Laura Bozzelli,
Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
On decidability of LTL model checking for process rewrite systems.
Acta Inf. 46(1): 1-28 (2009) |
| 2008 |
|---|
| 16 | EE | Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
Petri nets are less expressive than state-extended PA.
Theor. Comput. Sci. 394(1-2): 134-140 (2008) |
| 2007 |
|---|
| 15 | EE | Lubos Brim,
Mojmír Kretínský:
Model-Checking Large Finite-State Systems and Beyond.
SOFSEM (1) 2007: 9-28 |
| 2006 |
|---|
| 14 | EE | Laura Bozzelli,
Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
On Decidability of LTL Model Checking for Process Rewrite Systems.
FSTTCS 2006: 248-259 |
| 13 | EE | Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
Refining the Undecidability Border of Weak Bisimilarity.
Electr. Notes Theor. Comput. Sci. 149(1): 17-36 (2006) |
| 2005 |
|---|
| 12 | EE | Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
Reachability of Hennessy-Milner Properties for Weakly Extended PRS.
FSTTCS 2005: 213-224 |
| 2004 |
|---|
| 11 | EE | Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
Extended Process Rewrite Systems: Expressiveness and Reachability.
CONCUR 2004: 355-370 |
| 10 | EE | Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit.
Electr. Notes Theor. Comput. Sci. 98: 75-88 (2004) |
| 2003 |
|---|
| 9 | EE | Jean-Marie Jacquet,
Lubos Brim,
David Gilbert,
Mojmír Kretínský:
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 2002 |
|---|
| 8 | | Lubos Brim,
Petr Jancar,
Mojmír Kretínský,
Antonín Kucera:
CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings
Springer 2002 |
| 7 | | Lubos Brim,
Mojmír Kretínský,
Jean-Marie Jacquet,
David Gilbert:
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes.
Computers and Artificial Intelligence 21(6): (2002) |
| 2001 |
|---|
| 6 | EE | Lubos Brim,
David Gilbert,
Jean-Marie Jacquet,
Mojmír Kretínský:
Multi-agent Systems as Concurrent Constraint Processes.
SOFSEM 2001: 201-210 |
| 1999 |
|---|
| 5 | EE | Ivana Cerná,
Mojmír Kretínský,
Antonín Kucera:
Comparing Expressibility of Normed BPA and Normed BPP Processes.
Acta Inf. 36(3): 233-256 (1999) |
| 1998 |
|---|
| 4 | EE | Petr Jancar,
Mojmír Kretínský:
Preface.
Electr. Notes Theor. Comput. Sci. 18: (1998) |
| 1996 |
|---|
| 3 | | Lubos Brim,
Jean-Marie Jacquet,
David Gilbert,
Mojmír Kretínský:
A Process Algebra for Synchronous Concurrent Constraint Programming.
ALP 1996: 165-178 |
| 2 | EE | Ivana Cerná,
Mojmír Kretínský,
Antonín Kucera:
Bisimilarity is decidable in the union of normed BPA and normed BPP processes.
Electr. Notes Theor. Comput. Sci. 5: (1996) |
| 1995 |
|---|
| 1 | | Lubos Brim,
David Gilbert,
Jean-Marie Jacquet,
Mojmír Kretínský:
Synchronisation in Scc.
ILPS 1995: 641 |
