The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jan Strejcek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
    Extended Process Rewrite Systems: Expressiveness and Reachability. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:355-370 [Conf]
  2. Antonín Kucera, Jan Strejcek
    The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:276-291 [Conf]
  3. Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
    On Decidability of LTL Model Checking for Process Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:248-259 [Conf]
  4. Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, Jan Strejcek
    Reachability Analysis of Multithreaded Software with Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:348-359 [Conf]
  5. Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
    Reachability of Hennessy-Milner Properties for Weakly Extended PRS. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:213-224 [Conf]
  6. Antonín Kucera, Jan Strejcek
    Characteristic Patterns for LTL. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2005, pp:239-249 [Conf]
  7. Radek Pelánek, Jan Strejcek
    Deeper Connections Between LTL and Alternating Automata. [Citation Graph (0, 0)][DBLP]
    CIAA, 2005, pp:238-249 [Conf]
  8. Antonín Kucera, Jan Strejcek
    The stuttering principle revisited. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:41, n:7-8, pp:415-434 [Journal]
  9. Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
    On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:98, n:, pp:75-88 [Journal]
  10. Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
    Refining the Undecidability Border of Weak Bisimilarity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:17-36 [Journal]
  11. Jan Strejcek
    Rewrite Systems with Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
  12. Ahmed Bouajjani, Jan Strejcek, Tayssir Touili
    On Symbolic Verification of Weakly Extended PAD. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:47-64 [Journal]

  13. Reachability analysis of multithreaded software with asynchronous communication. [Citation Graph (, )][DBLP]


  14. On decidability of LTL model checking for process rewrite systems. [Citation Graph (, )][DBLP]


  15. Almost Linear Büchi Automata [Citation Graph (, )][DBLP]


  16. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002