| 2005 | On Dynamic Bit-Probe Complexity. | Corina E. Patrascu, Mihai Patrascu |
| 2005 | Approximate Guarding of Monotone and Rectilinear Polygons. | Bengt J. Nilsson |
| 2005 | Basic Observables for a Calculus for Global Computing. | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
| 2005 | Idealized Algol with Ground Recursion, and DPDA Equivalence. | Andrzej S. Murawski, C.-H. Luke Ong, Igor Walukiewicz |
| 2005 | Orthogonal Extensions in Structural Operational Semantics. | Mohammad Reza Mousavi, Michel A. Reniers |
| 2005 | Basing Cryptographic Protocols on Tamper-Evident Seals. | Tal Moran, Moni Naor |
| 2005 | Discrete Random Variables over Domains. | Michael W. Mislove |
| 2005 | Single-Key AIL-MACs from Any FIL-MAC. | Ueli M. Maurer, Johan Sjdin |
| 2005 | Quantum Complexity of Testing Group Commutativity. | Frdric Magniez, Ashwin Nayak |
| 2005 | Designated Verifier Signature Schemes: Attacks, New Security Notions and a New Construction. | Helger Lipmaa, Guilin Wang, Feng Bao |
| 2005 | Braess's Paradox, Fibonacci Numbers, and Exponential Inapproximability. | Henry C. Lin, Tim Roughgarden, va Tardos, Asher Walkover |
| 2005 | Signaling P Systems and Verification Problems. | Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen |
| 2005 | Logics for Unranked Trees: An Overview. | Leonid Libkin |
| 2005 | Decidability in Syntactic Control of Interference. | James Laird |
| 2005 | Optimistic Asynchronous Atomic Broadcast. | Klaus Kursawe, Victor Shoup |
| 2005 | Linear Time Algorithms for Clustering Problems in Any Dimensions. | Amit Kumar, Yogish Sabharwal, Sandeep Sen |
| 2005 | LCA Queries in Directed Acyclic Graphs. | Miroslaw Kowaluk, Andrzej Lingas |
| 2005 | Polynomial Time Preemptive Sum-Multicoloring on Paths. | Annamria Kovcs |
| 2005 | From Primal-Dual to Cost Shares and Back: A Stronger LP Relaxation for the Steiner Forest Problem. | Jochen Knemann, Stefano Leonardi, Guido Schfer, Stefan H. M. van Zwam |
| 2005 | A Quantum Lower Bound for the Query Complexity of Simon's Problem. | Pascal Koiran, Vincent Nesme, Natacha Portier |
| 2005 | Unsafe Grammars and Panic Automata. | Teodor Knapik, Damian Niwinski, Pawel Urzyczyn, Igor Walukiewicz |
| 2005 | Append-Only Signatures. | Eike Kiltz, Anton Mityagin, Saurabh Panjwani, Barath Raghavan |
| 2005 | Influential Nodes in a Diffusion Model for Social Networks. | David Kempe, Jon M. Kleinberg, va Tardos |
| 2005 | Solvability of a System of Bivariate Polynomial Equations over a Finite Field. | Neeraj Kayal |
| 2005 | An ( | Telikepalli Kavitha |