David Fernández-Duque
Orcid: 0000-0001-8604-4183Affiliations:
- University of Barcelona, Department of Philosophy, Spain
- Ghent University, Department of Mathematicas, Ghent, Belgium
- University of Toulouse, CIMI, France (former)
- ITAM, Department of Mathematics, Mexico City, Mexico (former)
According to our database1,
David Fernández-Duque
authored at least 90 papers
between 2006 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2025
2024
Rev. Symb. Log., 2024
Math. Struct. Comput. Sci., 2024
Ann. Pure Appl. Log., 2024
A Tree Rewriting System for the Reflection Calculus.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
Modal Logics in Dynamical Systems.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
The Goldblatt-Thomason Theorem for Derivative Spaces.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
Logics of Polyhedral Reachability.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
J. Symb. Log., 2022
Log. J. IGPL, 2022
Inf. Comput., 2022
Proceedings of the Logic, Language, Information, and Computation, 2022
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
2021
Theory Pract. Log. Program., 2021
To drive or not to drive: A logical and computational analysis of European transport regulations.
Inf. Comput., 2021
Australas. J Comb., 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2020
Proceedings of the Beyond the Horizon of Computability, 2020
2019
Proceedings of the Logic, Language, Information, and Computation, 2019
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
2018
Log. Methods Comput. Sci., 2018
Ann. Pure Appl. Log., 2018
Proceedings of the Advances in Modal Logic 12, 2018
Proceedings of the Advances in Modal Logic 12, 2018
2017
Des. Codes Cryptogr., 2017
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy.
Discret. Appl. Math., 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Proceedings of the Advances in Modal Logic 11, 2016
Proceedings of the Advances in Modal Logic 11, 2016
2015
CoRR, 2015
2014
ACM Trans. Comput. Log., 2014
J. Log. Comput., 2014
2013
Theor. Comput. Sci., 2013
Ann. Pure Appl. Log., 2013
2012
J. Symb. Log., 2012
Proceedings of the How the World Computes, 2012
Proceedings of the Advances in Modal Logic 9, 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
Stud Logica, 2011
Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2011
Proceedings of the Computational Logic in Multi-Agent Systems, 2011
2010
Proceedings of the Advances in Modal Logic 8, 2010
2009
Ann. Pure Appl. Log., 2009
2007
2006