| 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 | 47 | 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 | 40 | 2006 |
| A testing theory for generally distributed stochastic processes N López, M Núnez International Conference on Concurrency Theory, 321-335, 2001 | 37 | 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 | 27 | 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 | 24 | 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 | 23 | 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 | 22 | 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 | 21 | 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 | 20 | 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 | 17 | 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 | 15 | 2002 |
| Weak stochastic bisimulation for non-Markovian processes N López, M Núñez International Colloquium on Theoretical Aspects of Computing, 454-468, 2005 | 11 | 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 | 11 | 2004 |
| Stochastic process algebras meet Eden N López, M Núnez, F Rubio International Conference on Integrated Formal Methods, 29-48, 2002 | 10 | 2002 |
| Programación en Pascal S Leestma, LR Nyhoff, N López, F Rubio, CM Segura, S Dormido Prentice Hall, 1999 | 10 | 1999 |
| Improving privacy in Vickrey auctions N López, M Núñez, I Rodriguez, F Rubio ACM SIGEcom Exchanges 5 (1), 1-12, 2004 | 8 | 2004 |
| An Overview of Probabilistic Process Algebras and their Equivalences N López, M Núnez Validation of Stochastic Systems, LNCS 2925, 0 | 8 | |
| 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 | 7 | 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 | 7 | 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 | 4 | 2007 |
Manuel NúñezUniversidad Complutense de MadridVerified email at ucm.es
