The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mojmír Kretínský: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský
    A Process Algebra for Synchronous Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:165-178 [Conf]
  2. 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]
  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. 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]
  5. Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
    Synchronisation in Scc. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:641- [Conf]
  6. Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
    Multi-agent Systems as Concurrent Constraint Processes. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2001, pp:201-210 [Conf]
  7. Ivana Cerná, Mojmír Kretínský, Antonín Kucera
    Comparing Expressibility of Normed BPA and Normed BPP Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1999, v:36, n:3, pp:233-256 [Journal]
  8. Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David Gilbert
    Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2002, v:21, n:6, pp:- [Journal]
  9. Ivana Cerná, Mojmír Kretínský, Antonín Kucera
    Bisimilarity is decidable in the union of normed BPA and normed BPP processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:5, n:, pp:- [Journal]
  10. Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský
    Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  11. Petr Jancar, Mojmír Kretínský
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
  12. 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]
  13. 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]
  14. Lubos Brim, Mojmír Kretínský
    Model-Checking Large Finite-State Systems and Beyond. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:9-28 [Conf]

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


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


  17. Preface. [Citation Graph (, )][DBLP]


Search in 0.080secs, Finished in 0.081secs
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