NATALIA
LÓPEZ BARQUILLA
Profesora contratada doctora
MANUEL
NÚÑEZ GARCÍA
Catedrático de universidad
Publications by the researcher in collaboration with MANUEL NÚÑEZ GARCÍA (23)
2009
-
Market-based adaptive discussion forums
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
A comparative study of STOPA and RTPA
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal specification of the memorization process
Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170
2007
-
A Formal Specification of the Memorization Process
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 4, pp. 47-60
-
SPAMR: Extending PAMR with stochastic time
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
-
Assessing the expressivity of formal specification languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Specification, testing and implementation relations for symbolic-probabilistic systems
Theoretical Computer Science, Vol. 353, Núm. 1-3, pp. 228-248
2005
-
Specifying the memorization process with STOPA
Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005
-
Testing of symbolic-probabilistic systems
Lecture Notes in Computer Science
-
Weak stochastic bisimulation for non-Markovian processes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004
-
An integrated framework for the performance analysis of asynchronous communicating stochastic processes
Formal Aspects of Computing, Vol. 16, Núm. 3, pp. 238-262
-
An overview of probabilistic process algebras and their equivalences
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 2925, pp. 89-123
-
Encouraging knowledge exchange in discussion forums by market-oriented mechanisms
Proceedings of the ACM Symposium on Applied Computing
-
Formal specification of symbolic-probabilistic systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3236, pp. 114-127
-
Predicting performance in the presence of stochastic information
Computer Systems Science and Engineering, Vol. 19, Núm. 6, pp. 347-353
-
STOPA: A STOchastic process algebra for the formal representation of cognitive systems
Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004
2003
-
A multi-agent system for e-barter including transaction and shipping costs
Proceedings of the ACM Symposium on Applied Computing
2002
-
A formal framework for E-Barter based on microeconomic theory and process algebras
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Including malicious agents into a collaborative learning environment
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Introducing the golden section to computer science
Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002