| 2009 | When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures. | David C. Parkes |
| 2009 | Conjunctive Grammars with Restricted Disjunction. | Alexander Okhotin, Christian Reitwiener |
| 2009 | A Problem Kernelization for Graph Packing. | Hannes Moser |
| 2009 | Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown Compression. | Elvira Mayordomo, Philippe Moser |
| 2009 | Safe Reasoning with Logic LTS. | Gerald Lttgen, Walter Vogler |
| 2009 | Partial Order Semantics of Types of Nets. | Robert Lorenz, Gabriel Juhs, Sebastian Mauser |
| 2009 | Randomness and Determination, from Physics and Computing towards Biology. | Giuseppe Longo |
| 2009 | User Care Preference-Based Semantic Service Discovery in a Ubiquitous Environment. | Dongpil Kwak, Joongsoo Lee, Dohyun Kim, Younghee Lee |
| 2009 | On Stateless Deterministic Restarting Automata. | Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto |
| 2009 | Abstract Storage Devices. | Robert Knig, Ueli M. Maurer, Stefano Tessaro |
| 2009 | Algorithms for Solving Infinite Games. | Marcin Jurdzinski |
| 2009 | Increasing Machine Speed in On-Line Scheduling of Weighted Unit-Length Jobs in Slotted Time. | Jan Jezabek |
| 2009 | Service Oriented Architecture Pitfalls. | Radovan Janecek |
| 2009 | Technology Diffusion in Social Networks. | Nicole Immorlica |
| 2009 | Semantically-Aided Data-Aware Service Workflow Composition. | Ondrej Habala, Marek Paralic, Viera Rozinajov, Peter Bartalos |
| 2009 | The Minimum Reload s-tPath/Trail/Walk Problems. | Laurent Gourvs, Adria Lyra, Carlos A. J. Martinhon, Jrme Monnot |
| 2009 | Adaptive Incentive-Compatible Sponsored Search Auction. | Rica Gonen, Elan Pavlov |
| 2009 | Expressiveness of Multiple Heads in CHR. | Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo |
| 2009 | Factoring and Testing Primes in Small Space. | Viliam Geffert, Dana Pardubsk |
| 2009 | On the Unification of Process Semantics: Observational Semantics. | David de Frutos-Escrig, Carlos Gregorio-Rodrguez, Miguel Palomino |
| 2009 | Automatic Bug Detection in Microcontroller Software by Static Program Analysis. | Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp |
| 2009 | Implementing Services by Partial State Machines. | Walter Dosch, Annette Stmpel |
| 2009 | A Framework for Mutant Genetic Generation for WS-BPEL. | Juan Jos Domnguez-Jimnez, Antonia Estero-Botaro, Inmaculada Medina-Bulo |
| 2009 | Weaknesses of Cuckoo Hashing with a Simple Universal Hash Class: The Case of Large Universes. | Martin Dietzfelbinger, Ulf Schellbach |
| 2009 | On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay. | Taishin Daigo, Kouichi Hirata |