Seguir
Natalia López
Natalia López
Dirección de correo verificada de ucm.es
Título
Citado por
Citado por
Año
MDR1 polymorphisms and response to azathioprine therapy in patients with Crohn's disease
JL Mendoza, E Urcelay, R Lana, CM Martín, N López, LG Guijarro, ...
Inflammatory bowel diseases 13 (5), 585-590, 2007
442007
An overview of probabilistic process algebras and their equivalences
N López, M Núnez
Validation of Stochastic Systems: A Guide to Current Research, 89-123, 2004
422004
An overview of probabilistic process algebras and their equivalences
N López, M Núnez
Validation of Stochastic Systems: A Guide to Current Research, 89-123, 2004
422004
Specification, testing and implementation relations for symbolic-probabilistic systems
N López, M Núñez, I Rodríguez
Theoretical Computer Science 353 (1-3), 228-248, 2006
362006
A testing theory for generally distributed stochastic processes
N López, M Núnez
CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001
362001
A formal framework for e-barter based on microeconomic theory and process algebras
N López, M Núñez, I Rodríguez, F Rubio
Innovative Internet Computing Systems: Second International Workshop, IICS …, 2002
262002
A formal framework for e-barter based on microeconomic theory and process algebras
N López, M Núñez, I Rodríguez, F Rubio
Innovative Internet Computing Systems: Second International Workshop, IICS …, 2002
262002
A multi-agent system for e-barter including transaction and shipping costs
N Lopez, M Nunez, I Rodriguez, F Rubio
Proceedings of the 2003 ACM symposium on Applied computing, 587-594, 2003
232003
Including malicious agents into a collaborative learning environment
N López, M Núnez, I Rodríguez, F Rubio
Intelligent Tutoring Systems: 6th International Conference, ITS 2002 …, 2002
232002
An integrated framework for the performance analysis of asynchronous communicating stochastic processes
N López, M Núñez, F Rubio
Formal Aspects of Computing 16 (3), 238-262, 2004
202004
NMSPA: A Non-Markovian Model for Stochastic Processes.
N López, M Núñez
ICDCS Workshop on Distributed System Validation and Verification, E33-E40, 2000
192000
Global timed bisimulation: An introduction
D de Frutos-Escrig, N López, M Núnez
Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII …, 1999
191999
Introducing the golden section to computer science
N López, M Núñez, I Rodríguez, F Rubio
Proceedings first IEEE international conference on cognitive informatics …, 2002
162002
What: Web-Based Haskell Adaptive Tutor
N López, M Núnez, I Rodríguez, F Rubio
Artificial Intelligence: Methodology, Systems, and Applications: 10th …, 2002
152002
Programación en Pascal
S Leestma, LR Nyhoff, N López, F Rubio, CM Segura, S Dormido
Prentice Hall, 1999
121999
Weak stochastic bisimulation for non-Markovian processes
N López, M Núnez
ICTAC, 454-468, 2005
112005
Stopa: A stochastic process algebra for the formal representation of cognitive systems
N López, M Núnez, FL Pelayo
Proceedings of the Third IEEE International Conference on Cognitive …, 2004
112004
Stochastic process algebras meet Eden
N López, M Núnez, F Rubio
Integrated Formal Methods: Third International Conference, IFM 2002 Turku …, 2002
92002
Improving privacy in Vickrey auctions
N López, M Núñez, I Rodríguez, F Rubio
ACM SIGEcom Exchanges 5 (1), 1-12, 2004
82004
Núnez: An Overview of Probabilistic Process Algebras and their Equivalences
N López
Validation of Stochastic Systems, LNCS 2925, 0
8
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20