| 2007 | A Minimal Pair in the Quotient Structure | Rongfang Bie, Guohua Wu |
| 2007 | Constructive Dimension and Weak Truth-Table Degrees. | Laurent Bienvenu, David Doty, Frank Stephan |
| 2007 | Producer/Consumer in Membrane Systems and Petri Nets. | Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan |
| 2007 | RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice. | Andrej Bauer, Christopher A. Stone |
| 2007 | Untitled record | George Barmpalias, Douglas A. Cenzer, Jeffrey B. Remmel, Rebecca Weber |
| 2007 | Reachability Problems: An Update. | Eric Allender |
| 2007 | Learning as Data Compression. | Pieter W. Adriaans |
| 2007 | Shifting and Lifting of Cellular Automata. | Luigi Acerbi, Alberto Dennunzio, Enrico Formenti |
| 2006 | Primitive Recursive Selection Functions over Abstract Algebras. | Jeffery I. Zucker |
| 2006 | A Computability Theory of Real Numbers. | Xizhong Zheng |
| 2006 | Kurt Gdel and Computability Theory. | Richard Zach |
| 2006 | Non-deterministic Halting Times for Hamkins-Kidder Turing Machines. | Philip D. Welch |
| 2006 | Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions. | Andreas Weiermann |
| 2006 | Relativized Degree Spectra. | Alexandra A. Soskova |
| 2006 | Co-total Enumeration Degrees. | Boris Solon |
| 2006 | Gdel's Conflicting Approaches to Effective Calculability. | Wilfried Sieg |
| 2006 | Partially Ordered Connectives and Sum | Merlijn Sevenster, Tero Tulenheimo |
| 2006 | Partial Recursive Functions in Martin-Lf Type Theory. | Anton Setzer |
| 2006 | Inverting Monotone Continuous Functions in Constructive Analysis. | Helmut Schwichtenberg |
| 2006 | Do Noetherian Modules Have Noetherian Basis Functions?. | Peter Schuster, Jlia Zappe |
| 2006 | Admissible Representations in Computable Analysis. | Matthias Schrder |
| 2006 | Fast Quantifier Elimination Means P = NP. | Mihai Prunescu |
| 2006 | An Introduction to Program and Thread Algebra. | Alban Ponse, Mark van der Zwaag |
| 2006 | A Subrecursive Refinement of the Fundamental Theorem of Algebra. | Peter Peshev, Dimiter Skordev |
| 2006 | Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis. | Paulo Oliva |