Natalia López
Natalia López
Verified email at
Cited by
Cited by
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
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
A testing theory for generally distributed stochastic processes
N López, M Núnez
International Conference on Concurrency Theory, 321-335, 2001
A formal framework for e-barter based on microeconomic theory and process algebras
N López, M Núñez, I Rodríguez, F Rubio
International Workshop on Innovative Internet Community Systems, 217-228, 2002
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
Including malicious agents into a collaborative learning environment
N López, M Núnez, I Rodríguez, F Rubio
International Conference on Intelligent Tutoring Systems, 51-60, 2002
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
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
Global timed bisimulation: An introduction
D de Frutos-Escrig, N López, M Núnez
International Conference on Protocol Specification, Testing and Verification …, 1999
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
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
Weak stochastic bisimulation for non-Markovian processes
N López, M Núñez
International Colloquium on Theoretical Aspects of Computing, 454-468, 2005
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
Stochastic process algebras meet Eden
N López, M Núnez, F Rubio
International Conference on Integrated Formal Methods, 29-48, 2002
Programación en Pascal
S Leestma, LR Nyhoff, N López, F Rubio, CM Segura, S Dormido
Prentice Hall, 1999
Improving privacy in Vickrey auctions
N López, M Núñez, I Rodriguez, F Rubio
ACM SIGEcom Exchanges 5 (1), 1-12, 2004
An Overview of Probabilistic Process Algebras and their Equivalences
N López, M Núnez
Validation of Stochastic Systems, LNCS 2925, 0
The intracellular intensity of CD3 on aberrant intraepithelial lymphocytes is a prognostic factor of the progression to overt lymphoma in refractory celiac disease type II (Pre …
C García-Hoz, L Crespo, N Lopez, A De Andrés, R Ríos León, A Santón, ...
Digestive Diseases 38 (6), 490-499, 2020
Specifying the memorization process with STOPA
FL Pelayo, M Núnez, N López
Fourth IEEE Conference on Cognitive Informatics, 2005.(ICCI 2005)., 238-247, 2005
A formal specification of the memorization process
N López, M Núñez, FL Pelayo
International Journal of Cognitive Informatics and Natural Intelligence …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20