- Average Case Analysis of Moore's State Minimization Algorithm Frédérique Bassino Julien David Cyril Nicaud Fri 02 March 2012
- One-Variable Word Equations in Linear Time Artur Jeż Fri 02 March 2012
- Computing Approximate Nash Equilibria in Polymatrix Games Argyrios Deligkas John Fearnley Rahul Savani Paul Spirakis Fri 02 March 2012
- Improved Pseudo-polynomial Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games Carlo Comin Romeo Rizzi Fri 02 March 2012
- On the Recognition of Fan-Planar and Maximal Outer-Fan-Planar Graphs Michael A. Bekos Sabine Cornelsen Luca Grilli Seok-Hee Hong Michael Kaufmann Fri 02 March 2012
- Cutwidth: Obstructions and Algorithmic Aspects Archontia C. Giannopoulou Michał Pilipczuk Jean-Florent Raymond Dimitrios M. Thilikos Marcin Wrochna Fri 02 March 2012
- Analytic Combinatorics of Lattice Paths with Forbidden Patterns, the Vectorial Kernel Method, and Generating Functions for Pushdown Automata Andrei Asinowski Axel Bacher Cyril Banderier Bernhard Gittenberger Fri 02 March 2012
- Fixed-Parameter Complexity and Approximability of Norm Maximization Christian Knauer Stefan König Daniel Werner Fri 02 March 2012
- The Hardness of 3-Uniform Hypergraph Coloring Irit Dinur Oded Regev Clifford Smyth Fri 02 March 2012
- Coloring intersection graphs of x-monotone curves in the plane Andrew Suk Fri 02 March 2012
- Strong Inapproximability Results on Balanced Rainbow-Colorable Hypergraphs Venkatesan Guruswami Euiwoong Lee Fri 02 March 2012
- Black-Box Identity Testing of Depth-4 Multilinear Circuits Shubhangi Saraf Ilya Volkovich Fri 02 March 2012
- Seymour's Conjecture on 2-Connected Graphs of Large Pathwidth Tony Huynh Gwenaël Joret Piotr Micek David R. Wood Fri 02 March 2012
- Separation of the Monotone NC Hierarchy Ran Raz Pierre McKenzie Fri 02 March 2012
- On the Hardness of Approximating the Chromatic Number Sanjeev Khanna Nathan Linial Shmuel Safra Fri 02 March 2012
- Using timed automata for modeling, simulating and verifying networked systems controller's specifications Guilherme Kunz José Machado Eduardo Perondi Fri 02 March 2012
- A Sparse Matrix Arithmetic Based on textdollartextbackslashCal Htextdollar -Matrices. Part I: Introduction to textdollarłbracetextbackslashCal Hrbracetextdollar -Matrices W. Hackbusch Fri 02 March 2012
- Proof engineering in the large: formal verification of Pentium4 floating-point divider Roope Kaivola Katherine Kohatsu Fri 02 March 2012
- Efficient verification of timed automata with BDD-like data structures Farn Wang Fri 02 March 2012
- An overview of JML tools and applications Lilian Burdy Yoonsik Cheon David R. Cok Michael D. Ernst Joseph R. Kiniry Gary T. Leavens K. Rustan M. Leino Erik Poll Fri 02 March 2012
Library Size: 13G (12949 entries),
Last Updated: Apr 11, 2026, 18:05:34,
Build Time: N/A
