- Forbidden graphs for tree-depth Zdeněk Dvořák Archontia C. Giannopoulou Dimitrios M. Thilikos Fri 02 March 2012
- Constant-factor approximation of the domination number in sparse graphs Zdeněk Dvořák Fri 02 March 2012
- Induced subdivisions and bounded expansion Zdeněk Dvořák Fri 02 March 2012
- Characterising bounded expansion by neighbourhood complexity Felix Reidl Fernando Sánchez Villaamil Konstantinos Stavropoulos Fri 02 March 2012
- Asymptotics of pattern avoidance in the Klazar set partition and permutation-tuple settings Benjamin Gunby Dömötör Pálvölgyi Fri 02 March 2012
- The average cut-rank of graphs Huy-Tung Nguyen Sang-il Oum Fri 02 March 2012
- Classes of graphs with low complexity: The case of classes with bounded linear rankwidth Jaroslav Nešetřil Patrice Ossona de Mendez Roman Rabinovich Sebastian Siebertz Fri 02 March 2012
- Realization of nonlinear MIMO system on homogeneous time scales Juri Belikov Ülle Kotta Maris Tõnso Fri 02 March 2012
- Quantitative verification and strategy synthesis for stochastic games Mária Svoreňová Marta Kwiatkowska Fri 02 March 2012
- Pure subgame-perfect equilibria in free transition games J. Kuipers J. Flesch G. Schoenmakers K. Vrieze Fri 02 March 2012
- Monitoring Algorithms for Metric Temporal Logic Specifications Prasanna Thati Grigore Roşu Fri 02 March 2012
- New Algorithms for Solving Simple Stochastic Games Rafał Somla Fri 02 March 2012
- Computational Effects and Operations: An Overview Gordon Plotkin John Power Fri 02 March 2012
- Autowrite: A Tool for Term Rewrite Systems and Tree Automata Irène Durand Fri 02 March 2012
- A New Approach to Upward-Closed Set Backward Reachability Analysis Jesse Bingham Fri 02 March 2012
- Games for Counting Abstractions J.-F. Raskin M. Samuelides L. Van Begin Fri 02 March 2012
- Locality of Queries and Transformations Leonid Libkin Fri 02 March 2012
- Model Checking Russian Cards H.P. van Ditmarsch W. van der Hoek R. van der Meyden J. Ruan Fri 02 March 2012
- Patterns for Timed Property Specifications Volker Gruhn Ralf Laue Fri 02 March 2012
- Normal Form Simulation for McCarthytextquotesingles Amb Soren B. Lassen Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
