Natalia López

	2009
30		Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López: Formalizing Interchange Competences. IJCINI 3(4): 54-72 (2009)
	2008
29		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
28		Natalia López, Manuel Núñez, Ismael Rodríguez: SPAMR: Extending PAMR with stochastic time. EPEW 2007: 63-79
27		Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López: A Formal Environment for Describing Negotiation Capabilities. IEEE ICCI 2007: 222-231
26		Natalia López, Manuel Núñez, Fernando L. Pelayo: A Formal Specification of the Memorization Process. IJCINI 1(4): 47-60 (2007)
	2006
25		Natalia López, Manuel Núñez, Ismael Rodríguez: Assessing the Expressivity of Formal Specification Languages. AMAST 2006: 220-234
24		Natalia López, Manuel Núñez, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio: Market-Based Adaptive Discussion Forums. SITIS 2006: 149-160
23		Ismael Rodríguez, Natalia López: Analyzing the Privacy of a Vickrey Auction Mechanism. IJEBR 2(3): 17-27 (2006)
22		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		Natalia López, Manuel Núñez: Weak Stochastic Bisimulation for Non-markovian Processes. ICTAC 2005: 454-468
20		Fernando L. Pelayo, Manuel Núñez, Natalia López: Specifying the memorization process with STOPA. IEEE ICCI 2005: 238-247
19		Ismael Rodríguez, Natalia López: Implementing private Vickrey auctions. SAC 2005: 796-800
	2004
18		Natalia López, Manuel Núñez, Ismael Rodríguez: Testing of Symbolic-Probabilistic Systems. FATES 2004: 49-63
17		Natalia López, Manuel Núñez, Ismael Rodríguez: Formal Specification of Symbolic-Probabilistic Systems. FORTE Workshops 2004: 114-127
16		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		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		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		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		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		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		Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: WHAT: Web-Based Haskell Adaptive Tutor. AIMSA 2002: 71-80
7		Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio: Introducing the Golden Section to Computer Science. IEEE ICCI 2002: 203-212
6		Natalia López, Manuel Núñez, Fernando Rubio: Stochastic Process Algebras Meet Eden. IFM 2002: 29-48
5		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		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		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

Coauthor Index

1	Alberto de la Encina	[27] [30]
2	David de Frutos-Escrig	[1]
3	Mercedes Hidalgo-Herrero	[27] [30]
4	Manuel Núñez	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [18] [20] [21] [22] [24] [25] [26] [28] [29]
5	Fernando López Pelayo (Fernando L. Pelayo)	[16] [20] [26] [29]
6	Pablo Rabanal	[24]
7	Ismael Rodríguez	[4] [5] [7] [8] [9] [10] [11] [15] [17] [18] [19] [22] [23] [24] [25] [28]
8	Fernando Rubio	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [24]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page