| 2003 | A Competitive Algorithm for the General 2-Server Problem. René Sitters, Leen Stougie, Willem de Paepe |
| 2003 | A Direct Sum Theorem in Communication Complexity via Message Compression. Rahul Jain, Jaikumar Radhakrishnan, Pranab Sen |
| 2003 | A Simple Linear Time Algorithm for Computing a (2k-1)-Spanner of O(n Surender Baswana, Sandeep Sen |
| 2003 | A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. Gaoyan Xie, Zhe Dang, Oscar H. Ibarra |
| 2003 | A Study of Integrated Document and Connection Caching. Susanne Albers, Rob van Stee |
| 2003 | A Testing Scenario for Probabilistic Automata. Mariëlle Stoelinga, Frits W. Vaandrager |
| 2003 | Adaptive Raising Strategies Optimizing Relative Efficiency. Arnold Schönhage |
| 2003 | Algorithmic Aspects of Bandwidth Trading. Randeep Bhatia, Julia Chuzhoy, Ari Freund, Joseph Naor |
| 2003 | An Improved Approximation Algorithm for Vertex Cover with Hard Capacities. Rajiv Gandhi, Eran Halperin, Samir Khuller, Guy Kortsarz, Aravind Srinivasan |
| 2003 | An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle Inequality. Markus Bläser |
| 2003 | An Intersection Inequality for Discrete Distributions and Related Generation Problems. Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino |
| 2003 | Analysis of a Simple Evolutionary Algorithm for Minimization in Euclidean Spaces. Jens Jägersküpper |
| 2003 | Anycasting in Adversarial Systems: Routing and Admission Control. Baruch Awerbuch, André Brinkmann, Christian Scheideler |
| 2003 | Approximating Steiner k-Cuts. Chandra Chekuri, Sudipto Guha, Joseph Naor |
| 2003 | Approximation Algorithm for Directed Telephone Multicast Problem. Michael Elkin, Guy Kortsarz |
| 2003 | Approximation Schemes for Degree-Restricted MST and Red-Blue Separation Problem. Sanjeev Arora, Kevin L. Chang |
| 2003 | Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings Jos C. M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger |
| 2003 | Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types. Jo Erskine Hannay |
| 2003 | Bisimulation Proof Methods for Mobile Ambients. Massimo Merro, Francesco Zappa Nardelli |
| 2003 | CTL Jan Johannsen, Martin Lange |
| 2003 | Convergence Time to Nash Equilibria. Eyal Even-Dar, Alexander Kesselman, Yishay Mansour |
| 2003 | Counterexample-Guided Control. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2003 | Decision Problems for Language Equations with Boolean Operations. Alexander Okhotin |
| 2003 | Decoding of Interleaved Reed Solomon Codes over Noisy Data. Daniel Bleichenbacher, Aggelos Kiayias, Moti Yung |
| 2003 | Degree Distribution of the FKP Network Model. Noam Berger, Béla Bollobás, Christian Borgs, Jennifer T. Chayes, Oliver Riordan |
| 2003 | Discounting the Future in Systems Theory. Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar |
| 2003 | Dynamic Algorithms for Approximating Interdistances. Sergei Bespamyatnikh, Michael Segal |
| 2003 | Efficient Pebbling for List Traversal Synopses. Yossi Matias, Ely Porat |
| 2003 | Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems. Francisco Gutiérrez, Blas C. Ruiz |
| 2003 | Fixed-Parameter Algorithms for the (k, r)-Center in Planar Graphs and Map Graphs. Erik D. Demaine, Fedor V. Fomin, Mohammad Taghi Hajiaghayi, Dimitrios M. Thilikos |
| 2003 | Flip-Pushdown Automata: k+1 Pushdown Reversals Are Better than k. Markus Holzer, Martin Kutrib |
| 2003 | Function Matching: Algorithms, Applications, and a Lower Bound. Amihood Amir, Yonatan Aumann, Richard Cole, Moshe Lewenstein, Ely Porat |
| 2003 | Generalized Framework for Selectors with Applications in Optimal Group Testing. Annalisa De Bonis, Leszek Gasieniec, Ugo Vaccaro |
| 2003 | Generalized Rewrite Theories. Roberto Bruni, José Meseguer |
| 2003 | Generating Labeled Planar Graphs Uniformly at Random. Manuel Bodirsky, Clemens Gröpl, Mihyun Kang |
| 2003 | Genus Characterizes the Complexity of Graph Problems: Some Tight Results. Jianer Chen, Iyad A. Kanj, Ljubomir Perkovic, Eric Sedgwick, Ge Xia |
| 2003 | Hierarchical and Recursive State Machines with Context-Dependent Properties. Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
| 2003 | Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games. Thierry Cachat |
| 2003 | Impact of Local Topological Information on Random Walks on Finite Graphs. Satoshi Ikeda, Izumi Kubo, Norihiro Okumoto, Masafumi Yamashita |
| 2003 | Improved Approximation Algorithms for Minimum-Space Advertisement Scheduling. Brian C. Dean, Michel X. Goemans |
| 2003 | Improved Combinatorial Approximation Algorithms for the k-Level Facility Location Problem. Alexander A. Ageev, Yinyu Ye, Jiawei Zhang |
| 2003 | Information Flow in Concurrent Games. Luca de Alfaro, Marco Faella |
| 2003 | Labeling Schemes for Weighted Dynamic Trees. Amos Korman, David Peleg |
| 2003 | Locally Commutative Categories. Arkadev Chattopadhyay, Denis Thérien |
| 2003 | Logic and Automata: A Match Made in Heaven. Moshe Y. Vardi |
| 2003 | MAX k-CUT and Approximating the Chromatic Number of Random Graphs. Amin Coja-Oghlan, Cristopher Moore, Vishal Sanwalani |
| 2003 | Minimal Classical Logic and Control Operators. Zena M. Ariola, Hugo Herbelin |
| 2003 | Mixin Modules and Computational Effects. Davide Ancona, Sonia Fagorzi, Eugenio Moggi, Elena Zucca |
| 2003 | Model Checking and Testing Combined. Doron A. Peled |
| 2003 | Monadic Second-Order Logics with Cardinalities. Felix Klaedtke, Harald Rueß |
| 2003 | Multicommodity Demand Flow in a Tree. Chandra Chekuri, Marcelo Mydlarz, F. Bruce Shepherd |
| 2003 | Multicommodity Flows over Time: Efficient Algorithms and Complexity. Alexander Hall, Steffen Hippler, Martin Skutella |
| 2003 | Nashification and the Coordination Ratio for a Selfish Routing Game. Rainer Feldmann, Martin Gairing, Thomas Lücking, Burkhard Monien, Manuel Rode |
| 2003 | Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation. Juraj Hromkovic, Georg Schnitger |
| 2003 | On Equivalent Representations of Infinite Structures. Arnaud Carayol, Thomas Colcombet |
| 2003 | On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. Stefan Blom, Wan J. Fokkink, Sumit Nain |
| 2003 | On the Competitive Ratio for Online Facility Location. Dimitris Fotakis |
| 2003 | Online Load Balancing Made Simple: Greedy Strikes Back. Pierluigi Crescenzi, Giorgio Gambosi, Gaia Nicosia, Paolo Penna, Walter Unger |
| 2003 | Optimal Cache-Oblivious Implicit Dictionaries. Gianni Franceschini, Roberto Grossi |
| 2003 | Optimal Coding and Sampling of Triangulations. Dominique Poulalhon, Gilles Schaeffer |
| 2003 | Oracle Circuits for Branching-Time Model Checking. Philippe Schnoebelen |
| 2003 | Polarized Process Algebra and Program Equivalence. Jan A. Bergstra, Inge Bethke |
| 2003 | Problems on RNA Secondary Structure Prediction and Design. Anne Condon |
| 2003 | Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes. Juraj Hromkovic, Georg Schnitger |
| 2003 | Quantitative Analysis of Probabilistic Lossy Channel Systems. Alexander Moshe Rabinovich |
| 2003 | Quantum Search on Bounded-Error Inputs. Peter Høyer, Michele Mosca, Ronald de Wolf |
| 2003 | Real-Time Scheduling with a Budget. Joseph Naor, Hadas Shachnai, Tami Tamir |
| 2003 | Replication vs. Recursive Definitions in Channel Based Calculi. Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
| 2003 | Residual Languages and Probabilistic Automata. François Denis, Yann Esposito |
| 2003 | Resource Access and Mobility Control with Dynamic Privileges Acquisition. Daniele Gorla, Rosario Pugliese |
| 2003 | Scaled Dimension and Nonuniform Complexity. John M. Hitchcock, Jack H. Lutz, Elvira Mayordomo |
| 2003 | Secrecy in Untrusted Networks. Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone |
| 2003 | Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. Ernst-Erich Doberkat |
| 2003 | Similarity Matrices for Pairs of Graphs. Vincent D. Blondel, Paul Van Dooren |
| 2003 | Simple Linear Work Suffix Array Construction. Juha Kärkkäinen, Peter Sanders |
| 2003 | Skew and Infinitary Formal Power Series. Manfred Droste, Dietrich Kuske |
| 2003 | Solving the Robots Gathering Problem. Mark Cieliebak, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro |
| 2003 | Some Issues Regarding Search, Censorship, and Anonymity in Peer to Peer Networks. Amos Fiat |
| 2003 | Sophistication Revisited. Luis Antunes, Lance Fortnow |
| 2003 | Stable Marriages with Multiple Partners: Efficient Search for an Optimal Solution. Vipul Bansal, Aseem Agrawal, Varun S. Malhotra |
| 2003 | Succinct Dynamic Dictionaries and Trees. Rajeev Raman, S. Srinivasa Rao |
| 2003 | Succinct Representations of Permutations. J. Ian Munro, Rajeev Raman, Venkatesh Raman, S. Srinivasa Rao |
| 2003 | The Cell Probe Complexity of Succinct Data Structures. Anna Gál, Peter Bro Miltersen |
| 2003 | The Computational Complexity of the Role Assignment Problem. Jirí Fiala, Daniël Paulusma |
| 2003 | The Definition of a Temporal Clock Operator. Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout |
| 2003 | The Equivalence Problem for t-Turn DPDA Is Co-NP. Géraud Sénizergues |
| 2003 | The SPQR-Tree Data Structure in Graph Drawing. Petra Mutzel |
| 2003 | There Are Spanning Spiders in Dense Graphs (and We Know How to Find Them). Luisa Gargano, Mikael Hammar |
| 2003 | Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes. Richard Mayr |
| 2003 | Upper Bounds for a Theory of Queues. Tatiana Rybina, Andrei Voronkov |
| 2003 | Π Orna Kupferman, Moshe Y. Vardi |