| 2008 | Two Sources Are Better Than One for Increasing the Kolmogorov Complexity of Infinite Sequences. | Marius Zimand |
| 2008 | Algorithms for Multiterminal Cuts. | Mingyu Xiao |
| 2008 | Manifestation and Exploitation of Invariants in Bioinformatics. | Limsoon Wong |
| 2008 | Randomness - A Computational Complexity Perspective. | Avi Wigderson |
| 2008 | On Sequences with Non-learnable Subsequences. | Vladimir V. V'yugin |
| 2008 | Combinatorial Complexity of Regular Languages. | Arseny M. Shur |
| 2008 | Cryptanalysis of Stickel's Key Exchange Scheme. | Vladimir Shpilrain |
| 2008 | Lambek Grammars with One Division Are Decidable in Polynomial Time. | Yury Savateev |
| 2008 | A Unified Categorical Approach for Attributed Graph Rewriting. | Maxime Rebout, Louis Fraud, Sergei Soloviev |
| 2008 | Twelve Problems in Proof Complexity. | Pavel Pudlk |
| 2008 | A Uniform Lower Bound on Weights of Perceptrons. | Vladimir V. Podolskii |
| 2008 | Network as a Computer: Ranking Paths to Find Flows. | Dusko Pavlovic |
| 2008 | Additive Preconditioning for Matrix Computations. | Victor Y. Pan, Dmitriy Ivolgin, Brian Murphy, Rhys Eric Rosholt, Yuqing Tang, Xiaodong Yan |
| 2008 | Public Key Encryption and Encryption Emulation Attacks. | Denis Osin, Vladimir Shpilrain |
| 2008 | Using Coloured Petri Nets to Model and Verify Telecommunications Systems. | Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov |
| 2008 | On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. | Nutan Limaye, Meena Mahajan, Antoine Meyer |
| 2008 | A Semantic Proof of Polytime Soundness of Light Affine Logic. | Ugo Dal Lago, Martin Hofmann |
| 2008 | Self-referentiality of Justified Knowledge. | Roman Kuznets |
| 2008 | Invariant Generation for P-Solvable Loops with Assignments. | Laura Kovcs |
| 2008 | From Invariants to Canonization in Parallel. | Johannes Kbler, Oleg Verbitsky |
| 2008 | On Formal Equivalence Verification of Hardware. | Zurab Khasidashvili |
| 2008 | Lower Bounds on Frequency Estimation of Data Streams (Extended Abstract). | Sumit Ganguly |
| 2008 | The Most General Conservation Law for a Cellular Automaton. | Enrico Formenti, Jarkko Kari, Siamak Taati |
| 2008 | On the Expressive Power of Permanents and Perfect Matchings of Matrices of Bounded Pathwidth/Cliquewidth (Extended Abstract). | Uffe Flarup, Laurent Lyaudet |
| 2008 | S4LPand Local Realizability. | Melvin Fitting |