- The Marriage Problem Paul Halmos Herbert Vaughan Thu 30 August 2012
- Finite-state transducers in language and speech processing Mehryar Mohri Thu 30 August 2012
- On the Determinizability of Weighted Automata and Transducers Cyril Allauzen Mehryar Mohri Wed 29 August 2012
- What's decidable about weighted automata Shaull Almagor Udi Boker Orna Kupferman Wed 29 August 2012
- A property which guarantees termination in weak combinatory logic and subtree replacement systems Alberto Pettorossi Fri 24 August 2012
- Comparing and Putting Together Recursive Path Ordering, Simplification Orderings and Non-Ascending Property for Termination Proofs of Term Rewriting Systems Alberto Pettorossi Fri 24 August 2012
- Complementation, Disambiguation, and Determinization of Buchi Automata Unified Detlef Kahler Thomas Wilke Wed 22 August 2012
- Tighter Bounds for the Determinisation of Buchi Automata Sven Schewe Wed 22 August 2012
- Deciding the Value 1 Problem of Probabilistic Leaktight Automata Nathanael Fijalkow Hugo Gimbert Youssouf Oualhadj Fri 10 August 2012
- Collapsible Pushdown Automata and Labeled Recursion Schemes - Equivalence, Safety and Effective Selection Arnaud Carayol Olivier Serre Fri 10 August 2012
- Model Checking Timed Automata with One or Two Clocks F. Laroussinie N. Markey Ph. Schnoebelen Fri 10 August 2012
- On the Complexity of Model Checking Counter Automata Christoph Haase Wed 11 July 2012
- Undecidable problems about timed automata Olivier Finkel Wed 11 July 2012
- On Decision Problems for Timed Automata Olivier Finkel Wed 11 July 2012
- Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata Joseph S. Miller Wed 11 July 2012
- A False History of True Concurrency: From Petri to Tools Javier Esparza Wed 11 July 2012
- Decidability and complexity of Petri net problems --- An introduction Javier Esparza Wed 11 July 2012
- Subcubic algorithms for recursive state machines Swarat Chaudhuri Wed 11 July 2012
- CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis Olin Shivers Wed 11 July 2012
- Analysis of recursive state machines Rajeev Alur Michael Benedikt Kousha Etessami Patrice Godefroid Thomas Reps Mihalis Yannakakis Tue 10 July 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 11:39:05,
Build Time: N/A
