| 2025 | SMC | To lie or not to lie... in negotiations under egalitarian social welfare. | Jonathan Carrero, Aitor Godoy, Ismael Rodrguez, Fernando Rubio |
| 2024 | SMC | Learning Circuit Complexity of Boolean Functions. | Daniel Loscos, Narciso Mart-Oliet, Ismael Rodrguez, Jorge Villarrubia |
| 2023 | IROS | Efficient and Feasible Robotic Assembly Sequence Planning via Graph Representation Learning. | Matan Atad, Jianxiang Feng, Ismael Rodrguez, Maximilian Durner, Rudolph Triebel |
| 2023 | SMC | Majority Problems: Formal Study and Practical Resolution. | Aitor Godoy, Ismael Rodrguez, Fernando Rubio |
| 2022 | CEC | Avoiding strategic behaviors in the egalitarian social welfare under public resources and non-additive utilities. | Jonathan Carrero, Ismael Rodrguez, Fernando Rubio |
| 2022 | CEC | On the hardness of finding good pacts. | Aitor Godoy, Ismael Rodrguez, Fernando Rubio |
| 2022 | SMC | A tool to certify dynamic benchmarks. | Jonathan Carrero, Ismael Rodrguez, Fernando Rubio |
| 2020 | SMC | Measuring the benefits of lying in MARA under egalitarian social welfare. | Jonathan Carrero, Ismael Rodrguez, Fernando Rubio |
| 2019 | IWANN | The Problems of Selecting Problems. | Alberto de la Encina, Natalia Lpez, Ismael Rodrguez, Fernando Rubio |
| 2019 | IWANN | Towards Applying River Formation Dynamics in Continuous Optimization Problems. | Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2019 | SMC | A Cooperative Co-evolution based Scalable Framework for Solving Large-Scale Global optimization Problems. | Ajeyo Dey, Satyabrata Dash, Likhita Tumati, Saumitra Sharma, Nikhil Megharajani, Meenali Janveja, Ismael Rodrguez, Gaurav Trivedi |
| 2017 | IWANN | A Parallel Swarm Library Based on Functional Programming. | Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodrguez |
| 2016 | CEC | Automatic media planning: Optimal advertisement placement problems. | Ismael Rodrguez, Fernando Rubio, Pablo Rabanal |
| 2016 | ICCS | Assessing Metaheuristics by Means of Random Benchmarks. | Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2016 | SIGCOMM | Improving performance of multiple-level cache systems. | Ismael Rodrguez, Andrs Ferragut, Fernando Paganini |
| 2016 | SIGMETRICS | Optimizing TTL Caches under Heavy-Tailed Demands. | Andrs Ferragut, Ismael Rodrguez, Fernando Paganini |
| 2015 | GECCO | On the Uselessness of Finite Benchmarks to Assess Evolutionaryand Swarm Methods. | Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2015 | ICCS | A Formal Method for Parallel Genetic Algorithms | Natalia Lpez, Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2013 | ICCS | Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment. | Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodrguez |
| 2013 | SAC | Using polynomial reductions to test the suitability of metaheuristics for solving NP-complete problems. | Pablo Rabanal, Ismael Rodrguez |
| 2011 | ICWS | DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. | Pablo Rabanal, Jos Antonio Mateo, Ismael Rodrguez, Gregorio Daz |
| 2011 | IWANN | A Preliminary General Testing Method Based on Genetic Algorithms. | Luis M. Alonso, Pablo Rabanal, Ismael Rodrguez |
| 2009 | CONCUR | A General Testability Theory. | Ismael Rodrguez |
| 2009 | FORTE | Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. | Gregorio Daz, Ismael Rodrguez |
| 2009 | ICTAC | A Formal Approach to Heuristically Test Restorable Systems. | Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2009 | IWANN | Testing Restorable Systems by Using RFD. | Pablo Rabanal, Ismael Rodrguez |
| 2009 | IWANN | Applying Evolutionary Computation Methods to Formal Testing and Model Checking. | Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2008 | ICA3PP | A Debugger for Parallel Haskell Dialects. | Alberto de la Encina, Ismael Rodrguez, Fernando Rubio |
| 2008 | ICNC | Solving Dynamic TSP by Using River Formation Dynamics. | Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2008 | ICST | Formally comparing user and implementer model-based testing methods. | Csar Andrs, Luis Llana, Ismael Rodrguez |
| 2008 | PPSN | Formally Testing Liveness by Means of Compression Rates. | Csar Andrs, Ismael Rodrguez, Fernando Rubio |
| 2007 | ATVA | A Brief Introduction to | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2007 | ATVA | A Formal Methodology to Test Complex Heterogeneous Systems. | Ismael Rodrguez, Manuel Nez |
| 2007 | TASE | Generation of optimal finite test suites for timed systems. | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2007 | UC | Using River Formation Dynamics to Design Heuristic Algorithms. | Pablo Rabanal, Ismael Rodrguez, Fernando Rubio |
| 2006 | FORTE | Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. | Luis Fernando Llana Daz, Manuel Nez, Ismael Rodrguez |
| 2006 | FORTE | Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. | Mercedes G. Merayo, Manuel Nez, Ismael Rodrguez |
| 2005 | SAC | Implementing private Vickrey auctions. | Ismael Rodrguez, Natalia Lpez |
| 2004 | AIMSA | A Tutoring System Supporting Experimentation with Virtual Macroeconomic Environments. | Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2004 | FORTE | Formal Specification of Symbolic-Probabilistic Systems. | Natalia Lpez, Manuel Nez, Ismael Rodrguez |
| 2004 | FORTE | Testing of Autonomous Agents Described as Utility State Machines. | Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2004 | FORTE | Specification of Autonomous Agents in E-commerce Systems. | Ismael Rodrguez, Manuel Nez, Fernando Rubio |
| 2004 | SAC | Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2004 | SAC | Formal specification of autonomous commerce agents. | Ismael Rodrguez |
| 2003 | FORTE | Towards Testing Stochastic Timed Systems. | Manuel Nez, Ismael Rodrguez |
| 2003 | ICCS | Introducing CEES: Complex Economic Environments Simulator. | Ismael Rodrguez, Manuel Nez |
| 2003 | ICCS | A Parallel Framework for Computational Science. | Fernando Rubio, Ismael Rodrguez |
| 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 | FORTE | Encoding PAMR into (Timed) EFSMs. | Manuel Nez, Ismael Rodrguez |
| 2002 | ITS | Including Malicious Agents into a Collaborative Learning Environment. | Natalia Lpez, Manuel Nez, Ismael Rodrguez, Fernando Rubio |
| 2001 | FORTE | PAMR: A Process Algebra for the Management of Resources in Concurrent Systems. | Manuel Nez, Ismael Rodrguez |