| 2009 | -Hardness of Pure Nash Equilibrium in Scheduling and Connection Games. Kim Thang Nguyen |
| 2009 | A Formal Model of Business Application Integration from Web Services (Position Paper). Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar |
| 2009 | A Framework for Mutant Genetic Generation for WS-BPEL. Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo |
| 2009 | A Machine Checked Soundness Proof for an Intermediate Verification Language. Frédéric Vogels, Bart Jacobs, Frank Piessens |
| 2009 | A New Analysis of Expected Revenue. Arne Andersson, Jim Wilenius |
| 2009 | A New Family of Regular Operators Fitting with the Position Automaton Computation. Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
| 2009 | A Problem Kernelization for Graph Packing. Hannes Moser |
| 2009 | Abstract Storage Devices. Robert König, Ueli M. Maurer, Stefano Tessaro |
| 2009 | Adaptive Incentive-Compatible Sponsored Search Auction. Rica Gonen, Elan Pavlov |
| 2009 | Algorithms for Solving Infinite Games. Marcin Jurdzinski |
| 2009 | An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle |
| 2009 | Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes. Taku Aratsu, Kouichi Hirata, Tetsuji Kuboyama |
| 2009 | Asynchronous Deterministic Rendezvous on the Line. Grzegorz Stachowiak |
| 2009 | Automatic Bug Detection in Microcontroller Software by Static Program Analysis. Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp |
| 2009 | Automatic Verification of Heap Manipulation Using Separation Logic. Josh Berdine |
| 2009 | Can Component/Service-Based Systems Be Proved Correct?. J. Christian Attiogbé |
| 2009 | Conjunctive Grammars with Restricted Disjunction. Alexander Okhotin, Christian Reitwießner |
| 2009 | Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation. Kong Woei Susanto, Tim Todman, José Gabriel F. Coutinho, Wayne Luk |
| 2009 | Epistemic Strategies and Games on Concurrent Processes. Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden |
| 2009 | Event-Clock Visibly Pushdown Automata. Nguyen Van Tang, Mizuhito Ogawa |
| 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 | Framed Versus Unframed Two-Dimensional Languages. Marcella Anselmo, Natasha Jonoska, Maria Madonia |
| 2009 | From Outermost Termination to Innermost Termination. René Thiemann |
| 2009 | Green Computing: Energy Consumption Optimized Service Hosting. Walter Binder, Niranjan Suri |
| 2009 | Group Input Machine. Ruslans Tarasovs, Rusins Freivalds |
| 2009 | Implementing Services by Partial State Machines. Walter Dosch, Annette Stümpel |
| 2009 | Improved Algorithms for the 2-Vertex Disjoint Paths Problem. Torsten Tholey |
| 2009 | Increasing Machine Speed in On-Line Scheduling of Weighted Unit-Length Jobs in Slotted Time. Jan Jezabek |
| 2009 | Modelling and Verifying Mobile Systems Using pi-Graphs. Frédéric Peschanski, Joël-Alexis Bialkiewicz |
| 2009 | Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. Thomas Chatain, Paul Gastin, Nathalie Sznajder |
| 2009 | On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. Suzana Andova, Sonja Georgievska |
| 2009 | On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek |
| 2009 | On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay. Taishin Daigo, Kouichi Hirata |
| 2009 | On Some SAT-Variants over Linear Formulas. Stefan Porschen, Tatjana Schmidt |
| 2009 | On Stateless Deterministic Restarting Automata. Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto |
| 2009 | On Toda's Theorem in Structural Communication Complexity. Henning Wunderlich |
| 2009 | On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem. Beate Bollig |
| 2009 | On the Unification of Process Semantics: Observational Semantics. David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino |
| 2009 | Partial Order Semantics of Types of Nets. Robert Lorenz, Gabriel Juhás, Sebastian Mauser |
| 2009 | Pattern Matching with Swaps for Short Patterns in Linear Time. Domenico Cantone, Simone Faro |
| 2009 | Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown Compression. Elvira Mayordomo, Philippe Moser |
| 2009 | Probabilistic Acceptors for Languages over Infinite Words. Christel Baier, Nathalie Bertrand, Marcus Größer |
| 2009 | Randomness and Determination, from Physics and Computing towards Biology. Giuseppe Longo |
| 2009 | SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia |
| 2009 | Safe Reasoning with Logic LTS. Gerald Lüttgen, Walter Vogler |
| 2009 | Semantically-Aided Data-Aware Service Workflow Composition. Ondrej Habala, Marek Paralic, Viera Rozinajová, Peter Bartalos |
| 2009 | Service Oriented Architecture Pitfalls. Radovan Janecek |
| 2009 | Symbolic Reachability Analysis of Integer Timed Petri Nets. Min Wan, Gianfranco Ciardo |
| 2009 | Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams. Min Wan, Gianfranco Ciardo |
| 2009 | Technology Diffusion in Social Networks. Nicole Immorlica |
| 2009 | The Minimum Reload s-tPath/Trail/Walk Problems. Laurent Gourvès, Adria Lyra, Carlos A. J. Martinhon, Jérôme Monnot |
| 2009 | The Shortcut Problem - Complexity and Approximation. Reinhard Bauer, Gianlorenzo D'Angelo, Daniel Delling, Dorothea Wagner |
| 2009 | The Simple Reachability Problem in Switch Graphs. Klaus Reinhardt |
| 2009 | Time and Fairness in a Process Algebra with Non-blocking Reading. Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2009 | Unambiguous Erasing Morphisms in Free Monoids. Johannes C. Schneider |
| 2009 | User Care Preference-Based Semantic Service Discovery in a Ubiquitous Environment. Dongpil Kwak, Joongsoo Lee, Dohyun Kim, Younghee Lee |
| 2009 | Weaknesses of Cuckoo Hashing with a Simple Universal Hash Class: The Case of Large Universes. Martin Dietzfelbinger, Ulf Schellbach |
| 2009 | When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures. David C. Parkes |