Hans van Ditmarsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
47
Venues
16
Active years
2004–2024
Best venue rank
A*
Where they publish
Papers
47 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AiML | Towards Dynamic Distributed Knowledge. | Philippe Balbiani, Hans van Ditmarsch |
| 2024 | AiML | Bisimulation for Impure Simplicial Complexes. | Marta Blkov, Hans van Ditmarsch, Roman Kuznets, Rojo Randrianomentsoa |
| 2024 | IJCAR | A Logic for Repair and State Recovery in Byzantine Fault-Tolerant Multi-agent Systems. | Hans van Ditmarsch, Krisztina Fruzsa, Roman Kuznets, Ulrich Schmid |
| 2023 | WoLLIC | A Separation Logic with Histories of Epistemic Actions as Resources. | Hans van Ditmarsch, Didier Galmiche, Marta Gawek |
| 2022 | AiML | A New Hope. | Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch |
| 2022 | WoLLIC | The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. | Hans van Ditmarsch, Malvin Gattinger |
| 2021 | WoLLIC | Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes. | Hans van Ditmarsch |
| 2020 | AiML | Quantifying over Asynchronous Information Change. | Philippe Balbiani, Hans van Ditmarsch, Sal Fernndez Gonzlez |
| 2020 | ECAI | From Public Announcements to Asynchronous Announcements. | Philippe Balbiani, Hans van Ditmarsch, Sal Fernndez Gonzlez |
| 2019 | WoLLIC | Knowledge Without Complete Certainty. | Hans van Ditmarsch, Louwe B. Kuijer |
| 2018 | KI | Model Checking for Coalition Announcement Logic. | Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch |
| 2017 | EUMAS | The Expected Duration of Sequential Gossiping. | Hans van Ditmarsch, Ioannis Kokkinis |
| 2017 | PRIMA | Reachability and Expectation in Gossiping. | Hans van Ditmarsch, Ioannis Kokkinis, Anders Stockmarr |
| 2016 | AiML | Algebraic semantics of refinement modal logic. | Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella |
| 2016 | AiML | Before announcement. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig |
| 2016 | AiML | Fully Arbitrary Public Announcements. | Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer |
| 2016 | IJCAI | Forgetting in Multi-Agent Modal Logics. | Liangda Fang, Yongmei Liu, Hans van Ditmarsch |
| 2015 | WoLLIC | An Epistemic Separation Logic. | Jean-Ren Courtault, Hans van Ditmarsch, Didier Galmiche |
| 2014 | AiML | Some Exponential Lower Bounds on Formula-size in Modal Logic. | Hans van Ditmarsch, Jie Fan, Wiebe van der Hoek, Petar Iliev |
| 2014 | AiML | Almost Necessary. | Jie Fan, Yanjing Wang, Hans van Ditmarsch |
| 2014 | ECAI | Knowledge and Gossip. | Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek |
| 2014 | EUMAS | A Framework for Epistemic Gossip Protocols. | Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek |
| 2014 | EUMAS | Arbitrary Announcements on Topological Subset Spaces. | Hans van Ditmarsch, Sophia Knight, Aybke zgn |
| 2014 | KI | The Ditmarsch Tale of Wonders. | Hans van Ditmarsch |
| 2014 | WoLLIC | Logics with Copy and Remove. | Carlos Areces, Hans van Ditmarsch, Raul Fervari, Franois Schwarzentruber |
| 2013 | IJCAI | The Complexity of One-Agent Refinement Modal Logic. | Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat |
| 2013 | TARK | Knowledge, awareness, and bisimulation. | Hans van Ditmarsch, Tim French, Fernando R. Velzquez-Quesada, Y N. Wng |
| 2013 | TARK | Strategic voting and the logic of knowledge. | Hans van Ditmarsch, Jrme Lang, Abdallah Saffidine |
| 2012 | AAMAS | Action models for knowledge and awareness. | Hans van Ditmarsch, Tim French, Fernando R. Velzquez-Quesada |
| 2012 | AAMAS | Strategic voting and the logic of knowledge. | Hans van Ditmarsch, Jrme Lang, Abdallah Saffidine |
| 2012 | AiML | Some Truths Are Best Left Unsaid. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2012 | JELIA | The Complexity of One-Agent Refinement Modal Logic. | Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat |
| 2012 | PAAMS | Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. | Hans van Ditmarsch, Jan van Eijck, Ignacio Hernndez-Antn, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano |
| 2012 | PAAMS | Unconditionally Secure Protocols with Genetic Algorithms. | Ignacio Hernndez-Antn, Fernando Soler-Toscano, Hans van Ditmarsch |
| 2012 | PRIMA | Coalitional Public Announcement Games. | Thomas gotnes, Hans van Ditmarsch |
| 2012 | WoLLIC | Quantifying Notes. | Hans van Ditmarsch |
| 2011 | DCAI | Secure Communication of Local States in Interpreted Systems. | Michael H. Albert, Andrs Cordn-Franco, Hans van Ditmarsch, David Fernndez-Duque, Joost J. Joosten, Fernando Soler-Toscano |
| 2011 | TARK | Hidden protocols. | Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang |
| 2010 | AiML | Future Event Logic - Axioms and Complexity. | Hans van Ditmarsch, Tim French, Sophie Pinchinat |
| 2010 | ECAI | A Logical Model of Intention and Plan Dynamics. | Emiliano Lorini, Hans van Ditmarsch, Tiago de Lima |
| 2010 | KR | One Hundred Prisoners and a Lightbulb - Logic and Computation. | Hans van Ditmarsch, Jan van Eijck, William Wu |
| 2009 | IJCAI | Knowing More - From Global to Local Correspondence. | Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |
| 2008 | AiML | Undecidability for arbitrary public announcement logic. | Tim French, Hans van Ditmarsch |
| 2007 | AAAI | Optimal Regression for Reasoning about Knowledge and Actions. | Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2007 | TABLEAUX | A Tableau Method for Public Announcement Logics. | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
| 2007 | TARK | What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. | Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima |
| 2004 | AiML | Public Announcements and Belief Expansion. | Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi |