- Complexity Analysis of the Backward Coverability Algorithm for VASS Laura Bozzelli Pierre Ganty Mon 14 April 2014
- Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes Tomas Brazdil Vaclav Brozek Krishnendu Chatterjee Vojtech Forejt Antonin Kucera Mon 14 April 2014
- Generalized Mean-payoff and Energy Games Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Jean-François Raskin Mon 14 April 2014
- Generalized Mean-payoff and Energy Games Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger Jean-Francois Raskin Mon 14 April 2014
- An O(N2) Time Algorithm for Alternating Buchi automata Krishnendu Chatterjee Monika Henzinger Tue 08 April 2014
- Tree Pattern Rewriting Systems Blaise Genest Anca Muscholl Olivier Serre Marc Zeitoun Mon 07 April 2014
- Transition Graphs of Rewriting Systems over Unranked Trees Christof Løding Alex Spelten Mon 07 April 2014
- Confluence of Right Ground Term Rewriting Systems Is Decidable Lukasz Kaiser Mon 07 April 2014
- Deciding the Confluence of Ordered Term Rewrite Systems Hubert Comon Paliath Narendran Robert Nieuwenhuis Michael Rusinowitch Mon 07 April 2014
- Decision problems in ordered rewriting H. Comon P. Narendran R. Nieuwenhuis M. Rusinowitch Mon 07 April 2014
- The Confluence Problem for Flat TRSs Ichiro Mitsuhashi Michio Oyamaguch Florent Jacquemard Mon 07 April 2014
- Maximal Causal Models for Sequentially Consistent Systems Traian Florin Şerbănuţă Feng Chen Grigore Roşu Fri 04 April 2014
- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions Koushik Sen Grigore Roşu Gul Agha Fri 04 April 2014
- Minimal and Optimal Computations of Recursive Programs Gérard Berry Jean-Jacques Lévy Fri 04 April 2014
- Reversible Communicating Systems Vincent Danos Jean Krivine Fri 04 April 2014
- Concurrent Self-Explaining Computation Roly Perera Deepak Garg Umut Acar Fri 04 April 2014
- Minimum-weight Triangulation is NP-hard Wolfgang Mulzer Gunter Rote Fri 04 April 2014
- Planar 3DM is NP-complete M E Dyer A M Frieze Fri 04 April 2014
- An Algebraic Theory of Type-and-Effect Systems Ohad Kammar Fri 04 April 2014
- Planar Formulae and Their Uses D. Lichtenstein Fri 04 April 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
