- Testing Real-Time Systems Using UPPAAL Anders Hessel Kim G. Larsen Marius Mikucionis Brian Nielsen Paul Pettersson Arne Skou Fri 02 March 2012
- Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis Antoine Girard Colas Le Guernic Fri 02 March 2012
- Zermelo 1913 Paul B. Larson Fri 02 March 2012
- General Algorithms for Testing the Ambiguity of Finite Automata Cyril Allauzen Mehryar Mohri Ashish Rastogi Fri 02 March 2012
- The Nesting-Depth of Disjunctive mu-Calculus for Tree Languages and the Limitedness Problem Thomas Colcombet Christof Löding Fri 02 March 2012
- Type-Based Termination with Sized Products Gilles Barthe Benjamin Grégoire Colin Riba Fri 02 March 2012
- The Four Colour Theorem: Engineering of a Formal Proof Georges Gonthier Fri 02 March 2012
- Synchronizing Automata and the Černý Conjecture Mikhail V. Volkov Fri 02 March 2012
- BitBlaze: A New Approach to Computer Security via Binary Analysis Dawn Song David Brumley Heng Yin Juan Caballero Ivan Jager Min Gyung Kang Zhenkai Liang James Newsome Pongsin Poosankam Prateek Saxena Fri 02 March 2012
- Parameterized Complexity for Domination Problems on Degenerate Graphs Petr A. Golovach Yngve Villanger Fri 02 March 2012
- From Philosophical to Industrial Logics Moshe Y. Vardi Fri 02 March 2012
- The BMS Algorithm Shojiro Sakata Fri 02 March 2012
- Full Abstraction for Reduced ML Andrzej S. Murawski Nikos Tzevelekos Fri 02 March 2012
- Path Feasibility Analysis for String-Manipulating Programs Nikolaj Bjørner Nikolai Tillmann Andrei Voronkov Fri 02 March 2012
- Tiling the Plane with a Fixed Number of Polyominoes Nicolas Ollinger Fri 02 March 2012
- Digital Image Compression Jürgen Albert Jarkko Kari Fri 02 March 2012
- Applications of Weighted Automata in Natural Language Processing Kevin Knight Jonathan May Fri 02 March 2012
- Weighted Automata and Weighted Logics Manfred Droste Paul Gastin Fri 02 March 2012
- Weighted Tree Automata and Tree Transducers Zoltán Fülöp Heiko Vogler Fri 02 March 2012
- A Tableau System for the Modal mu-Calculus Natthapong Jungteerapanich Fri 02 March 2012
Library Size: 13G (12950 entries),
Last Updated: Apr 12, 2026, 22:09:01,
Build Time: N/A
