| 2003 | Skew and Infinitary Formal Power Series. | Manfred Droste, Dietrich Kuske |
| 2003 | Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. | Ernst-Erich Doberkat |
| 2003 | Residual Languages and Probabilistic Automata. | Franois Denis, Yann Esposito |
| 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 | Improved Approximation Algorithms for Minimum-Space Advertisement Scheduling. | Brian C. Dean, Michel X. Goemans |
| 2003 | Online Load Balancing Made Simple: Greedy Strikes Back. | Pierluigi Crescenzi, Giorgio Gambosi, Gaia Nicosia, Paolo Penna, Walter Unger |
| 2003 | Problems on RNA Secondary Structure Prediction and Design. | Anne Condon |
| 2003 | MAX k-CUT and Approximating the Chromatic Number of Random Graphs. | Amin Coja-Oghlan, Cristopher Moore, Vishal Sanwalani |
| 2003 | Solving the Robots Gathering Problem. | Mark Cieliebak, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro |
| 2003 | Genus Characterizes the Complexity of Graph Problems: Some Tight Results. | Jianer Chen, Iyad A. Kanj, Ljubomir Perkovic, Eric Sedgwick, Ge Xia |
| 2003 | Multicommodity Demand Flow in a Tree. | Chandra Chekuri, Marcelo Mydlarz, F. Bruce Shepherd |
| 2003 | Approximating Steiner k-Cuts. | Chandra Chekuri, Sudipto Guha, Joseph Naor |
| 2003 | Locally Commutative Categories. | Arkadev Chattopadhyay, Denis Thrien |
| 2003 | On Equivalent Representations of Infinite Structures. | Arnaud Carayol, Thomas Colcombet |
| 2003 | Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games. | Thierry Cachat |
| 2003 | Replication vs. Recursive Definitions in Channel Based Calculi. | Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro |
| 2003 | Secrecy in Untrusted Networks. | Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone |
| 2003 | Generalized Rewrite Theories. | Roberto Bruni, Jos Meseguer |
| 2003 | An Intersection Inequality for Discrete Distributions and Related Generation Problems. | Endre Boros, Khaled M. Elbassioni, Vladimir Gurvich, Leonid Khachiyan, Kazuhisa Makino |
| 2003 | Generalized Framework for Selectors with Applications in Optimal Group Testing. | Annalisa De Bonis, Leszek Gasieniec, Ugo Vaccaro |
| 2003 | Generating Labeled Planar Graphs Uniformly at Random. | Manuel Bodirsky, Clemens Grpl, Mihyun Kang |
| 2003 | Similarity Matrices for Pairs of Graphs. | Vincent D. Blondel, Paul Van Dooren |
| 2003 | On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. | Stefan Blom, Wan J. Fokkink, Sumit Nain |
| 2003 | Decoding of Interleaved Reed Solomon Codes over Noisy Data. | Daniel Bleichenbacher, Aggelos Kiayias, Moti Yung |
| 2003 | An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle Inequality. | Markus Blser |