| 2013 | Real time autonomous navigation and obstacle avoidance using a semi-global stereo method. | Caio Csar Teodoro Mendes, Denis Fernando Wolf |
| 2013 | Automatic generation of evolutionary operators: a study with mutation strategies for the differential evolution. | Vincius Veloso de Melo, Grazieli Luiza Costa Carosio |
| 2013 | A conceptual approach to gene expression analysis enhanced by visual analytics. | Cssio A. Melo, Marie-Aude Aufaure, Constantinos Orphanides, Simon Andrews, Kenneth McLeod, Albert Burger |
| 2013 | A scalable communication infrastructure for smart grid applications using multicast over public networks. | Sebastian Meiling, Till Steinbach, Thomas C. Schmidt, Matthias Whlisch |
| 2013 | Selecting among alternatives using dependencies: an NFR approach. | Rutvij Mehta, Toms Ruiz-Lpez, Lawrence Chung, Manuel Noguera |
| 2013 | A study of COTS integration projects: product characteristics, organization, and life cycle models. | Katerina Megas, Gabriella Belli, William B. Frakes, Julin Urbano, Reghu Anguswamy |
| 2013 | Out-of-bag discriminative graph mining. | Andreas Maunz, David Vorgrimmler, Christoph Helma |
| 2013 | Designing a 3D widget library for WebGL enabled browsers. | Anna-Liisa Mattila, Tommi Mikkonen |
| 2013 | Operating system reliability from the quality of experience viewpoint: an exploratory study. | Rivalino Matias Jr., Geycy Dyany Oliveira, Lucio Borges de Araujo |
| 2013 | Stheno, a real-time fault-tolerant P | Rolando Martins, Lus M. B. Lopes, Fernando M. A. Silva, Priya Narasimhan |
| 2013 | Verifying multicast-based security protocols using the inductive method. | Jean Everson Martina, Lawrence C. Paulson |
| 2013 | A quantitative approach for evaluating software maintenance services. | Humberto Marques-Neto, Gladston J. Aparecido, Marco Tlio Valente |
| 2013 | Reliable supervisory coordination of stochastic communicating processes with data. | Jasen Markovski |
| 2013 | Probabilistic embedding: experiments with tuple-based probabilistic languages. | Stefano Mariani, Andrea Omicini |
| 2013 | gSVD++: supporting implicit feedback on recommender systems with metadata awareness. | Marcelo Garcia Manzato |
| 2013 | Improved text annotation with Wikipedia entities. | Christos Makris, Yannis Plegas, Evangelos Theodoridis |
| 2013 | Untitled record | A. K. M. Jahangir Alam Majumder, Farzana Rahman, Ishmat Zerin, William Joseph Ebel Jr., Sheikh Iqbal Ahamed |
| 2013 | Reliable scalable symbolic computation: the design of SymGridPar2. | Patrick Maier, Robert J. Stewart, Philip W. Trinder |
| 2013 | LOCCAM - loosely coupled context acquisition middleware. | Marcio E. F. Maia, Rmulo Gadelha, Andr Fonteles, Benedito J. A. Neto, Windson Viana, Rossana M. C. Andrade |
| 2013 | Sensor-field modeling based on in-network data prediction: an efficient strategy for answering complex queries in wireless sensor networks. | Jos Everardo Bessa Maia, Angelo Brayner |
| 2013 | Adaptive monitoring of web-based applications: a performance study. | Joo Paulo Magalhes, Lus Moura Silva |
| 2013 | Gesture unit segmentation using support vector machines: segmenting gestures from rest positions. | Renata C. B. Madeo, Clodoaldo Ap. M. Lima, Sarajane Marques Peres |
| 2013 | WSCCT: a tool for WS-BPEL compositions conformance testing. | Afef Jmal Malej, Moez Krichen, Mohamed Jmaiel |
| 2013 | Extending the web to support personal network services. | John Lyle, Claes Nilsson, Anders Isberg, Shamal Faily |
| 2013 | Concurrent typed intermediate language. | L. Miguel Loureno, Joo Costa Seco, Francisco Martins |