| 2009 |
|---|
| 15 | 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 |
|---|
| 14 | 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 |
|---|
| 13 | EE | Ahmed Bouajjani,
Jan Strejcek,
Tayssir Touili:
On Symbolic Verification of Weakly Extended PAD.
Electr. Notes Theor. Comput. Sci. 175(3): 47-64 (2007) |
| 2006 |
|---|
| 12 | 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 |
| 11 | EE | Ahmed Bouajjani,
Javier Esparza,
Stefan Schwoon,
Jan Strejcek:
Reachability analysis of multithreaded software with asynchronous communication.
Software Verification: Infinite-State Model Checking and Static Program Analysis 2006 |
| 10 | 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 |
|---|
| 9 | EE | Radek Pelánek,
Jan Strejcek:
Deeper Connections Between LTL and Alternating Automata.
CIAA 2005: 238-249 |
| 8 | EE | Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
Reachability of Hennessy-Milner Properties for Weakly Extended PRS.
FSTTCS 2005: 213-224 |
| 7 | EE | Ahmed Bouajjani,
Javier Esparza,
Stefan Schwoon,
Jan Strejcek:
Reachability Analysis of Multithreaded Software with Asynchronous Communication.
FSTTCS 2005: 348-359 |
| 6 | EE | Antonín Kucera,
Jan Strejcek:
Characteristic Patterns for LTL.
SOFSEM 2005: 239-249 |
| 5 | EE | Antonín Kucera,
Jan Strejcek:
The stuttering principle revisited.
Acta Inf. 41(7-8): 415-434 (2005) |
| 2004 |
|---|
| 4 | EE | Mojmír Kretínský,
Vojtech Rehák,
Jan Strejcek:
Extended Process Rewrite Systems: Expressiveness and Reachability.
CONCUR 2004: 355-370 |
| 3 | 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) |
| 2002 |
|---|
| 2 | EE | Antonín Kucera,
Jan Strejcek:
The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL.
CSL 2002: 276-291 |
| 2001 |
|---|
| 1 | EE | Jan Strejcek:
Rewrite Systems with Constraints.
Electr. Notes Theor. Comput. Sci. 52(1): (2001) |
