- Covering problems for partial words and for indeterminate strings Maxime Crochemore Costas S. Iliopoulos Tomasz Kociumaka Jakub Radoszewski Wojciech Rytter Tomasz Waleń Fri 02 March 2012
- Separability by piecewise testable languages is PTime-complete Tomáš Masopust Fri 02 March 2012
- Which fragments of the interval temporal logic HS are tractable in model checking Laura Bozzelli Alberto Molinari Angelo Montanari Adriano Peron Pietro Sala Fri 02 March 2012
- Canonicity and normalization for dependent type theory Thierry Coquand Fri 02 March 2012
- Weighted simple reset pushdown automata Manfred Droste Sven Dziadek Werner Kuich Fri 02 March 2012
- Approximate cover of strings A. Amir A. Levy R. Lubin E. Porat Fri 02 March 2012
- Global types with internal delegation Ilaria Castellani Mariangiola Dezani-Ciancaglini Paola Giannini Ross Horne Fri 02 March 2012
- Polynomial time in untyped elementary linear logic Olivier Laurent Fri 02 March 2012
- Left-handed completeness Dexter Kozen Alexandra Silva Fri 02 March 2012
- Operator precedence temporal logic and model checking Michele Chiari Dino Mandrioli Matteo Pradella Fri 02 March 2012
- XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles Joost Engelfriet Hendrik Jan Hoogeboom Bart Samwel Fri 02 March 2012
- Experimental evaluation of algorithms for computing quasiperiods Patryk Czajka Jakub Radoszewski Fri 02 March 2012
- Shortest covers of all cyclic shifts of a string Maxime Crochemore Costas S. Iliopoulos Jakub Radoszewski Wojciech Rytter Juliusz Straszyński Tomasz Waleń Wiktor Zuba Fri 02 March 2012
- Bounded-parameter Markov decision processes Robert Givan Sonia Leach Thomas Dean Fri 02 March 2012
- Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems M. Staroswiecki G. Comtet-Varga Fri 02 March 2012
- Parameter identifiability of nonlinear systems: the role of initial conditions Maria Pia Saccomani Stefania Audoly Leontina D'Angi Fri 02 March 2012
- Control of systems integrating logic, dynamics, and constraints Alberto Bemporad Manfred Morari Fri 02 March 2012
- Interprétation bijective dtextquotesingleune récurrence des nombres de Motzkin Serge Dulucq Jean-Guy Penaud Fri 02 March 2012
- Characterizations of locally testable events J.A. Brzozowski Imre Simon Fri 02 March 2012
- Une bijection géométrique entre une famille dtextquotesinglehypercartes et une famille de polygones énumérées par la série de Schröder Didier Arquès Alain Giorgetti Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
