| 2013 | Interactive coffee table for exploration of personal photos and videos. | Diogo de Carvalho Pedrosa, Rodrigo Laiola Guimares, Maria da Graa Campos Pimentel, Dick C. A. Bulterman, Pablo Csar |
| 2013 | EARs in the wild: large-scale analysis of execution after redirect vulnerabilities. | Pierre Payet, Adam Doup, Christopher Kruegel, Giovanni Vigna |
| 2013 | Mutation testing strategies using mutant classification. | Mike Papadakis, Yves Le Traon |
| 2013 | A catalogue of functional software requirement patterns for the domain of content management systems. | Cristina Palomares, Carme Quer, Xavier Franch, Samuel Renault, Cindy Guerlain |
| 2013 | Continuous query processing with concurrency control: reading updatable resources consistently. | Masafumi Oyamada, Hideyuki Kawashima, Hiroyuki Kitagawa |
| 2013 | Experience with a middleware infrastructure for service oriented financial applications. | Jos Pedro Oliveira, Jos Pereira |
| 2013 | An investigation into the development of service-oriented robotic systems. | Lucas Bueno Ruas de Oliveira, Fernando Santos Osrio, Elisa Yumi Nakagawa |
| 2013 | DoS-resilient virtual networks through multipath embedding and opportunistic recovery. | Rodrigo Ruas Oliveira, Leonardo Richter Bays, Daniel S. Marcon, Miguel C. Neves, Luciana Salete Buriol, Luciano Paschoal Gaspary, Marinho P. Barcellos |
| 2013 | On the reconfiguration of software connectors. | Nuno Oliveira, Lus Soares Barbosa |
| 2013 | Integrating memory management with a file system on a non-volatile main memory system. | Shuichi Oikawa |
| 2013 | Improving transaction abort rates without compromising throughput through judicious scheduling. | Ana Nunes Alonso, Jos Pereira |
| 2013 | A model-based framework for flexible safety-critical software development: a design study. | Jesper Pedersen Notander, Per Runeson, Martin Hst |
| 2013 | isBF: scalable in-packet bloom filter based multicast. | Ilya Nikolaevskiy, Andrey Lukyanenko, Tatiana Polishchuk, Valentin Polishchuk, Andrei V. Gurtov |
| 2013 | Dynamic virtual arc consistency. | Hiep Nguyen, Thomas Schiex, Christian Bessiere |
| 2013 | Cross-lattice behavior of general ACO folding for proteins in the HP model. | Mimma Nardelli, Luciano Tedesco, Alessio Bechini |
| 2013 | Towards solving an obstacle problem by the cooperation of UAVs and UGVs. | Shigeo Nakamura, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga |
| 2013 | ABOI: a novel strategy to mitigate the blocking due to outdated information in OCS/OBS network. | Igo Moura, Felipe Mazullo, Jos Maranho Neto, Andr Soares |
| 2013 | Comparing relational and non-relational algorithms for clustering propositional data. | Robson Motta, Alneu de Andrade Lopes, Bruno M. Nogueira, Solange Oliveira Rezende, Alpio Mrio Jorge, Maria Cristina Ferreira de Oliveira |
| 2013 | An interactive extension mechanism for reusing verified programs. | Sosuke Moriguchi, Takuo Watanabe |
| 2013 | Process-aware web programming with Jolie. | Fabrizio Montesi |
| 2013 | Towards data-aware constraints in declare. | Marco Montali, Federico Chesani, Paola Mello, Fabrizio Maria Maggi |
| 2013 | Ontology acquisition from web service descriptions. | Shahab Mokarizadeh, Peep Kngas, Mihhail Matskin |
| 2013 | Enhancing social matrix factorization with privacy. | Shahab Mokarizadeh, Nima Dokoohaki, Mihhail Matskin, Ramona Bunea |
| 2013 | Rank prediction for semantically annotated resources. | Pasquale Minervini, Nicola Fanizzi, Claudia d'Amato, Floriana Esposito |
| 2013 | A model driven methodology for enabling autonomic reconfiguration of service oriented architecture. | Emna Mezghani, Riadh Ben Halima, Ismael Bouassida Rodriguez, Khalil Drira |