- Some Decidability Results for Nested Petri Nets Irina A. Lomazova Philippe Schnoebelen Fri 02 March 2012
- Introduction to Supercompilation Morten Heine B. Sørensen Robert Glück Fri 02 March 2012
- On-the-fly Verification of Linear Temporal Logic Jean-Michel Couvreur Fri 02 March 2012
- Linear-Time Longest-Common-Prefix Computation in Suffix Arrays and Its Applications Toru Kasai Gunho Lee Hiroki Arimura Setsuo Arikawa Kunsoo Park Fri 02 March 2012
- Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering Stefan Berghofer Markus Wenzel Fri 02 March 2012
- Model Checking of Message Sequence Charts Rajeev Alur Mihalis Yannakakis Fri 02 March 2012
- Timed Automata and the Theory of Real Numbers Hubert Comon Yan Jurski Fri 02 March 2012
- Designing Practical Efficient Algorithms for Symmetric Multiprocessors David R. Helman Joseph JáJá Fri 02 March 2012
- The Web as a Graph: Measurements, Models, and Methods Jon M. Kleinberg Ravi Kumar Prabhakar Raghavan Sridhar Rajagopalan Andrew S. Tomkins Fri 02 March 2012
- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems Christel Baier Bettina Engelen Fri 02 March 2012
- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations Alongkrit Chutinan Bruce H. Krogh Fri 02 March 2012
- Reachability Analysis Using Polygonal Projections Mark R. Greenstreet Ian Mitchell Fri 02 March 2012
- Types and Subtypes for Client-Server Interactions Simon Gay Malcolm Hole Fri 02 March 2012
- On Quadratic Word Equations John Michael Robson Volker Diekert Fri 02 March 2012
- Classifying Discrete Temporal Properties Thomas Wilke Fri 02 March 2012
- On Hybrid Systems and the Modal mathrmmu-calculus J. M. Davoren Fri 02 March 2012
- Modeling Urgency in Timed Systems Sébastien Bornot Joseph Sifakis Stavros Tripakis Fri 02 March 2012
- Verification of Temporal Properties of Processes in a Setting with Data Jan Friso Groote Radu Mateescu Fri 02 March 2012
- Schemas for Integration and Translation of Structured and Semi-structured Data Catriel Beeri Tova Milo Fri 02 March 2012
- On the Power of Homeomorphic Embedding for Online Termination Michael Leuschel Fri 02 March 2012
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
