| 2009 | Formal Proof of Theorems on Genetic Regulatory Networks. | Maxime Dns, Benjamin Lesage, Yves Bertot, Adrien Richard |
| 2009 | The Sparsity Challenges. | James Harold Davenport, Jacques Carette |
| 2009 | Dynamic Customization of Data Structures Instances Using an Agent Based Approach. | Istvn Gergely Czibula, Gabriela Czibula, Adriana Mihaela Guran |
| 2009 | Classes of Szilard Languages in NC | Liliana Cojocaru, Erkki Mkinen, Ferucio Laurentiu Tiplea |
| 2009 | A Methodology for Concurrent Languages Development Based on Denotational Semantics. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2009 | A Policy-Based Context Aware Self-Management Model. | Tudor Cioara, Ionut Anghel, Ioan Salomie, Mihaela Dnsoreanu |
| 2009 | Semantic Web Service Composition Method Based on Fluent Calculus. | Viorica R. Chifu, Ioan Salomie, Ioana Harsa, Marius Gherga |
| 2009 | Matching Semantic Web Services Using Learning Accuracy. | Viorica R. Chifu, Ioan Salomie, Emil St. Chifu, Roland Vachter, Alpr Kvr |
| 2009 | Description and Execution of Patterns for Symbolic Computations. | Alexandru Crstea, Georgiana Macariu, Marc Frncu, Dana Petcu |
| 2009 | A Grid Enabled Quantum Computer Simulator. | Simona Caraiman, Alexandru Archip, Vasile I. Manta |
| 2009 | Unified Strategy for Feature Selection and Data Imputation. | Camelia Vidrighin Bratu, Rodica Potolea |
| 2009 | Hybrid Modelling of an Audio Signal Based on 1-D Wold Decomposition. | Iuliana Borza, Flavius Turcu, Mohamed Najim |
| 2009 | The Lucas Optimal Growth Model on Finite Horizon. | Nadia Bonchis |
| 2009 | SMT Solvers for Testing, Program Analysis and Verification at Microsoft. | Nikolaj S. Bjrner |
| 2009 | On the Existence of Complete Disjoint NP-Pairs. | Olaf Beyersdorff |
| 2009 | A Depth-first Algorithm to Reduce Graphs in Linear Time. | Mikls Bartha, Mikls Krsz |
| 2009 | A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. | Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap |
| 2009 | Algorithms for Identifying Sequence Patterns with Several Types of Occurrence Constraints. | Mugurel Ionut Andreica, Nicolae Tapus, Andrei Grigorean |
| 2009 | Fairness and QoS Enhancement Models and Techniques for Peer-to-Peer Content Sharing Systems. | Mugurel Ionut Andreica, Irina Borozan, Lucian-Ionut Balaceanu, Nicolae Tapus |
| 2008 | Random Numbers for Quantum Key Distribution. | Hugo Zbinden |
| 2008 | Checking Correctness and Compliance of Integrated Process Models. | Ren Wrzberger, Thomas Kurpick, Thomas Heer |
| 2008 | Selective Breeding Analysed as a Communication Channel: Channel Capacity as a Fundamental Limit on Adaptive Complexity. | Chris Watkins |
| 2008 | Triangular Decomposition for Algebraic and Geometric Computing. | Dongming Wang |
| 2008 | Coverability Problems for Jumping Petri Nets. | Cristian Vidrascu |
| 2008 | Gauss-Lobatto-Kronrod Formulae and Adaptive Numerical Integration. | Radu Tiberiu Trimbitas, Maria Gabriela Trimbitas |