|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 9 keywords
|
|
|
Results
Found 249 publication records. Showing 249 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Kim Guldstrand Larsen |
Symbolic and Compositional Reachability for Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 24-28, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Schnoebelen |
Lossy Counter Machines Decidability Cheat Sheet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 51-75, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fang Wei 0001 |
Efficient Graph Reachability Query Answering Using Tree Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 183-197, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Chaloupka |
Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 104-119, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Rabinovich |
Temporal Logics over Linear Time Domains Are in PSPACE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 29-50, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zdenek Sawa |
Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 176-182, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Margenstern |
Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 120-132, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Laurent Fribourg |
Behavioral Cartography of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 76-90, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Paul Bell, Vesa Halava, Mika Hirvensalo |
On the Joint Spectral Radius for Bounded Matrix Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 91-103, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antonín Kucera 0001, Igor Potapov (eds.) |
Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![Springer, 978-3-642-15348-8 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan, Lenore D. Zuck |
Abstract Counterexamples for Non-disjunctive Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 176-188, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eero Lehtonen |
An Undecidable Permutation of the Natural Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 120-126, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Permutation, Undecidability |
1 | Mohamed Faouzi Atig, Ahmed Bouajjani |
On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 1-2, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Automatic Verification of Directory-Based Consistency Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 36-50, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz |
A Reduction Theorem for the Verification of Round-Based Distributed Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 93-106, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anil Seth |
Games on Higher Order Multi-stack Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 203-216, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Igor Potapov (eds.) |
Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![Springer, 978-3-642-04419-9 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Denis Lugiez |
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 127-140, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Moshe Y. Vardi |
Model Checking as A Reachability Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 35, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Margenstern |
The Periodic Domino Problem Is Undecidable in the Hyperbolic Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 154-165, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hyperbolic plane, periodic tiling problem, tilings, undecidability |
1 | Pieter Collins, Ivan S. Zapreev |
Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 107-119, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
CTL *, Model Checking, Computability, Dynamic Systems |
1 | Oded Maler |
Reachability for Continuous and Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 24-25, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko |
How to Tackle Integer Weighted Automata Positivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 79-92, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf |
Formalisms for Specifying Markovian Population Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 3-23, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Peter Habermehl |
On Yen's Path Logic for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 51-63, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Amaldev Manuel, Ramaswamy Ramanujam |
Counting Multiplicity over Infinite Alphabets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 141-153, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bastien Maubert, Sophie Pinchinat |
Games with Opacity Condition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 166-175, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | V. S. Anil Kumar 0001, Matthew Macauley, Henning S. Mortveit |
Limit Set Reachability in Asynchronous Graph Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 217-232, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Shen |
Algorithmic Information Theory and Foundations of Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 26-34, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena |
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 64-78, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
uncertain kinetic rates, interval Markov chains, abstract interpretation, systems biology, probabilistic model checking |
1 | Mila E. Majster-Cederbaum, Christoph Minnameier |
Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, pp. 189-202, 2009, Springer, 978-3-642-04419-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Reinhardt |
Reachability in Petri Nets with Inhibitor Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 239-264, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit, Germán Vidal |
Dynamic Slicing Techniques for Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 153-165, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Bas Ploeger |
Switching Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 119-135, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Felscher |
The Compositional Method and Regular Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 103-117, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Margenstern, Yu Song |
A Universal Cellular Automaton on the Ternary Heptagrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 167-185, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nathaniel Charlton, Michael Huth 0001 |
Falsifying Safety Properties Through Games on Over-approximating Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 71-86, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vesa Halava, Igor Potapov |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Parameterized Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 3-14, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Arne Meier, Martin Mundhenk, Michael Thomas 0001, Heribert Vollmer |
The Complexity of Satisfiability for Fragments of CTL and CTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 201-213, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001 |
Approximated Reachability on Hybrid Automata: Falsification meets Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 47-60, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pieter Collins, Alexandre Goldsztejn |
The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 87-102, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Martyugin |
The Length of Subset Reachability in Nondeterministic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 187-200, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Juhani Karhumäki |
Reachability via Cooperating Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 15-27, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz |
An Inverse Method for Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 29-46, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | M. Praveen, Kamal Lodaya |
Analyzing Reachability for Some Petri Nets With Fast Growing Markings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 215-237, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kai Lampka |
A New Algorithm for Partitioned Symbolic Reachability Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 137-151, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko |
Handling Left-Quadratic Rules When Completing Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008, pp. 61-70, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vesa Halava, Igor Potapov (eds.) |
Proceedings of the Second Workshop on Reachability Problems in Computational Models, RP 2008, Liverpool, UK, September 15-17, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
Displaying result #201 - #249 of 249 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|