- A structural approach to reversible computation Samson Abramsky Fri 02 March 2012
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes Christel Baier Holger Hermanns Joost-Pieter Katoen Boudewijn R. Haverkort Fri 02 March 2012
- A partial order semantics approach to the clock explosion problem of timed automata D. Lugiez P. Niebert S. Zennou Fri 02 March 2012
- Combinatorial structure and randomized subexponential algorithms for infinite games Henrik Björklund Sergei Vorobyov Fri 02 March 2012
- On graph problems in a semi-streaming model Joan Feigenbaum Sampath Kannan Andrew McGregor Siddharth Suri Jian Zhang Fri 02 March 2012
- A new algorithm for optimal 2-constraint satisfaction and its implications Ryan Williams Fri 02 March 2012
- Scheduling with timed automata Yasmina Abdeddaitextasciidieresism Eugene Asarin Oded Maler Fri 02 March 2012
- Experiments with deterministic ømega-automata for formulas of linear temporal logic Joachim Klein Christel Baier Fri 02 March 2012
- Differential interaction nets T. Ehrhard L. Regnier Fri 02 March 2012
- Weighted tree automata and weighted logics Manfred Droste Heiko Vogler Fri 02 March 2012
- A bisimulation for dynamic sealing Eijiro Sumii Benjamin C. Pierce Fri 02 March 2012
- Resources, concurrency, and local reasoning Peter W. O'Hearn Fri 02 March 2012
- Reasoning about probabilistic sequential programs R. Chadha L. Cruz-Filipe P. Mateus A. Sernadas Fri 02 March 2012
- On the separability of sparse context-free languages and of bounded rational relations Christian Choffrut Flavio D'Alessandro Stefano Varricchio Fri 02 March 2012
- Verification of Boolean programs with unbounded thread creation Byron Cook Daniel Kroening Natasha Sharygina Fri 02 March 2012
- Change of order for regular chains in positive dimension Xavier Dahan Xin Jin Marc Moreno Maza Éric Schost Fri 02 March 2012
- The heart of intersection type assignment: Normalisation proofs revisited Steffen van Bakel Fri 02 March 2012
- All-pairs disjoint paths from a common ancestor in time Raphael Yuster Fri 02 March 2012
- Developments from enquiries into the learnability of the pattern languages from positive data Yen Kaow Ng Takeshi Shinohara Fri 02 March 2012
- Digraph measures: Kelly decompositions, games, and orderings Paul Hunter Stephan Kreutzer Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
