- Knowledge in Distributed Systems Yoram Moses Fri 02 March 2012
- Distance on Timed Words and Applications Eugene Asarin Nicolas Basset Aldric Degorre Fri 02 March 2012
- Efficient Computation of Sequence Mappability Mai Alzamel Panagiotis Charalampopoulos Costas S. Iliopoulos Tomasz Kociumaka Solon P. Pissis Jakub Radoszewski Juliusz Straszyński Fri 02 March 2012
- Bisimilarity Distances~for~Approximate Differential Privacy Dmitry Chistikov Andrzej S. Murawski David Purser Fri 02 March 2012
- Bounded Synthesis of Reactive Programs Carsten Gerstacker Felix Klein Bernd Finkbeiner Fri 02 March 2012
- Layer by Layer textendash Combining Monads Fredrik Dahlqvist Louis Parlant Alexandra Silva Fri 02 March 2012
- Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic Jan Winkels Julian Graefenstein Tristan Schäfer David Scholz Jakob Rehof Michael Henke Fri 02 March 2012
- Efficient Timed Diagnosis Using Automata with Timed Domains Patricia Bouyer Samy Jaziri Nicolas Markey Fri 02 March 2012
- The Kernel Method for Lattice Paths Below a Line of Rational Slope Cyril Banderier Michael Wallner Fri 02 March 2012
- Termination of Nondeterministic Probabilistic Programs Hongfei Fu Krishnendu Chatterjee Fri 02 March 2012
- Modern Aspects of Complexity Within Formal Languages Henning Fernau Fri 02 March 2012
- An Output-Sensitive Algorithm for the Minimization of 2-Dimensional String Covers Alexandru Popa Andrei Tanasescu Fri 02 March 2012
- A Sound and Complete Logic for Algebraic Effects Cristina Matache Sam Staton Fri 02 March 2012
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking Ilina Stoilkovska Igor Konnov Josef Widder Florian Zuleger Fri 02 March 2012
- RERS 2019: Combining Synthesis with Real-World Models Marc Jasper Malte Mues Alnis Murtovi Maximilian Schlüter Falk Howar Bernhard Steffen Markus Schordan Dennis Hendriks Ramon Schiffelers Harco Kuppens Frits W. Vaandrager Fri 02 March 2012
- Constraint Programming for Dynamic Symbolic Execution of JavaScript Roberto Amadini Mak Andrlon Graeme Gange Peter Schachte Harald ~Søndergaard Peter J. Stuckey Fri 02 March 2012
- Modular Descriptions of Regular Functions Paul Gastin Fri 02 March 2012
- Refining the SafetytextendashLiveness Classification of Temporal Properties According to Monitorability Doron Peled Klaus Havelund Fri 02 March 2012
- Fast Verified BCD Subtyping Jan Bessai Jakob Rehof Boris Düdder Fri 02 March 2012
- Communication-Closed Asynchronous Protocols Andrei Damian Cezara Drăgoi Alexandru Militaru Josef Widder Fri 02 March 2012
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
