| 2007 | Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols. | Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov |
| 2007 | Generic Complexity of Undecidable Problems. | Alexei G. Myasnikov |
| 2007 | Performance Modeling of Wormhole Hypermeshes Under Hotspot Traffic. | Reza Moraveji, Hamid Sarbazi-Azad, Abbas Nayebi, Keivan Navi |
| 2007 | On the Complexity of Matrix Rank and Rigidity. | Meena Mahajan, Jayalal Sarma |
| 2007 | Constructing a Secret Binary Partition of a Digital Image Robust to a Loss of Synchronization. | Alexei Lysenko |
| 2007 | Efficient Computation in Groups Via Compression. | Markus Lohrey, Saul Schleimer |
| 2007 | A Note on Specialization of Interpreters. | Alexei Lisitsa, Andrei P. Nemytykh |
| 2007 | Estimation of the Click Volume by Large Scale Regression Analysis. | Yury Lifshits, Dirk Nowotka |
| 2007 | Towards Hierarchical Clustering (Extended Abstract). | Mark Sh. Levin |
| 2007 | New Bounds for MAX-SAT by Clause Learning. | Alexander S. Kulikov, Konstantin Kutzkov |
| 2007 | Ruling Out Polynomial-Time Approximation Schemes for Hard Constraint Satisfaction Problems. | Peter Jonsson, Andrei A. Krokhin, Fredrik Kuivinen |
| 2007 | Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth. | Artur Jez, Alexander Okhotin |
| 2007 | Resource Placement in Networks Using Chromatic Sets of Power Graphs. | Navid Imani, Hamid Sarbazi-Azad, Selim G. Akl |
| 2007 | Maximal Intersection Queries in Randomized Graph Models. | Benjamin Hoffmann, Yury Lifshits, Dirk Nowotka |
| 2007 | A PDL-Like Logic of Knowledge Acquisition. | Bernhard Heinemann |
| 2007 | Abstract Modeling and Formal Verification of Microprocessors. | Ziyad Hanna |
| 2007 | Proving Church's Thesis. | Yuri Gurevich |
| 2007 | Bouillon: A Wiki-Wiki Social Web. | Victor S. Grishchenko |
| 2007 | Equivalence Problems for Circuits over Sets of Natural Numbers. | Christian Glaer, Katrin Herr, Christian Reitwiener, Stephen D. Travers, Matthias Waldherr |
| 2007 | Planarity, Determinants, Permanents, and (Unique) Matchings. | Samir Datta, Raghav Kulkarni, Nutan Limaye, Meena Mahajan |
| 2007 | Proved-Patterns-Based Development for Structured Programs. | Dominique Cansell, Dominique Mry |
| 2007 | Inverting Onto Functions and Polynomial Hierarchy. | Harry Buhrman, Lance Fortnow, Michal Kouck, John D. Rogers, Nikolai K. Vereshchagin |
| 2007 | Decidability of Parameterized Probabilistic Information Flow. | Danile Beauquier, Marie Duflot, Yury Lifshits |
| 2007 | A Fast Algorithm for Path 2-Packing Problem. | Maxim A. Babenko |
| 2007 | Reversible Machine Code and Its Abstract Processor Architecture. | Holger Bock Axelsen, Robert Glck, Tetsuo Yokoyama |