| 2013 | Filtering XFD toward interoperability. | Joshua Amavi, Mirian Halfeld Ferrari Alves |
| 2013 | Automatic recognition of design motifs using semantic conditions. | Awny Alnusair, Tian Zhao, Gongjun Yan |
| 2013 | Random rules from data streams. | Ezilda Almeida, Petr Kosina, Joo Gama |
| 2013 | Hyphen: a hybrid protocol for generic overlay construction in P2P environments. | Mouna Allani, Benot Garbinato, Peter R. Pietzuch |
| 2013 | A novel watermarking method for Java programs. | Mohammad Alitavoli, Mahdi Joafshani, Aida Erfanian |
| 2013 | Run-time control flow authentication: an assessment on contemporary x86 platforms. | Erdem Aktas, Kanad Ghose |
| 2013 | A supervised machine learning classification algorithm for research articles. | Leonidas Akritidis, Panayiotis Bozanis |
| 2013 | Discovering influential nodes from trust network. | Sabbir Ahmed, Christie I. Ezeife |
| 2013 | Modeling fundamentals for smart grid enabled ecodistricts. | Murat Ahat, Soufian Ben Amor, Alain Bui |
| 2013 | Communication support at the OS level to enhance design space exploration in multiprocessed embedded systems. | Alexandra Aguiar, Sergio Johann Filho, Felipe G. Magalhaes, Fabiano Hessel |
| 2013 | Hospitality of cloud platforms. | Ashish Agrawal, T. V. Prabhakar |
| 2013 | On the exploitation of process mining for security audits: the process discovery case. | Rafael Accorsi, Thomas Stocker, Gnter Mller |
| 2013 | Towards a private vector space model for confidential documents. | Daniel Abril, Guillermo Navarro-Arribas, Vicen Torra |
| 2013 | A publication-subscription interaction schema for desktop grid computing. | Leila Abidi, Jean-Christophe Dubacq, Christophe Crin, Mohamed Jemni |
| 2013 | Analysis of client/server interactions in a reservation-based system. | Luca Abeni, Nicola Manica |
| 2013 | Quantified extreme scenario based design approach. | Asmaa Abdallah, Riham Hassan, Mostafa Abdel Azim |
| 2013 | Advanced modularity for building SPL feature models: a model-driven approach. | Joo Arajo, Miguel Goulo, Ana Moreira, Ins Simo, Vasco Amaral, Elisa L. A. Baniassad |
| 2012 | Symbolic execution of UML-RT State Machines. | Karolina Zurowska, Jrgen Dingel |
| 2012 | RevGlyph: a technique for reverting anaglyph stereoscopic videos. | Matheus Ricardo U. Zingarelli, Leonardo Antonio de Andrade, Rudinei Goularte |
| 2012 | Discovering global and local bursts in a stream of news. | Max Zimmermann, Irene Ntoutsi, Zaigham Faraz Siddiqui, Myra Spiliopoulou, Hans-Peter Kriegel |
| 2012 | IDE-based real-time focused search for near-miss clones. | Minhaz F. Zibran, Chanchal K. Roy |
| 2012 | Affinity-aware DMA buffer management for reducing off-chip memory access. | Qi Zhong, Xuetao Guan, Tao Huang, Xu Cheng, Keyi Wang |
| 2012 | Can business process modeling bridge the gap between business and information systems? | Liping Zhao, Keletso Letsholo, Erol-Valeriu Chioasca, Sandra de F. Mendes Sampaio, Pedro Sampaio |
| 2012 | Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints. | Ting Zhao, Hoon Hong, Dongming Wang, Philippe Aubry |
| 2012 | An XML-based protocol for improving trust negotiation between Web Services. | Yunxi Zhang, Tanko Ishaya |