Global Timed Bisimulation: An Introduction. - David de Frutos-Escrig; Natalia López; Manuel Núñez 001 (FORTE, 1999)

NMSPA: A Non-Markovian Model for Stochastic Processes. - Natalia López; Manuel Núñez 001 (ICDCS Workshop on Distributed System Validation and Verification, 2000)

A Testing Theory for Generally Distributed Stochastic Processes. - Natalia López; Manuel Núñez 001 (CONCUR, 2001)

Introducing the Golden Section to Computer Science. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2002)

WHAT: Web-Based Haskell Adaptive Tutor. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (AIMSA, 2002)

Stochastic Process Algebras Meet Eden. - Natalia López; Manuel Núñez 001; Fernando Rubio 001 (IFM, 2002)

A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (IICS, 2002)

Including Malicious Agents into a Collaborative Learning Environment. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (Intelligent Tutoring Systems, 2002)

Defining Meta-Adaptable Living Agents. - Natalia López; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2003)

A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (SAC, 2003)

STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. - Natalia López; Manuel Núñez 001; Fernando L. Pelayo (IEEE ICCI, 2004)

Testing of Symbolic-Probabilistic Systems. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (FATES, 2004)

Formal Specification of Symbolic-Probabilistic Systems. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (FORTE Workshops, 2004)

Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (SAC, 2004)

An Overview of Probabilistic Process Algebras and their Equivalences. - Natalia López; Manuel Núñez 001 (Validation of Stochastic Systems, 2004)

Predicting performance in the presence of stochastic information. - Natalia López; Manuel Núñez 001; Fernando Rubio 001 (Comput. Syst. Sci. Eng., 2004)

An integrated framework for the performance analysis of asynchronous communicating stochastic processes. - Natalia López; Manuel Núñez 001; Fernando Rubio 001 (Formal Aspects Comput., 2004)

Improving privacy in Vickrey auctions. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001; Fernando Rubio 001 (SIGecom Exch., 2004)

Specifying the memorization process with STOPA. - Fernando L. Pelayo; Manuel Núñez 001; Natalia López (IEEE ICCI, 2005)

Weak Stochastic Bisimulation for Non-markovian Processes. - Natalia López; Manuel Núñez 001 (ICTAC, 2005)

Implementing private Vickrey auctions. - Ismael Rodríguez 001; Natalia López (SAC, 2005)

Assessing the Expressivity of Formal Specification Languages. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (AMAST, 2006)

Market-Based Adaptive Discussion Forums. - Natalia López; Manuel Núñez 001; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (SITIS, 2006)

Analyzing the Privacy of a Vickrey Auction Mechanism. - Ismael Rodríguez 001; Natalia López (Int. J. E Bus. Res., 2006)

Specification, testing and implementation relations for symbolic-probabilistic systems. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (Theor. Comput. Sci., 2006)

Defining and testing metaadaptable agents. - Natalia López; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE Trans. Syst. Man Cybern. Syst., 2006)

A Formal Environment for Describing Negotiation Capabilities. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Natalia López (IEEE ICCI, 2007)

SPAMR: Extending PAMR with stochastic time. - Natalia López; Manuel Núñez 001; Ismael Rodríguez 001 (EPEW, 2007)

A Formal Specification of the Memorization Process. - Natalia López; Manuel Núñez 001; Fernando L. Pelayo (Int. J. Cogn. Informatics Nat. Intell., 2007)

A Comparative Study of STOPA and RTPA. - Natalia López; Manuel Núñez 001; Fernando L. Pelayo (Trans. Comput. Sci., 2008)

Formalizing Interchange Competences. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Natalia López (Int. J. Cogn. Informatics Nat. Intell., 2009)

Absence of reference region: Is there a way to improve neuroreceptor occupancy quantification? - Joaquim Radua; Santiago Bullich; Natalia López; Ana M. Catafau (NeuroImage, 2010)

A Formal Method for Parallel Genetic Algorithms1. - Natalia López; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (ICCS, 2015)

Emotion Recognition from EEG and Facial Expressions: a Multimodal Approach. - Valentina Chaparro; Alejandro Gomez; Alejandro Salgado; Olga Lucía Quintero; Natalia López; Luisa F. Villa (EMBC, 2018)

Connecting CS1 with Student's Careers Through Multidisciplinary Projects. Case of Study: Material Selection Following the Ashby Methodology. - Bruno Paucar; Giovanny Chunga; Natalia López; Clotario Tapia; Miguel Realpe (ICAI, 2019)

The Problems of Selecting Problems. - Alberto de la Encina; Natalia López; Ismael Rodríguez 001; Fernando Rubio 001 (IWANN (2), 2019)

Exporting Rain-Fall optimization concepts to Artificial Bee Colony. - Alberto de la Encina; Natalia López; Fernando Rubio 001 (SMC, 2019)

A full process algebraic representation of Ant Colony Optimization. - María García; Natalia López; Ismael Rodríguez 001 (Inf. Sci., 2024)

Complexity and resolution of spatio-temporal reasonings for criminology with greedy and evolutionary algorithms. - Víctor Fernández 004; Natalia López; Ismael Rodríguez 001 (Expert Syst. Appl., 2025)

Heuristic optimization algorithms for advertising campaigns. - Álvaro Seco; Natalia López; Fernando Rubio 001 (Expert Syst. Appl., 2025)

La Leaderboard: A Large Language Model Leaderboard for Spanish Varieties and Languages of Spain and Latin America. - María Grandury; Javier Aula-Blasco; Júlia Falcão; Clémentine Fourrier; Miguel González Saiz; Gonzalo Martínez 001; Gonzalo Santamaría; Rodrigo Agerri; Nuria Aldama; Luis Chiruzzo; Javier Conde; Helena Gómez; et al. (CoRR, 2025)