Álvaro Fernández Díaz

According to our database, Álvaro Fernández Díaz authored at least 10 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A formal semantics for agent distribution and fault tolerance in Jason.

Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle, Julio Mariño

J. Log. Algebraic Methods Program., June, 2023

2018

eJason: a Framework for Distributed and Fault-Tolerant Multi-Agent Systems.

Álvaro Fernández Díaz

PhD thesis, 2018

Pitfalls of Jason Concurrency.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Engineering Multi-Agent Systems - 6th International Workshop, 2018

2015

Adding distribution and fault tolerance to Jason.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Sci. Comput. Program., 2015

2014

Embedded Systems for People with Special Needs: Insights from a Real Case.

Elena Gómez-Martínez, Álvaro Fernández Díaz

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2012

Static Partial Order Reduction for Probabilistic Concurrent Systems.

Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

eJason: An Implementation of Jason in Erlang.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Erlang as an implementation platform for BDI languages.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

2010

Developing user-sensitive search engines from fuzzy concepts.

Victor Pablos Ceruelo, Susana Muñoz-Hernández, Álvaro Fernández Díaz

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Implementing a multiagent negotiation protocol in Erlang.

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010