Álvaro Fernández Díaz

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 2

Top Topics

Distributed Query Processing

Concurrent Systems

High Scalability

Fault Tolerance

Top Venues

J. Log. Algebraic Methods Program.

Sci. Comput. Program.

Publications

Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle, Julio Mariño
A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program. 133 (2023)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Pitfalls of Jason Concurrency. EMAS@AAMAS (2018)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Adding distribution and fault tolerance to Jason. Sci. Comput. Program. 98 (2015)
Elena Gómez-Martínez, Álvaro Fernández Díaz
Embedded Systems for People with Special Needs: Insights from a Real Case. EUROMICRO-SEAA (2014)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Adding distribution and fault tolerance to jason. AGERE!@SPLASH (2012)
Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund
Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST (2012)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
eJason: An Implementation of Jason in Erlang. ProMAS (2012)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Erlang as an implementation platform for BDI languages. Erlang Workshop (2012)
Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop (2010)
Victor Pablos Ceruelo, Susana Muñoz-Hernández, Álvaro Fernández Díaz
Developing user-sensitive search engines from fuzzy concepts. JISBD (2010)