| 2009 | Time and Fairness in a Process Algebra with Non-blocking Reading. | Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2009 | On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. | Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek |
| 2009 | Epistemic Strategies and Games on Concurrent Processes. | Konstantinos Chatzikokolakis, Sophia Knight, Prakash Panangaden |
| 2009 | Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. | Thomas Chatain, Paul Gastin, Nathalie Sznajder |
| 2009 | A New Family of Regular Operators Fitting with the Position Automaton Computation. | Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot |
| 2009 | Pattern Matching with Swaps for Short Patterns in Linear Time. | Domenico Cantone, Simone Faro |
| 2009 | On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem. | Beate Bollig |
| 2009 | Green Computing: Energy Consumption Optimized Service Hosting. | Walter Binder, Niranjan Suri |
| 2009 | Automatic Verification of Heap Manipulation Using Separation Logic. | Josh Berdine |
| 2009 | The Shortcut Problem - Complexity and Approximation. | Reinhard Bauer, Gianlorenzo D'Angelo, Daniel Delling, Dorothea Wagner |
| 2009 | Probabilistic Acceptors for Languages over Infinite Words. | Christel Baier, Nathalie Bertrand, Marcus Grer |
| 2009 | An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. | Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle |
| 2009 | Can Component/Service-Based Systems Be Proved Correct?. | J. Christian Attiogb |
| 2009 | Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes. | Taku Aratsu, Kouichi Hirata, Tetsuji Kuboyama |
| 2009 | Framed Versus Unframed Two-Dimensional Languages. | Marcella Anselmo, Natasha Jonoska, Maria Madonia |
| 2009 | On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. | Suzana Andova, Sonja Georgievska |
| 2009 | A New Analysis of Expected Revenue. | Arne Andersson, Jim Wilenius |
| 2008 | Threshold Privacy Preserving Keyword Searches. | Peishun Wang, Huaxiong Wang, Josef Pieprzyk |
| 2008 | Hardness results for isomorphism and automorphism of bounded valence graphs. | Fabian Wagner |
| 2008 | Improving Semantic Search Via Integrated Personalized Faceted and Visual Graph Navigation. | Michal Tvarozek, Michal Barla, Gyrgy Frivolt, Marek Tomsa, Mria Bielikov |
| 2008 | Optimizing Winning Strategies in Regular Infinite Games. | Wolfgang Thomas |
| 2008 | On finding power method in spreading activation search. | Jn Suchal |
| 2008 | Untangling a Planar Graph. | Andreas Spillner, Alexander Wolff |
| 2008 | On creating a trusted and distributed data source environment. | Roman Spanek, Martin Rimnac, Zdenka Linkova |
| 2008 | Gene expression data mining guided by genomic background knowledge. | Pavel Smrz, Jana Silhav, Jir Klma, Filip Zelezn |