| 2003 | CTL | Jan Johannsen, Martin Lange |
| 2003 | A Direct Sum Theorem in Communication Complexity via Message Compression. | Rahul Jain, Jaikumar Radhakrishnan, Pranab Sen |
| 2003 | Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces. | Jens Jgerskpper |
| 2003 | Impact of Local Topological Information on Random Walks on Finite Graphs. | Satoshi Ikeda, Izumi Kubo, Norihiro Okumoto, Masafumi Yamashita |
| 2003 | Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation. | Juraj Hromkovic, Georg Schnitger |
| 2003 | Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes. | Juraj Hromkovic, Georg Schnitger |
| 2003 | Quantum Search on Bounded-Error Inputs. | Peter Hyer, Michele Mosca, Ronald de Wolf |
| 2003 | Flip-Pushdown Automata: k+1 Pushdown Reversals Are Better than k. | Markus Holzer, Martin Kutrib |
| 2003 | Scaled Dimension and Nonuniform Complexity. | John M. Hitchcock, Jack H. Lutz, Elvira Mayordomo |
| 2003 | Counterexample-Guided Control. | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2003 | Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types. | Jo Erskine Hannay |
| 2003 | Multicommodity Flows over Time: Efficient Algorithms and Complexity. | Alexander Hall, Steffen Hippler, Martin Skutella |
| 2003 | Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems. | Francisco Gutirrez, Blas C. Ruiz |
| 2003 | Resource Access and Mobility Control with Dynamic Privileges Acquisition. | Daniele Gorla, Rosario Pugliese |
| 2003 | There Are Spanning Spiders in Dense Graphs (and We Know How to Find Them). | Luisa Gargano, Mikael Hammar |
| 2003 | An Improved Approximation Algorithm for Vertex Cover with Hard Capacities. | Rajiv Gandhi, Eran Halperin, Samir Khuller, Guy Kortsarz, Aravind Srinivasan |
| 2003 | The Cell Probe Complexity of Succinct Data Structures. | Anna Gl, Peter Bro Miltersen |
| 2003 | Optimal Cache-Oblivious Implicit Dictionaries. | Gianni Franceschini, Roberto Grossi |
| 2003 | On the Competitive Ratio for Online Facility Location. | Dimitris Fotakis |
| 2003 | Some Issues Regarding Search, Censorship, and Anonymity in Peer to Peer Networks. | Amos Fiat |
| 2003 | The Computational Complexity of the Role Assignment Problem. | Jir Fiala, Danil Paulusma |
| 2003 | Nashification and the Coordination Ratio for a Selfish Routing Game. | Rainer Feldmann, Martin Gairing, Thomas Lcking, Burkhard Monien, Manuel Rode |
| 2003 | Convergence Time to Nash Equilibria. | Eyal Even-Dar, Alexander Kesselman, Yishay Mansour |
| 2003 | Approximation Algorithm for Directed Telephone Multicast Problem. | Michael Elkin, Guy Kortsarz |
| 2003 | The Definition of a Temporal Clock Operator. | Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout |