Natalia López

42 papers B 4C 2Misc 5Journal 15Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
A full process algebraic representation of Ant Colony Optimization.
CoRR
María García, Natalia López, Ismael Rodríguez
2025 J jnl
Complexity and resolution of spatio-temporal reasonings for criminology with greedy and evolutionary algorithms.
Expert Syst. Appl.
Víctor Fernández, Natalia López, Ismael Rodríguez
2025 J jnl
Heuristic optimization algorithms for advertising campaigns.
Expert Syst. Appl.
Álvaro Seco, Natalia López, Fernando Rubio
2025 J jnl
La Leaderboard: A Large Language Model Leaderboard for Spanish Varieties and Languages of Spain and Latin America.
CoRR
María Grandury, Javier Aula-Blasco, Júlia Falcão, Clémentine Fourrier, Miguel González Saiz, Gonzalo Martínez, Gonzalo Santamaría, Rodrigo Agerri, Nuria Aldama, Luis Chiruzzo, Javier Conde, Helena Gómez, Marta Guerrero Nieto, Guido Ivetta, Natalia López, Flor Miriam Plaza del Arco, María Teresa Martín-Valdivia, Helena Montoro, Carmen Muñoz Sanz, Pedro Reviriego, Leire Rosado, Alejandro Vaca, María Estrella Vallecillo Rodríguez, Jorge Vallego, Irune Zubiaga
2024 J jnl
A full process algebraic representation of Ant Colony Optimization.
Inf. Sci.
María García, Natalia López, Ismael Rodríguez
2019 — conf
Connecting CS1 with Student's Careers Through Multidisciplinary Projects. Case of Study: Material Selection Following the Ashby Methodology.
ICAI
Bruno Paucar, Giovanny Chunga, Natalia López, Clotario Tapia, Miguel Realpe
2019 B conf
Exporting Rain-Fall optimization concepts to Artificial Bee Colony.
SMC
Alberto de la Encina, Natalia López, Fernando Rubio
2019 — conf
The Problems of Selecting Problems.
IWANN (2)
Alberto de la Encina, Natalia López, Ismael Rodríguez, Fernando Rubio
2018 — conf
Emotion Recognition from EEG and Facial Expressions: a Multimodal Approach.
EMBC
Valentina Chaparro, Alejandro Gomez, Alejandro Salgado, Olga Lucía Quintero, Natalia López, Luisa F. Villa
2015 Misc conf
A Formal Method for Parallel Genetic Algorithms
ICCS
Natalia López, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2010 J jnl
Absence of reference region: Is there a way to improve neuroreceptor occupancy quantification?
NeuroImage
Joaquim Radua, Santiago Bullich, Natalia López, Ana M. Catafau
2009 J jnl
Formalizing Interchange Competences.
Int. J. Cogn. Informatics Nat. Intell.
Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López
2008 J jnl
A Comparative Study of STOPA and RTPA.
Trans. Comput. Sci.
Natalia López, Manuel Núñez, Fernando L. Pelayo
2007 — conf
A Formal Environment for Describing Negotiation Capabilities.
IEEE ICCI
Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López
2007 J jnl
A Formal Specification of the Memorization Process.
Int. J. Cogn. Informatics Nat. Intell.
Natalia López, Manuel Núñez, Fernando L. Pelayo
2007 — conf
SPAMR: Extending PAMR with stochastic time.
EPEW
Natalia López, Manuel Núñez, Ismael Rodríguez
2006 J jnl
Analyzing the Privacy of a Vickrey Auction Mechanism.
Int. J. E Bus. Res.
Ismael Rodríguez, Natalia López
2006 — conf
Assessing the Expressivity of Formal Specification Languages.
AMAST
Natalia López, Manuel Núñez, Ismael Rodríguez
2006 J jnl
Defining and testing metaadaptable agents.
IEEE Trans. Syst. Man Cybern. Syst.
Natalia López, Ismael Rodríguez, Fernando Rubio
2006 — conf
Market-Based Adaptive Discussion Forums.
SITIS
Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
2006 J jnl
Specification, testing and implementation relations for symbolic-probabilistic systems.
Theor. Comput. Sci.
Natalia López, Manuel Núñez, Ismael Rodríguez
2005 Misc conf
Implementing private Vickrey auctions.
SAC
Ismael Rodríguez, Natalia López
2005 — conf
Specifying the memorization process with STOPA.
IEEE ICCI
Fernando L. Pelayo, Manuel Núñez, Natalia López
2005 C conf
Weak Stochastic Bisimulation for Non-markovian Processes.
ICTAC
Natalia López, Manuel Núñez
2004 — conf
An Overview of Probabilistic Process Algebras and their Equivalences.
Validation of Stochastic Systems
Natalia López, Manuel Núñez
2004 J jnl
An integrated framework for the performance analysis of asynchronous communicating stochastic processes.
Formal Aspects Comput.
Natalia López, Manuel Núñez, Fernando Rubio
2004 Misc conf
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms.
SAC
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004 — conf
Formal Specification of Symbolic-Probabilistic Systems.
FORTE Workshops
Natalia López, Manuel Núñez, Ismael Rodríguez
2004 J jnl
Improving privacy in Vickrey auctions.
SIGecom Exch.
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2004 J jnl
Predicting performance in the presence of stochastic information.
Comput. Syst. Sci. Eng.
Natalia López, Manuel Núñez, Fernando Rubio
2004 — conf
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.
IEEE ICCI
Natalia López, Manuel Núñez, Fernando L. Pelayo
2004 — conf
Testing of Symbolic-Probabilistic Systems.
FATES
Natalia López, Manuel Núñez, Ismael Rodríguez
2003 Misc conf
A Multi-Agent System for E-Barter Including Transaction and Shipping Costs.
SAC
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2003 — conf
Defining Meta-Adaptable Living Agents.
IEEE ICCI
Natalia López, Ismael Rodríguez, Fernando Rubio
2002 — conf
A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras.
IICS
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002 B conf
Including Malicious Agents into a Collaborative Learning Environment.
Intelligent Tutoring Systems
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002 — conf
Introducing the Golden Section to Computer Science.
IEEE ICCI
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2002 B conf
Stochastic Process Algebras Meet Eden.
IFM
Natalia López, Manuel Núñez, Fernando Rubio
2002 Misc conf
WHAT: Web-Based Haskell Adaptive Tutor.
AIMSA
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
2001 B conf
A Testing Theory for Generally Distributed Stochastic Processes.
CONCUR
Natalia López, Manuel Núñez
2000 — conf
NMSPA: A Non-Markovian Model for Stochastic Processes.
ICDCS Workshop on Distributed System Validation and Verification
Natalia López, Manuel Núñez
1999 C conf
Global Timed Bisimulation: An Introduction.
FORTE
David de Frutos-Escrig, Natalia López, Manuel Núñez