Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
NATALIA
LÓPEZ BARQUILLA
Profesora contratada doctora
Publicaciones en las que colabora con NATALIA LÓPEZ BARQUILLA (31)
2024
-
A full process algebraic representation of Ant Colony Optimization
Information Sciences, Vol. 658
2019
-
Exporting rain-fall optimization concepts to artificial bee colony
Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
-
The Problems of Selecting Problems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
A formal method for parallel genetic algorithms
Procedia Computer Science
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
-
Analyzing the Privacy of a Vickrey Auction Mechanism
International Journal of E-Business Research (IJEBR), Vol. 2, Núm. 3, pp. 17-27
-
Assessing the expressivity of formal specification languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Defining and testing metaadaptable agents
IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, Vol. 36, Núm. 2, pp. 182-195
-
Specification, testing and implementation relations for symbolic-probabilistic systems
Theoretical Computer Science, Vol. 353, Núm. 1-3, pp. 228-248
2005
-
Implementing private Vickrey auctions
Proceedings of the ACM Symposium on Applied Computing
-
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