| 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 | 44 | 2007 |
| 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 | 42 | 2004 |
| 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 | 42 | 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 | 36 | 2006 |
| A testing theory for generally distributed stochastic processes N López, M Núnez CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001 | 36 | 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 Innovative Internet Computing Systems: Second International Workshop, IICS …, 2002 | 26 | 2002 |
| 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 | 26 | 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 | 23 | 2003 |
| 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 | 23 | 2002 |
| 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 | 20 | 2004 |
| 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 | 19 | 2000 |
| 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 | 19 | 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 | 16 | 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 |
| Programación en Pascal S Leestma, LR Nyhoff, N López, F Rubio, CM Segura, S Dormido Prentice Hall, 1999 | 12 | 1999 |
| Weak stochastic bisimulation for non-Markovian processes N López, M Núnez ICTAC, 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 Integrated Formal Methods: Third International Conference, IFM 2002 Turku …, 2002 | 9 | 2002 |
| Improving privacy in Vickrey auctions N López, M Núñez, I Rodríguez, F Rubio ACM SIGEcom Exchanges 5 (1), 1-12, 2004 | 8 | 2004 |
| Núnez: An Overview of Probabilistic Process Algebras and their Equivalences N López Validation of Stochastic Systems, LNCS 2925, 0 | 8 | |
Manuel NúñezUniversidad Complutense de MadridDirección de correo verificada de ucm.es
