François Schwarzentruber

Publications

453

Citations

H-Index

2008

Active since

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Centre National de la Recherche Scientifique

École Normale Supérieure de Rennes

Institut de Recherche en Informatique de Toulouse

Université Toulouse III - Paul Sabatier

François Schwarzentruber is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, automated reasoning, and formal methods.

ORCID

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceEpistemologyFormal VerificationVerificationSemanticsGamesCognitive Science

Publications per year

2008–2020

Publications

Properties of logics of individual and group agency

Andreas Herzig, François Schwarzentruber · 2008 · 49 citations

Complexity results in epistemic planning

Thomas Bolander, Martin Holm Jensen, François Schwarzentruber · Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU) · 2015 · 45 citations · Full text

Engineering, Verification, Del Model Checking +17

On the Complexity of Dynamic Epistemic Logic

Guillaume Aucher, François Schwarzentruber · arXiv (Cornell University) · 2013 · 35 citations · Full text

Probability Logic, Engineering, Data Science +12

Epistemic protocols for dynamic gossip

Hans van Ditmarsch, Jan van Eijck, Pere Pardo et al. · Journal of Applied Logic · 2016 · 35 citations

Population Protocol, Network Science, Engineering +6

Arbitrary Public Announcement Logic with Mental Programs

Tristan Charrier, François Schwarzentruber · Adaptive Agents and Multi-Agents Systems · 2015 · 27 citations

Computational Logic, Cognitive Science, Engineering +14

Rows per page

1–5 of 21