- The Interprocedural Coincidence Theorem Jens Knoop Bernhard Steffen Fri 08 November 2013
- Data flow analysis of applicative programs using minimal function graphs Neil D. Jones Alan Mycroft Fri 08 November 2013
- Modular Synthesis with Open Components Ilaria Crescenzo Salvatore La Torre Fri 08 November 2013
- The Language Theory of Bounded Context-Switching Salvatore La Torre Parthasarathy Madhusudan Gennaro Parlato Fri 08 November 2013
- An exercise in proving parallel programs correct David Gries Fri 08 November 2013
- New Efficient Petri Nets Reductions for Parallel Programs Verification S. Haddad J. Pradat-Peyre Fri 08 November 2013
- Reduction: a method of proving properties of parallel programs Richard J. Lipton Fri 08 November 2013
- Analyzing recursive programs using a fixed-point calculus Salvatore La Torre Madhusudan Parthasarathy Gennaro Parlato Fri 08 November 2013
- Summarizing procedures in concurrent programs Shaz Qadeer Sriram K. Rajamani Jakob Rehof Thu 07 November 2013
- Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations Salvatore La Torre Margherita Napoli Thu 07 November 2013
- An Infinite Automaton Characterization of Double Exponential Time Salvatore La Torre P. Madhusudan Gennaro Parlato Thu 07 November 2013
- A Robust Class of Context-Sensitive Languages Salvatore La Torre Parthasarathy Madhusudan Gennaro Parlato Thu 07 November 2013
- Iterative context bounding for systematic testing of multithreaded programs Madanlal Musuvathi Shaz Qadeer Thu 07 November 2013
- Optimal stopping for partially observed piecewise-deterministic Markov processes Adrien Brandejsky Benoîte de Saporta François Dufour Thu 07 November 2013
- Timed automata with observers under energy constraints Patricia Bouyer Uli Fahrenberg Kim G. Larsen Nicolas Markey Thu 07 November 2013
- The Complexity of the Finite Containment Problem for Petri Nets Ernst W. Mayr Albert R. Meyer Tue 05 November 2013
- On the finite containment problem for Petri nets P. Clote Mon 04 November 2013
- Decidability of simulation and bisimulation between lossy channel systems and finite state systems Parosh Aziz Abdulla Mats Kindahl Mon 04 November 2013
- Undecidability of bisimilarity for Petri nets and some related problems Petr Jančar Mon 04 November 2013
- Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states Rodney R. Howell Louis E. Rosier Dung T. Huynh Hsu-Chun Yen Mon 04 November 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
