Natalia López

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 5

Top Topics

Problems Involving

Artificial Bee Colony

Introductory Programming

Top Venues

Publications

María García, Natalia López, Ismael Rodríguez
A full process algebraic representation of Ant Colony Optimization. Inf. Sci. 658 (2024)
Bruno Paucar, Giovanny Chunga, Natalia López, Clotario Tapia, Miguel Realpe
Connecting CS1 with Student's Careers Through Multidisciplinary Projects. Case of Study: Material Selection Following the Ashby Methodology. ICAI (2019)
Alberto de la Encina, Natalia López, Ismael Rodríguez, Fernando Rubio
The Problems of Selecting Problems. IWANN (2) (2019)
Alberto de la Encina, Natalia López, Fernando Rubio
Exporting Rain-Fall optimization concepts to Artificial Bee Colony. SMC (2019)
Valentina Chaparro, Alejandro Gomez, Alejandro Salgado, Olga Lucía Quintero, Natalia López, Luisa F. Villa
Emotion Recognition from EEG and Facial Expressions: a Multimodal Approach. EMBC (2018)
Natalia López, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
. ICCS (2015)
Joaquim Radua, Santiago Bullich, Natalia López, Ana M. Catafau
Absence of reference region: Is there a way to improve neuroreceptor occupancy quantification? NeuroImage 52 (Supplement-1) (2010)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López
Formalizing Interchange Competences. Int. J. Cogn. Informatics Nat. Intell. 3 (4) (2009)
Natalia López, Manuel Núñez, Fernando L. Pelayo
A Comparative Study of STOPA and RTPA. Trans. Comput. Sci. 2 (2008)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López
A Formal Environment for Describing Negotiation Capabilities. IEEE ICCI (2007)
Natalia López, Manuel Núñez, Fernando L. Pelayo
A Formal Specification of the Memorization Process. Int. J. Cogn. Informatics Nat. Intell. 1 (4) (2007)
Natalia López, Manuel Núñez, Ismael Rodríguez
SPAMR: Extending PAMR with stochastic time. EPEW (2007)
Natalia López, Ismael Rodríguez, Fernando Rubio
Defining and testing metaadaptable agents. IEEE Trans. Syst. Man Cybern. Syst. 36 (2) (2006)
Natalia López, Manuel Núñez, Ismael Rodríguez
Assessing the Expressivity of Formal Specification Languages. AMAST (2006)
Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Market-Based Adaptive Discussion Forums. SITIS (2006)
Ismael Rodríguez, Natalia López
Analyzing the Privacy of a Vickrey Auction Mechanism. Int. J. E Bus. Res. 2 (3) (2006)
Natalia López, Manuel Núñez, Ismael Rodríguez
Specification, testing and implementation relations for symbolic-probabilistic systems. Theor. Comput. Sci. 353 (1-3) (2006)
Natalia López, Manuel Núñez
Weak Stochastic Bisimulation for Non-markovian Processes. ICTAC (2005)
Ismael Rodríguez, Natalia López
Implementing private Vickrey auctions. SAC (2005)
Fernando L. Pelayo, Manuel Núñez, Natalia López
Specifying the memorization process with STOPA. IEEE ICCI (2005)
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. SAC (2004)
Natalia López, Manuel Núñez, Fernando Rubio
Predicting performance in the presence of stochastic information. Comput. Syst. Sci. Eng. 19 (6) (2004)
Natalia López, Manuel Núñez, Fernando L. Pelayo
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. IEEE ICCI (2004)
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
Improving privacy in Vickrey auctions. SIGecom Exch. 5 (1) (2004)
Natalia López, Manuel Núñez, Ismael Rodríguez
Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops (2004)
Natalia López, Manuel Núñez
An Overview of Probabilistic Process Algebras and their Equivalences. Validation of Stochastic Systems (2004)
Natalia López, Manuel Núñez, Fernando Rubio
An integrated framework for the performance analysis of asynchronous communicating stochastic processes. Formal Aspects Comput. 16 (3) (2004)
Natalia López, Manuel Núñez, Ismael Rodríguez
Testing of Symbolic-Probabilistic Systems. FATES (2004)
Natalia López, Ismael Rodríguez, Fernando Rubio
Defining Meta-Adaptable Living Agents. IEEE ICCI (2003)
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. SAC (2003)
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
WHAT: Web-Based Haskell Adaptive Tutor. AIMSA (2002)
Natalia López, Manuel Núñez, Fernando Rubio
Stochastic Process Algebras Meet Eden. IFM (2002)
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. IICS (2002)
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
Introducing the Golden Section to Computer Science. IEEE ICCI (2002)
Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
Including Malicious Agents into a Collaborative Learning Environment. Intelligent Tutoring Systems (2002)
Natalia López, Manuel Núñez
A Testing Theory for Generally Distributed Stochastic Processes. CONCUR (2001)
Natalia López, Manuel Núñez
NMSPA: A Non-Markovian Model for Stochastic Processes. ICDCS Workshop on Distributed System Validation and Verification (2000)
David de Frutos-Escrig, Natalia López, Manuel Núñez
Global Timed Bisimulation: An Introduction. FORTE (1999)