Natalia López

Inf. Sci., February, 2024

2019

Exporting Rain-Fall optimization concepts to Artificial Bee Colony.

[BibT_eX]

[DOI]

Alberto de la Encina

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

The Problems of Selecting Problems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2019

Connecting CS1 with Student's Careers Through Multidisciplinary Projects. Case of Study: Material Selection Following the Ashby Methodology.

[BibT_eX]

[DOI]

Proceedings of the Applied Informatics - Second International Conference, 2019

2018

Emotion Recognition from EEG and Facial Expressions: a Multimodal Approach.

[BibT_eX]

[DOI]

Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

2015

A Formal Method for Parallel Genetic Algorithms<sup>1</sup>.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2015

2010

Absence of reference region: Is there a way to improve neuroreceptor occupancy quantification?

[BibT_eX]

[DOI]

NeuroImage, 2010

2009

Formalizing Interchange Competences.

[BibT_eX]

[DOI]

Alberto de la Encina

Mercedes Hidalgo-Herrero

Int. J. Cogn. Informatics Nat. Intell., 2009

2008

A Comparative Study of STOPA and RTPA.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2008

2007

A Formal Specification of the Memorization Process.

[BibT_eX]

[DOI]

Int. J. Cogn. Informatics Nat. Intell., 2007

SPAMR: Extending PAMR with stochastic time.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

A Formal Environment for Describing Negotiation Capabilities.

[BibT_eX]

[DOI]

Alberto de la Encina

Mercedes Hidalgo-Herrero

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006

Defining and testing metaadaptable agents.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2006

Specification, testing and implementation relations for symbolic-probabilistic systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Analyzing the Privacy of a Vickrey Auction Mechanism.

[BibT_eX]

[DOI]

Int. J. E Bus. Res., 2006

Market-Based Adaptive Discussion Forums.

[BibT_eX]

[DOI]

Proceedings of the Advanced Internet Based Systems and Applications, 2006

Assessing the Expressivity of Formal Specification Languages.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Implementing private Vickrey auctions.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Weak Stochastic Bisimulation for Non-markovian Processes.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2005

Specifying the memorization process with STOPA.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

2004

Improving privacy in Vickrey auctions.

[BibT_eX]

[DOI]

SIGecom Exch., 2004

An integrated framework for the performance analysis of asynchronous communicating stochastic processes.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Predicting performance in the presence of stochastic information.

[BibT_eX]

Comput. Syst. Sci. Eng., 2004

An Overview of Probabilistic Process Algebras and their Equivalences.

[BibT_eX]

[DOI]

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004

Encouraging knowledge exchange in discussion forums by market-oriented mechanisms.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Formal Specification of Symbolic-Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

Testing of Symbolic-Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 2004

2003

A Multi-Agent System for E-Barter Including Transaction and Shipping Costs.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Defining Meta-Adaptable Living Agents.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Cognitive Informatics (ICCI 2003), 2003

2002

Including Malicious Agents into a Collaborative Learning Environment.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Tutoring Systems, 6th International Conference, 2002

A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Innovative Internet Computing Systems, Second International Workshop, 2002

Stochastic Process Algebras Meet Eden.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

WHAT: Web-Based Haskell Adaptive Tutor.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2002

Introducing the Golden Section to Computer Science.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001

A Testing Theory for Generally Distributed Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

2000

NMSPA: A Non-Markovian Model for Stochastic Processes.

[BibT_eX]

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

Global Timed Bisimulation: An Introduction.

[BibT_eX]

David de Frutos-Escrig