| 2013 | Securing Communication in a Peer-to-Peer Messaging Middleware. | Pter Szilgyi |
| 2013 | N-Body Simulations with GADGET-2. | Victor-Lucian Spiridon, Emil-Ioan Slusanschi |
| 2013 | Minability through Compression. | Dan A. Simovici |
| 2013 | Space Efficient Formats for Structure of Sparse Matrices Based on Tree Structures. | Ivan Simecek, Daniel Langr, Pavel Tvrdk |
| 2013 | The Study of Impact of Matrix-Processor Mapping on the Parallel Sparse Matrix-Vector Multiplication. | Ivan Simecek, Daniel Langr, Erik Srnec |
| 2013 | From the Desktop to the Multi-clouds: The Case of ModelioSaaS. | Marcos Aurlio Almeida da Silva, Antonin Abherve, Andrey Sadovykh |
| 2013 | On Algebraic Preprocessing of Floating-Point DAEs for Numerical Model Simulation. | Tateaki Sasaki, Tetsu Yamaguchi |
| 2013 | Clustering Data Streams Using Mass Estimation. | Andrei Sorin Sabau |
| 2013 | Specifying Languages and Verifying Programs with K. | Grigore Rosu |
| 2013 | Detecting Loss of Diversity for an Efficient Termination of EAs. | David Roche, Debora Gil, Jess Giraldo |
| 2013 | A Systematic Approach to Computations on Decomposable Graphs. | Elena V. Ravve, Zeev Volkovich |
| 2013 | Evaluating Moldability of LHCb Jobs for Multicore Job Submission. | Nathalie Rauschmayr, Achim Streit |
| 2013 | Ontology-Based Recommender for Distributed Machine Learning Environment. | Daniel Pop, Caius Bogdanescu |
| 2013 | Algorithmic Experiences in Coxeter Spectral Study of P-critical Edge-Bipartite Graphs and Posets. | Agnieszka Polak, Daniel Simson |
| 2013 | Assessing SLA Compliance from Palladio Component Models. | Juan F. Prez, Giuliano Casale |
| 2013 | Distributed Resource Identification Service for Cloud Environments. | Silviu Panica, Dana Petcu |
| 2013 | Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. | Gabriele Paganelli, Wolfgang Ahrendt |
| 2013 | From Plagiarism to Malware Detection. | Ciprian Oprisa, George Cabau, Adrian Colesa |
| 2013 | Context Matching for Ambient Intelligence Applications. | Andrei Olaru |
| 2013 | Supporting the Development and Operation of Multi-cloud Applications: The MODAClouds Approach. | Elisabetta Di Nitto, Marcos Aurlio Almeida da Silva, Danilo Ardagna, Giuliano Casale, Ciprian Dorin Craciun, Nicolas Ferry, Victor Munts, Arnor Solberg |
| 2013 | Model-Driven Decision Procedures for Arithmetic. | Leonardo Mendona de Moura, Dejan Jovanovic |
| 2013 | Common Factors in Fraction-Free Matrix Reduction. | Johannes Middeke, Ahmed Almohaimeed, David J. Jeffrey |
| 2013 | Quality Assurance for Open Source Software Configuration Management. | Stefan Meyer, Philip D. Healy, Theo Lynn, John P. Morrison |
| 2013 | ARTIST Methodology and Framework: A Novel Approach for the Migration of Legacy Software on the Cloud. | Andreas Menychtas, Christina Santzaridou, George Kousiouris, Theodora A. Varvarigou, Leire Orue-Echevarria, Juncal Alonso, Jess Gorroogoitia, Hugo Bruneliere, Oliver Strau, Tatiana Senkova, Bram Pellens, Peter Stuer |
| 2013 | Certified, Efficient and Sharp Univariate Taylor Models in COQ. | rik Martin-Dorel, Laurence Rideau, Laurent Thry, Micaela Mayero, Ioana Pasca |