The SCEAS System
Navigation Menu

Conferences in DBLP

(rp)
2009 (conf/rp/2009)


  1. On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems. [Citation Graph (, )][DBLP]


  2. Formalisms for Specifying Markovian Population Models. [Citation Graph (, )][DBLP]


  3. Reachability for Continuous and Hybrid Systems. [Citation Graph (, )][DBLP]


  4. Algorithmic Information Theory and Foundations of Probability. [Citation Graph (, )][DBLP]


  5. Model Checking as A Reachability Problem. [Citation Graph (, )][DBLP]


  6. Automatic Verification of Directory-Based Consistency Protocols. [Citation Graph (, )][DBLP]


  7. On Yen's Path Logic for Petri Nets. [Citation Graph (, )][DBLP]


  8. Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. [Citation Graph (, )][DBLP]


  9. How to Tackle Integer Weighted Automata Positivity. [Citation Graph (, )][DBLP]


  10. A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. [Citation Graph (, )][DBLP]


  11. Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. [Citation Graph (, )][DBLP]


  12. An Undecidable Permutation of the Natural Numbers. [Citation Graph (, )][DBLP]


  13. Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order. [Citation Graph (, )][DBLP]


  14. Counting Multiplicity over Infinite Alphabets. [Citation Graph (, )][DBLP]


  15. The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane. [Citation Graph (, )][DBLP]


  16. Games with Opacity Condition. [Citation Graph (, )][DBLP]


  17. Abstract Counterexamples for Non-disjunctive Abstractions. [Citation Graph (, )][DBLP]


  18. Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems. [Citation Graph (, )][DBLP]


  19. Games on Higher Order Multi-stack Pushdown Systems. [Citation Graph (, )][DBLP]


  20. Limit Set Reachability in Asynchronous Graph Dynamical Systems. [Citation Graph (, )][DBLP]

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