- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 24 |      | Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: LTL to Büchi Automata Translation: Fast and More Deterministic. TACAS 2012: 95-109 |
| 23 | | Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: LTL to Büchi Automata Translation: Fast and More Deterministic CoRR abs/1201.0682: (2012) |
| 22 | | Jiri Slaby, Jan Strejcek, Marek Trtík: On Synergy of Metal, Slicing, and Symbolic Execution CoRR abs/1201.4719: (2012) |
| 2011 | ||
| 21 | | Jan Strejcek, Marek Trtík: Abstracting Path Conditions CoRR abs/1112.5671: (2011) |
| 2010 | ||
| 20 | | Tomás Babiak, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness CoRR abs/1011.4214: (2010) |
| 19 | | Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët: Decidable Race Condition and Open Coregions in HMSC. ECEASST 29: (2010) |
| 2009 | ||
| 18 | | Tomás Babiak, Vojtech Rehák, Jan Strejcek: Almost Linear Büchi Automata EXPRESS 2009: 16-25 |
| 17 | | 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) |
| 16 | | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: On Decidability of LTL+Past Model Checking for Process Rewrite Systems. Electr. Notes Theor. Comput. Sci. 239: 105-117 (2009) |
| 15 | | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: Reachability is decidable for weakly extended process rewrite systems. Inf. Comput. 207(6): 671-680 (2009) |
| 2008 | ||
| 14 | | 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 | | 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 | | 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 | | 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 | | 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 | | Radek Pelánek, Jan Strejcek: Deeper Connections Between LTL and Alternating Automata. CIAA 2005: 238-249 |
| 8 | | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: Reachability of Hennessy-Milner Properties for Weakly Extended PRS. FSTTCS 2005: 213-224 |
| 7 | | Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek: Reachability Analysis of Multithreaded Software with Asynchronous Communication. FSTTCS 2005: 348-359 |
| 6 | | Antonín Kucera, Jan Strejcek: Characteristic Patterns for LTL. SOFSEM 2005: 239-249 |
| 5 | | Antonín Kucera, Jan Strejcek: The stuttering principle revisited. Acta Inf. 41(7-8): 415-434 (2005) |
| 2004 | ||
| 4 | | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: Extended Process Rewrite Systems: Expressiveness and Reachability. CONCUR 2004: 355-370 |
| 3 | | 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 | | 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 | | Jan Strejcek: Rewrite Systems with Constraints. Electr. Notes Theor. Comput. Sci. 52(1): 46-65 (2001) |
| 1 | Tomás Babiak | [18] [20] [23] [24] |
| 2 | Ahmed Bouajjani | [7] [11] [13] |
| 3 | Laura Bozzelli | [12] [17] |
| 4 | Javier Esparza | [7] [11] |
| 5 | Loïc Hélouët | [19] |
| 6 | Mojmír Kretínský | [3] [4] [8] [10] [12] [14] [15] [16] [17] [20] [23] [24] |
| 7 | Antonín Kucera | [2] [5] [6] |
| 8 | Radek Pelánek | [9] |
| 9 | Vojtech Rehák | [3] [4] [8] [10] [12] [14] [15] [16] [17] [18] [19] [20] [23] [24] |
| 10 | Stefan Schwoon | [7] [11] |
| 11 | Jiri Slaby | [22] |
| 12 | Petr Slovák | [19] |
| 13 | Tayssir Touili | [13] |
| 14 | Marek Trtík | [21] [22] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page