The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Natalia López: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Natalia López, Manuel Núñez, Fernando L. Pelayo
    STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2004, pp:64-73 [Conf]
  2. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Introducing the Golden Section to Computer Science. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2002, pp:203-212 [Conf]
  3. Natalia López, Ismael Rodríguez, Fernando Rubio
    Defining Meta-Adaptable Living Agents. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2003, pp:161-170 [Conf]
  4. Fernando L. Pelayo, Manuel Núñez, Natalia López
    Specifying the memorization process with STOPA. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2005, pp:238-247 [Conf]
  5. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    WHAT: Web-Based Haskell Adaptive Tutor. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2002, pp:71-80 [Conf]
  6. Natalia López, Manuel Núñez, Ismael Rodríguez
    Assessing the Expressivity of Formal Specification Languages. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:220-234 [Conf]
  7. Natalia López, Manuel Núñez
    A Testing Theory for Generally Distributed Stochastic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:321-335 [Conf]
  8. Natalia López, Manuel Núñez, Ismael Rodríguez
    Testing of Symbolic-Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FATES, 2004, pp:49-63 [Conf]
  9. David de Frutos-Escrig, Natalia López, Manuel Núñez
    Global Timed Bisimulation: An Introduction. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:401-416 [Conf]
  10. Natalia López, Manuel Núñez, Ismael Rodríguez
    Formal Specification of Symbolic-Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:114-127 [Conf]
  11. Natalia López, Manuel Núñez
    NMSPA: A Non-Markovian Model for Stochastic Processes. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
  12. Natalia López, Manuel Núñez
    Weak Stochastic Bisimulation for Non-markovian Processes. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:454-468 [Conf]
  13. Natalia López, Manuel Núñez, Fernando Rubio
    Stochastic Process Algebras Meet Eden. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:29-48 [Conf]
  14. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras. [Citation Graph (0, 0)][DBLP]
    IICS, 2002, pp:217-228 [Conf]
  15. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Including Malicious Agents into a Collaborative Learning Environment. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 2002, pp:51-60 [Conf]
  16. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    A Multi-Agent System for E-Barter Including Transaction and Shipping Costs. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:587-594 [Conf]
  17. Natalia López, Manuel Núñez, Ismael Rodríguez, Fernando Rubio
    Encouraging knowledge exchange in discussion forums by market-oriented mechanisms. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:952-956 [Conf]
  18. Ismael Rodríguez, Natalia López
    Implementing private Vickrey auctions. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:796-800 [Conf]
  19. Natalia López, Manuel Núñez
    An Overview of Probabilistic Process Algebras and their Equivalences. [Citation Graph (0, 0)][DBLP]
    Validation of Stochastic Systems, 2004, pp:89-123 [Conf]
  20. Natalia López, Manuel Núñez, Fernando Rubio
    Predicting performance in the presence of stochastic information. [Citation Graph (0, 0)][DBLP]
    Comput. Syst. Sci. Eng., 2004, v:19, n:6, pp:- [Journal]
  21. Natalia López, Manuel Núñez, Fernando Rubio
    An integrated framework for the performance analysis of asynchronous communicating stochastic processes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:3, pp:238-262 [Journal]
  22. Natalia López, Manuel Núñez, Ismael Rodríguez
    Specification, testing and implementation relations for symbolic-probabilistic systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:228-248 [Journal]
  23. Natalia López, Manuel Núñez, Ismael Rodríguez
    SPAMR: Extending PAMR with stochastic time. [Citation Graph (0, 0)][DBLP]
    EPEW, 2007, pp:63-79 [Conf]

  24. A Formal Environment for Describing Negotiation Capabilities. [Citation Graph (, )][DBLP]


  25. Market-Based Adaptive Discussion Forums. [Citation Graph (, )][DBLP]


Search in 0.060secs, Finished in 0.062secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002