The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jirí Simsa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
    Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:352-366 [Conf]
  2. David Safránek, Jirí Simsa
    VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2005, pp:320-329 [Conf]
  3. Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
    Distributed Partial Order Reduction of State Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:63-74 [Journal]
  4. Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
    How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:2, pp:3-18 [Journal]
  5. Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa
    On Combining Partial Order Reduction with Fairness Assumptions. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:84-99 [Conf]

  6. Finding heap-bounds for hardware synthesis. [Citation Graph (, )][DBLP]


  7. Designing hardware with dynamic memory abstraction. [Citation Graph (, )][DBLP]


  8. Breaking Audio CAPTCHAs. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
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