- Reducing concurrent analysis under a context bound to sequential analysis Akash Lal Thomas Reps Tue 27 November 2012
- Reachability Analysis of Process Rewrite Systems Ahmed Bouajjani Tayssir Touili Tue 27 November 2012
- On Computing Reachability Sets of Process Rewrite Systems Ahmed Bouajjani Tayssir Touili Tue 27 November 2012
- The regular viewpoint on PA-processes D. Lugiez Ph. Schnoebelen Tue 27 November 2012
- Efficient algorithms for pre* and post* on interprocedural parallel flow graphs Javier Esparza Andreas Podelski Tue 27 November 2012
- Process Rewrite Systems Richard Mayr Tue 27 November 2012
- Well-structured transition systems everywhere A. Finkel Ph. Schnoebelen Tue 27 November 2012
- MALEDIRE DIO - Studio sulla bestemmia Isacco Turina Tue 27 November 2012
- Approximating Weak Bisimilarity of Basic Parallel Processes Piotr Hofman Patrick Totzke Tue 27 November 2012
- Weak Alternating Timed Automata Pawel Parys Igor Walukiewicz Mon 26 November 2012
- Reachability Problem for Weak Multi-Pushdown Automata Wojciech Czerwiński Piotr Hofman Sławomir Lasota Sun 25 November 2012
- Global Reachability in Bounded Phase Multi-stack Pushdown Systems Anil Seth Sun 25 November 2012
- Global Model Checking of Ordered Multi-Pushdown Systems Mohamed Faouzi Atig Sun 25 November 2012
- From Multi to Single Stack Automata Mohamed Faouzi Atig Sun 25 November 2012
- Undecidable verification problems for programs with unreliable channels Parosh Aziz Abdulla Bengt Jonsson Thu 22 November 2012
- A Myhill-Nerode theorem for automata with advice Alex Kruckman Sasha Rubin John Sheridan Ben Zax Tue 20 November 2012
- Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones Szczepan Hummel Tue 20 November 2012
- Bisimilarity of Probabilistic Pushdown Automata Vojtech Forejt Petr Jancar Stefan Kiefer James Worrell Tue 20 November 2012
- In the Maze of Data Languages Loris D'Antoni Tue 20 November 2012
- A polynomial time Presburger criterion and synthesis for number decision diagrams J. Leroux Tue 20 November 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
