Fernando R. Velzquez-Quesada
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2012–2024
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SEFM | Towards Resolving Distributed Beliefs. | John Lindqvist, Fernando R. Velzquez-Quesada, Thomas gotnes |
| 2019 | TAP | A Logical Analysis of the Interplay Between Social Influence and Friendship Selection. | Sonja Smets, Fernando R. Velzquez-Quesada |
| 2018 | WoLLIC | Beliefs Based on Evidence and Argumentation. | Chenwei Shi, Sonja Smets, Fernando R. Velzquez-Quesada |
| 2017 | TABLEAUX | Dynamic Epistemic Logics of Introspection. | Raul Fervari, Fernando R. Velzquez-Quesada |
| 2017 | TABLEAUX | The Creation and Change of Social Networks: A Logical Study Based on Group Size. | Sonja Smets, Fernando R. Velzquez-Quesada |
| 2014 | JELIA | Efficient Program Transformers for Translating LCC to PDL. | Pere Pardo, Enrique Sarrin-Morillo, Fernando Soler-Toscano, Fernando R. Velzquez-Quesada |
| 2013 | TARK | Knowledge, awareness, and bisimulation. | Hans van Ditmarsch, Tim French, Fernando R. Velzquez-Quesada, Y N. Wng |
| 2012 | AAMAS | Action models for knowledge and awareness. | Hans van Ditmarsch, Tim French, Fernando R. Velzquez-Quesada |