| 2008 |
|---|
| 27 | EE | Natalia López,
Manuel Núñez,
Fernando L. Pelayo:
A Comparative Study of STOPA and RTPA.
Transactions on Computational Science 2: 224-245 (2008) |
| 2007 |
|---|
| 26 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
SPAMR: Extending PAMR with stochastic time.
EPEW 2007: 63-79 |
| 25 | EE | Natalia López,
Manuel Núñez,
Fernando L. Pelayo:
A Formal Specification of the Memorization Process.
IJCINI 1(4): 47-60 (2007) |
| 2006 |
|---|
| 24 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Assessing the Expressivity of Formal Specification Languages.
AMAST 2006: 220-234 |
| 23 | EE | Natalia López,
Manuel Núñez,
Pablo Rabanal,
Ismael Rodríguez,
Fernando Rubio:
Market-Based Adaptive Discussion Forums.
SITIS 2006: 149-160 |
| 22 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Specification, testing and implementation relations for symbolic-probabilistic systems.
Theor. Comput. Sci. 353(1-3): 228-248 (2006) |
| 2005 |
|---|
| 21 | EE | Natalia López,
Manuel Núñez:
Weak Stochastic Bisimulation for Non-markovian Processes.
ICTAC 2005: 454-468 |
| 20 | EE | Fernando L. Pelayo,
Manuel Núñez,
Natalia López:
Specifying the memorization process with STOPA.
IEEE ICCI 2005: 238-247 |
| 19 | EE | Ismael Rodríguez,
Natalia López:
Implementing private Vickrey auctions.
SAC 2005: 796-800 |
| 2004 |
|---|
| 18 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Testing of Symbolic-Probabilistic Systems.
FATES 2004: 49-63 |
| 17 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez:
Formal Specification of Symbolic-Probabilistic Systems.
FORTE Workshops 2004: 114-127 |
| 16 | EE | Natalia López,
Manuel Núñez,
Fernando L. Pelayo:
STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.
IEEE ICCI 2004: 64-73 |
| 15 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms.
SAC 2004: 952-956 |
| 14 | EE | Natalia López,
Manuel Núñez:
An Overview of Probabilistic Process Algebras and their Equivalences.
Validation of Stochastic Systems 2004: 89-123 |
| 13 | | Natalia López,
Manuel Núñez,
Fernando Rubio:
Predicting performance in the presence of stochastic information.
Comput. Syst. Sci. Eng. 19(6): (2004) |
| 12 | EE | Natalia López,
Manuel Núñez,
Fernando Rubio:
An integrated framework for the performance analysis of asynchronous communicating stochastic processes.
Formal Asp. Comput. 16(3): 238-262 (2004) |
| 11 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Improving privacy in Vickrey auctions.
SIGecom Exchanges 5(1): 1-12 (2004) |
| 2003 |
|---|
| 10 | EE | Natalia López,
Ismael Rodríguez,
Fernando Rubio:
Defining Meta-Adaptable Living Agents.
IEEE ICCI 2003: 161-170 |
| 9 | | 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: 587-594 |
| 2002 |
|---|
| 8 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
WHAT: Web-Based Haskell Adaptive Tutor.
AIMSA 2002: 71-80 |
| 7 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Introducing the Golden Section to Computer Science.
IEEE ICCI 2002: 203-212 |
| 6 | EE | Natalia López,
Manuel Núñez,
Fernando Rubio:
Stochastic Process Algebras Meet Eden.
IFM 2002: 29-48 |
| 5 | EE | 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: 217-228 |
| 4 | EE | Natalia López,
Manuel Núñez,
Ismael Rodríguez,
Fernando Rubio:
Including Malicious Agents into a Collaborative Learning Environment.
Intelligent Tutoring Systems 2002: 51-60 |
| 2001 |
|---|
| 3 | EE | Natalia López,
Manuel Núñez:
A Testing Theory for Generally Distributed Stochastic Processes.
CONCUR 2001: 321-335 |
| 2000 |
|---|
| 2 | | Natalia López,
Manuel Núñez:
NMSPA: A Non-Markovian Model for Stochastic Processes.
ICDCS Workshop on Distributed System Validation and Verification 2000: E33-E40 |
| 1999 |
|---|
| 1 | | David de Frutos-Escrig,
Natalia López,
Manuel Núñez:
Global Timed Bisimulation: An Introduction.
FORTE 1999: 401-416 |
