| 2019 | IWANN | The Problems of Selecting Problems. | Alberto de la Encina, Natalia Lpez, Ismael Rodrguez, Fernando Rubio |
| 2019 | SMC | Exporting Rain-Fall optimization concepts to Artificial Bee Colony. | Alberto de la Encina, Natalia Lpez, Fernando Rubio |
| 2015 | ICCS | A Formal Method for Parallel Genetic Algorithms | Natalia Lpez, Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2005 | ICTAC | Weak Stochastic Bisimulation for Non-markovian Processes. | Natalia Lpez, Manuel Nez |
| 2005 | SAC | Implementing private Vickrey auctions. | Ismael Rodrguez, Natalia Lpez |
| 2004 | FORTE | Formal Specification of Symbolic-Probabilistic Systems. | Natalia Lpez, Manuel Nez, Ismael Rodrguez |
| 2004 | SAC | Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2003 | SAC | A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2002 | AIMSA | WHAT: Web-Based Haskell Adaptive Tutor. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2002 | IFM | Stochastic Process Algebras Meet Eden. | Natalia Lpez, Manuel Nez, Fernando Rubio |
| 2002 | ITS | Including Malicious Agents into a Collaborative Learning Environment. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2001 | CONCUR | A Testing Theory for Generally Distributed Stochastic Processes. | Natalia Lpez, Manuel Nez |
| 1999 | FORTE | Global Timed Bisimulation: An Introduction. | David de Frutos-Escrig, Natalia Lpez, Manuel Nez |