| 2003 | A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes. | Slawomir Lasota |
| 2003 | Computing Average Value in Ad Hoc Networks. | Miroslaw Kutylowski, Daniel Letkiewicz |
| 2003 | Scheduling and Traffic Allocation for Tasks with Bounded Splittability. | Piotr Krysta, Peter Sanders, Berthold Vcking |
| 2003 | Augmenting Local Edge-Conncectivity between Vertices and Vertex Subsets in Undirected Graphs. | Toshimasa Ishii, Masayuki Hagiwara |
| 2003 | Characterizations of Catalytic Membrane Computing Systems. | Oscar H. Ibarra, Zhe Dang, mer Egecioglu, Gaurav Saxena |
| 2003 | On Matroid Properties Definable in the MSO Logic. | Petr Hlinen |
| 2003 | Semantic and Syntactic Approaches to Simulation Relations. | Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella |
| 2003 | Probabilistic and Nondeterministic Unary Automata. | Gregor Gramlich |
| 2003 | Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. | Roberto Gorrieri, Fabio Martinelli |
| 2003 | Match-Bounded String Rewriting Systems. | Alfons Geser, Dieter Hofbauer, Johannes Waldmann |
| 2003 | LTL with Past and Two-Way Very-Weak Alternating Automata. | Paul Gastin, Denis Oddoux |
| 2003 | Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. | Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2003 | Quantum Testers for Hidden Group Properties. | Katalin Friedl, Frdric Magniez, Miklos Santha, Pranab Sen |
| 2003 | Selfish Routing in Non-cooperative Networks: A Survey. | Rainer Feldmann, Martin Gairing, Thomas Lcking, Burkhard Monien, Manuel Rode |
| 2003 | Approximation Schemes for the Min-Max Starting Time Problem. | Leah Epstein, Tamir Tassa |
| 2003 | Two Dimensional Packing: The Power of Rotation. | Leah Epstein |
| 2003 | Linear-Time Computation of Local Periods. | Jean-Pierre Duval, Roman Kolpakov, Gregory Kucherov, Thierry Lecroq, Arnaud Lefebvre |
| 2003 | Using Transitive-Closure Logic for Deciding Linear Properties of Monoids. | Christian Delhomm, Teodor Knapik, D. Gnanaraj Thomas |
| 2003 | Generalized Satisfability with Limited Occurrences per Variable: A Study through Delta-Matroid Parity. | Vctor Dalmau, Daniel K. Ford |
| 2003 | A Linear-Time Algorithm for 7-Coloring 1-Planar Graphs. | Zhi-Zhong Chen, Mitsuharu Kouno |
| 2003 | Inverse NP Problems. | Hubie Chen |
| 2003 | Arithmetic Constant-Depth Circuit Complexity Classes. | Hubie Chen |
| 2003 | Relating Hierarchy of Temporal Properties to Model Checking. | Ivana Cern, Radek Pelnek |
| 2003 | Unambiguous Automata on Bi-infinite Words. | Olivier Carton |
| 2003 | Distributed Quantum Computing. | Harry Buhrman, Hein Rhrig |