- Computer-assisted Specification of Asynchronous Interfaces with Non-deterministic Behavior Nicholas V. Lewchenko Sun 28 January 2018
- About the Deterministic Simulation of Nondeterministic (Log N)-tape Bounded Turing Machines Burkhard Monien Tue 23 January 2018
- Structural Complexity Column: Some Observations About Relativization of Space Bounded Computations Juris Hartmanis Tue 23 January 2018
- Conformance Testing for Timed Recursive Programs Hana M'Hemdi Jacques Julliand Pierre-Alain Masson Riadh Robbana Tue 16 January 2018
- Test generation from timed pushdown automata with inputs and outputs H. M'Hemdi J. Julliand P. A. Masson R. Robbana Tue 16 January 2018
- On the Complexity of Intersection Non-Emptiness Problems Michael Wehar Sun 14 January 2018
- Logic for Unambiguous Context-Free Languages Yassine Hachaichi Sun 14 January 2018
- Multiscale mathematical modelling of structural heterogeneities in cardiac electrophysiology Anđela Davidović Sun 14 January 2018
- Complexity of deciding Tarski algebra D. Yu Grigor'ev Tue 09 January 2018
- Learning to Complement Buchi Automata Yong Li Andrea Turrini Lijun Zhang Sven Schewe Tue 09 January 2018
- Toward Model Theory with Data Values Mikołaj Bojańczyk Thomas Place Sat 30 December 2017
- A Class of Automata for Computing Reachability Relations in Timed Systems Catalin Dima Fri 29 December 2017
- Computing reachability relations in timed automata C. Dima Fri 29 December 2017
- The emptiness problem for intersections of regular languages Klaus-Jørn Lange Peter Rossmanith Tue 19 December 2017
- Du programme de Hilbert aux programmes informatiques Jean-Louis Krivine Tue 19 December 2017
- Real addition and the polynomial hierarchy Eduardo D. Sontag Mon 18 December 2017
- Model Checking FO(R) over One-counter Processes and Beyond Anthony Widjaja To Mon 18 December 2017
- A Decision Procedure for the First Order Theory of Real Addition with Order Jeanne Ferrante Charles Rackoff Mon 18 December 2017
- Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes Javier Esparza Tue 12 December 2017
- On the Complexity of Equational Horn Clauses Kumar Neeraj Verma Helmut Seidl Thomas Schwentick Tue 12 December 2017
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
