| 2012 | Towards the visualization of software systems as 3D forests: the CodeTrees environment. | Ugo Erra, Giuseppe Scanniello |
| 2012 | Yet another algorithm for generalized Vorono Diagrams. | Ioannis Z. Emiris, Angelos Mantzaflaris, Bernard Mourrain |
| 2012 | Artificial Immune Systems: Models, Applications, and challenges. | Samir A. Mohamed Elsayed, Reda A. Ammar, Sanguthevar Rajasekaran |
| 2012 | STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs. | Mohammed El-Shambakey, Binoy Ravindran |
| 2012 | A pilot study for mood-based classification of TV programmes. | Jana Eggink, Penelope Allen, Denise Bland |
| 2012 | Predicting RDF triples in incomplete knowledge bases with tensor factorization. | Lucas Drumond, Steffen Rendle, Lars Schmidt-Thieme |
| 2012 | DAG3: a tool for design and analysis of applications for multicore architectures. | Mauro Luigi Drago, Judith Bishop |
| 2012 | Timeout-based adaptive consensus: improving performance through adaptation. | Monica Dixit, Henrique Moniz, Antnio Casimiro |
| 2012 | Area diversity in computer science collaborations. | Pramod Divakarmurthy, Ronaldo Menezes |
| 2012 | Linked education: interlinking educational resources and the Web of data. | Stefan Dietze, Hong Qing Yu, Daniela Giordano, Eleni Kaldoudi, Nikolas Dovrolis, Davide Taibi |
| 2012 | Sorting genomes using almost-symmetric inversions. | Zanoni Dias, Ulisses Dias, Lenwood S. Heath, Joo C. Setubal |
| 2012 | Mining usage patterns from a repository of scientific workflows. | Claudia Diamantini, Domenico Potena, Emanuele Storti |
| 2012 | An analysis of anti-micro-patterns effects on fault-proneness in large Java systems. | Giuseppe Destefanis, Roberto Tonelli, Giulio Concas, Michele Marchesi |
| 2012 | Towards a passive DNS monitoring system. | Luca Deri, Lorenzo Luconi Trombacchi, Maurizio Martinelli, Daniele Vannozzi |
| 2012 | Model transformations for Business-IT alignment: from collaborative business process to SoaML service model. | Andrea Delgado, Francisco Ruiz, Ignacio Garca Rodrguez de Guzmn, Mario Piattini |
| 2012 | Analyzing incomplete biological pathways using network motifs. | Maya El Dayeh, Michael Hahsler |
| 2012 | Integrity of electronic voting systems: fallacious use of cryptography. | Seda Davtyan, Aggelos Kiayias, Laurent Michel, Alexander Russell, Alexander A. Shvartsman |
| 2012 | msocket: multiple stack support for the berkeley socket API. | Renzo Davoli, Michael Goldweber |
| 2012 | Precise shape analysis using field sensitivity. | Sandeep Dasgupta, Amey Karkare |
| 2012 | An animation framework for improving the comprehension of TinyOS programs. | Sravanthi Dandamudi, Sally K. Wahba, Jason O. Hallstrom |
| 2012 | A type system for checking specialization of packages in object-oriented programming. | Ferruccio Damiani, Arnd Poetzsch-Heffter, Yannick Welsch |
| 2012 | Rushes video summarization based on spatio-temporal features. | Tiago Oliveira Cunha, Flvio G. H. de Souza, Arnaldo de Albuquerque Arajo, Gisele L. Pappa |
| 2012 | From relational ClassSheets to UML+OCL. | Jcome Cunha, Joo Paulo Fernandes, Joo Saraiva |
| 2012 | Indistinguishable regions in geographic privacy. | Jorge Cullar, Martn Ochoa, Ruben Rios |
| 2012 | Verification conditions for single-assignment programs. | Daniela Carneiro da Cruz, Maria Joo Frade, Jorge Sousa Pinto |