| 2012 | Surface Split Decompositions and Subgraph Isomorphism in Graphs on Surfaces. | Paul S. Bonsma |
| 2012 | Weak MSO+U over infinite trees. | Mikolaj Bojanczyk, Szymon Torunczyk |
| 2012 | The Denjoy alternative for computable functions. | Laurent Bienvenu, Rupert Hlzl, Joseph S. Miller, Andr Nies |
| 2012 | Asymptotic enumeration of Minimal Automata. | Frdrique Bassino, Julien David, Andrea Sportiello |
| 2012 | Conflict-free Chromatic Art Gallery Coverage. | Andreas Brtschi, Subhash Suri |
| 2012 | Polynomial-time Isomorphism Test for Groups with Abelian Sylow Towers. | Lszl Babai, Youming Qiao |
| 2012 | On the separation question for tree languages. | Andr Arnold, Henryk Michalewski, Damian Niwinski |
| 2012 | Variable time amplitude amplification and quantum algorithms for linear algebra problems. | Andris Ambainis |
| 2011 | Compact Visibility Representation of Plane Graphs. | Jiun-Jie Wang, Xin He |
| 2011 | Automata based verification over linearly ordered data domains. | Luc Segoufin, Szymon Torunczyk |
| 2011 | Frontmatter, Table of Contents, Preface, Conference Organization. | Thomas Schwentick, Christoph Drr |
| 2011 | Everywhere complex sequences and the probabilistic method. | Andrey Yu. Rumyantsev |
| 2011 | On Isomorphism Testing of Groups with Normal Hall Subgroups. | Youming Qiao, Jayalal Sarma, Bangsheng Tang |
| 2011 | Collapse Operation Increases Expressive Power of Deterministic Higher Order Pushdown Automata. | Pawel Parys |
| 2011 | The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete. | Martin Mundhenk, Felix Wei |
| 2011 | The Recognition of Triangle Graphs. | George B. Mertzios |
| 2011 | Polynomial Fitting of Data Streams with Applications to Codeword Testing. | Andrew McGregor, Atri Rudra, Steve Uurtamo |
| 2011 | A Fast Algorithm for Multi-Machine Scheduling Problems with Jobs of Equal Processing Times. | Alejandro Lpez-Ortiz, Claude-Guy Quimper |
| 2011 | Temporal Synthesis for Bounded Systems and Environments. | Orna Kupferman, Yoad Lustig, Moshe Y. Vardi, Mihalis Yannakakis |
| 2011 | Linear temporal logic for regular cost functions. | Denis Kuperberg |
| 2011 | Tight Bounds For Distributed MST Verification. | Liah Kor, Amos Korman, David Peleg |
| 2011 | Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. | Petr Kolman, Christian Scheideler |
| 2011 | On the computational complexity of Ham-Sandwich cuts, Helly sets, and related problems. | Christian Knauer, Hans Raj Tiwary, Daniel Werner |
| 2011 | Spectral Sparsification in the Semi-Streaming Setting. | Jonathan A. Kelner, Alex Levin |
| 2011 | On Parsimonious Explanations For 2-D Tree- and Linearly-Ordered Data. | Howard J. Karloff, Flip Korn, Konstantin Makarychev, Yuval Rabani |