- What Triggers a Behavior Orna Kupferman Yoad Lustig Fri 02 March 2012
- Generalized, efficient array decision procedures Leonardo de Moura Nikolaj Bjorner Fri 02 March 2012
- Syntax-guided synthesis Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak Abhishek Udupa Fri 02 March 2012
- Categorical semantics of digital circuits Dan R. Ghica Achim Jung Fri 02 March 2012
- Hierarchies of memory limited computations R. E. Stearns J. Hartmanis P. M. Lewis Fri 02 March 2012
- Memory bounds for recognition of context-free and context-sensitive languages P. M. Lewis R. E. Stearns J. Hartmanis Fri 02 March 2012
- Abstract families of languages Seymour Ginsburg Sheila Greibach Fri 02 March 2012
- An approach to a unified theory of automata J. E. Hopcroft J. D. Ullman Fri 02 March 2012
- Any AND-OR Formula of Size N can be Evaluated in time on a Quantum Computer Andris Ambainis Andrew M. Childs Ben W. Reichardt Robert Spalek Shengyu Zhang Fri 02 March 2012
- Exact and Approximate Pattern Matching in the Streaming Model Benny Porat Ely Porat Fri 02 March 2012
- Blackbox Polynomial Identity Testing for Depth 3 Circuits Neeraj Kayal Shubhangi Saraf Fri 02 March 2012
- Boosting and Differential Privacy Cynthia Dwork Guy N. Rothblum Salil Vadhan Fri 02 March 2012
- Deciding First-Order Properties for Sparse Graphs Zdenek Dvorak Daniel Kral Robin Thomas Fri 02 March 2012
- Geometric Complexity Theory V: Equivalence between Blackbox Derandomization of Polynomial Identity Testing and Derandomization of Noethertextquotesingles Normalization Lemma Ketan D. Mulmuley Fri 02 March 2012
- An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas Neeraj Kayal Nutan Limaye Chandan Saha Srikanth Srinivasan Fri 02 March 2012
- Popular Conjectures Imply Strong Lower Bounds for Dynamic Problems Amir Abboud Virginia Vassilevska Williams Fri 02 March 2012
- FO Model Checking on Posets of Bounded Width Jakub Gajarsky Petr Hlineny Daniel Lokshtanov Jan Obdrzalek Sebastian Ordyniak M.S. Ramanujan Saket Saurabh Fri 02 March 2012
- Isomorphism Testing for Graphs of Bounded Rank Width Martin Grohe Pascal Schweitzer Fri 02 March 2012
- Deterministic Communication vs. Partition Number Mika Goos Toniann Pitassi Thomas Watson Fri 02 March 2012
- Which Regular Expression Patterns Are Hard to Match Arturs Backurs Piotr Indyk Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
