| 2010 | Path Directed Symbolic Execution in the K Framework. | Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu |
| 2010 | Augmented Reality. | Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene |
| 2010 | An Autonomic Context Management Model Based on Machine Learning. | Ionut Anghel, Tudor Cioara, Ioan Salomie, Mihaela Dnsoreanu |
| 2010 | An Efficient Scheduling Algorithm for the Multiprocessor Platform. | Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu |
| 2010 | A Software Services Framework for Providing E-Learning and Dedicated Information Systems Facilities. | Alina Andreica, Daniel Stuparu, Florina Covaci, Gabriel Pop, Arpad Imre |
| 2010 | Completeness of Unfolding for Rewriting Logic Theories. | Mara Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis |
| 2010 | Approximating Non-interference and Erasure in Rewriting Logic. | Mauricio Alba-Castro, Mara Alpuente, Santiago Escobar |
| 2009 | On Sensor Data Simulation. | Alexandru-Ciprian Zavoianu, Ciprian Dorin Craciun |
| 2009 | Toom-Cook 8-way for Long Integers Multiplication. | Alberto Zanoni |
| 2009 | Satisfiability and Theories. | Andrei Voronkov |
| 2009 | Relational Operators in Heterogeneous Random Databases. | Letitia Velcescu, Laurentiu Vasile |
| 2009 | Automated Software Analysis. | Helmut Veith |
| 2009 | Embedding Formal Methods into Systems Engineering. | Helmut Veith |
| 2009 | MATLAB Package for Laguerre Spectral Method. | Damian Trif |
| 2009 | Dynamic Scheduling Algorithms for Workflow Applications in Grid Environment. | Alina Simion, Dragos Sbirlea, Florin Pop, Valentin Cristea |
| 2009 | Sparse Matrix Computations Using the Quadtree Storage Format. | Ivan Simecek |
| 2009 | Automated Methods for Proving Program Termination and Liveness. | Andrey Rybalchenko |
| 2009 | Semantic Annotation Based Service Composition for Grid Workflow Description and Execution. | Denisa Rodila, Victor Bacu, Dorian Gorgan |
| 2009 | A Bray-Curtis Weighted Automaton for Detecting Malicious Code Through System-Call Analysis. | Ciprian-Petrisor Pungila |
| 2009 | Exploring New Directions in Iris Recognition. | Nicolaie Popescu-Bodorin |
| 2009 | Immune-inspired Web Service Composition Framework. | Cristina Bianca Pop, Viorica R. Chifu, Ioan Salomie, Mihaela Dnsoreanu, Iulia Vartic, Monica Vlad |
| 2009 | Superfluous S-polynomials in Strategy-Independent Groebner Bases. | Grant Olney Passmore, Leonardo Mendona de Moura |
| 2009 | Cancer Prediction Modeling from Volumetric Data. | Marius Paltanea, Sabin Tabirca, Yin Jie Chen, Mark Tangney |
| 2009 | Enhanced Rule-Based Phonetic Transcription for the Romanian Language. | Mihai Alexandru Ordean, Andrei Saupe, Mihaela Ordean, Melania Duma, Gheorghe Cosmin Silaghi |
| 2009 | Bounded Parallelism in PowerList and ParList Theories. | Virginia Niculescu, Adriana Mihaela Guran |