- Well Quasi Orders in Subclasses of Bounded Treewidth Graphs and Their Algorithmic Applications Michael R. Fellows Danny Hermelin Frances A. Rosamond Mon 23 December 2013
- Decidability of Safety in Graph-Based Models for Access Control Manuel Koch LuigiV. Mancini Francesco Parisi-Presicce Mon 23 December 2013
- Decidability of MSO Theories of Tree Structures Angelo Montanari Gabriele Puppis Mon 23 December 2013
- The periodic domino problem revisited Emmanuel Jeandel Mon 23 December 2013
- String Rewriting and Security Analysis: An Extension of a Result of Book and Otto Siva Anantharaman Paliath Narendran Michael Rusinowitch Mon 23 December 2013
- Computing Minimal Models Modulo Subset-Simulation for Modal Logics Fabio Papacchini RenateA. Schmidt Mon 23 December 2013
- A helpful result for proving inherent ambiguity William Ogden Mon 23 December 2013
- Saturation-Based Model Checking of Higher-Order Recursion Schemes Christopher Broadbent Naoki Kobayashi Sun 22 December 2013
- C-SHORe: A Collapsible Approach to Higher-order Verification Christopher Broadbent Arnaud Carayol Matthew Hague Olivier Serre Sun 22 December 2013
- Tree Automata, Approximations, and Constraints for Verification - Tree (Not-Quite) Regular Model-Checking Vincent Hugot Sun 22 December 2013
- Learning Regular Sets from Queries and Counterexamples Dana Angluin Sun 22 December 2013
- On the Synthesis of Finite-State Machines from Samples of Their Behavior A. W. Biermann J. A. Feldman Sun 22 December 2013
- Learning Meets Verification Martin Leucker Sun 22 December 2013
- Omega-Regular Model Checking Bernard Boigelot Axel Legay Pierre Wolper Sun 22 December 2013
- On (Omega-)Regular Model Checking Axel Legay Pierre Wolper Sun 22 December 2013
- Model Checking and Artificial Intelligence Stefan Edelkamp Viktor Schuppan Dragan Bošnački Anton Wijs Ansgar Fehnker Husain Aljazzar Sun 22 December 2013
- A Survey of Regular Model Checking ParoshAziz Abdulla Bengt Jonsson Marcus Nilsson Mayank Saksena Sun 22 December 2013
- Verifying systems with infinite but regular state spaces Pierre Wolper Bernard Boigelot Sun 22 December 2013
- Decidable Topologies for Communicating Automata with FIFO and Bag Channels Lorenzo Clemente Frédéric Herbreteau Gregoire Sutre Thu 19 December 2013
- Self-Censorship on Facebook Sauvik Das Adam Kramer Thu 19 December 2013
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
