| 2013 | A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. | Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout |
| 2013 | Non-interleaving Operational Semantics for Geographically Replicated Databases. | Gabriel Ciobanu, Ross Horne |
| 2013 | TiMo: Timed Mobility in Distributed Systems. | Gabriel Ciobanu |
| 2013 | Resolution of the Probabilistic Vector Machine Problem via Single Linear Program. | Mihai Cimpoesu, Andrei Sucila, Henri Luchian |
| 2013 | A New Digital Repository for Remotely Sensed Hyperspectral Imagery on GPUs. | Jorge Sevilla Cedillo, Antonio Plaza |
| 2013 | An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. | Lorenzo Capra, Vincenzo Stile |
| 2013 | Reducing Energy Consumption by Using Clouds. | Ivona Brandic |
| 2013 | Computing Origami Universal Molecules with Cyclic Tournament Forests. | John Christopher Bowers, Ileana Streinu |
| 2013 | On Coxeter Type Classification of Loop-Free Edge-Bipartite Graphs and Matrix Morsifications. | Rafal Bocian, Mariusz Felisiak, Daniel Simson |
| 2013 | Bounded Bi-ideals and Linear Recurrence. | Inese Berzina, Janis Buls, Raivis Bets |
| 2013 | Fresh-Variable Automata: Application to Service Composition. | Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2013 | Developing Secure Cloud Applications: A Case Study. | Ermanno Battista, Valentina Casola, Nicola Mazzocca, Massimo Ficco, Massimiliano Rak |
| 2013 | Cph CT Toolbox: CT Reconstruction for Education, Research and Industrial Applications. | Jonas Bardino, Martin Rehr, Brian Vinter |
| 2013 | An Automatic Updating Perceptron-Based System for Malware Detection. | Marius Barat, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut |
| 2013 | Common Due-Date Problem: Exact Polynomial Algorithms for a Given Job Sequence. | Abhishek Awasthi, Jrg Lssig, Oliver Kramer |
| 2013 | Engineering Hoare Logic-Based Program Verification in K Framework. | Andrei Arusoaie |
| 2013 | Using Self-Organizing Maps for Fraud Prediction at Online Auction Sites. | Vinicius da Silva Almendra, Denis Enachescu |
| 2013 | Algebraic Properties of Generalized Multisets. | Andrei Alexandru, Gabriel Ciobanu |
| 2013 | Algorithm for Cooperative CPU-GPU Computing. | Razvan-Mihai Aciu, Horia Ciocarlie |
| 2012 | Computational Properties of Two P Systems Solving the 3-colouring Problem. | Adrian Turcanu, Florentin Ipate |
| 2012 | ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata. | Andrey V. Tsyganov |
| 2012 | Towards Multi-tenant and Interoperable Monitoring of Virtual Machines in Cloud. | Daniel Tovarnk, Toms Pitner |
| 2012 | VHDL Framework for Modeling Fuzzy Automata. | Doru Todinca, Daniel Butoianu |
| 2012 | Boolean Evaluation with a Pairing and Unpairing Function. | Paul Tarau, Brenda Luderman |
| 2012 | Computing with Free Algebras. | Paul Tarau |