The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Hans van Ditmarsch Hans P. van Ditmarsch ( http://dblp.L3S.de/Authors/Hans_van_Ditmarsch )

Publication years (Num. hits)
2002-2005 (15) 2006-2007 (17) 2008-2009 (15) 2010-2011 (24) 2012 (15) 2013 (16) 2014 (17) 2015-2016 (22) 2017-2018 (21) 2019 (9)
Publication types (Num. hits)
article(93) book(1) incollection(3) inproceedings(72) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 21 occurrences of 14 keywords

Results
Found 172 publication records. Showing 171 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Hans van Ditmarsch, Sophia Knight, Aybüke Özgün Announcement as effort on topological spaces. Search on Bibsonomy Synthese The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch Correction to: Dynamics of lying. Search on Bibsonomy Synthese The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche A public announcement separation logic. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo Strengthening Gossip Protocols using Protocol-Dependent Knowledge. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
1Liangda Fang, Yongmei Liu 0001, Hans van Ditmarsch Forgetting in multi-agent modal logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo Strengthening Gossip Protocols using Protocol-Dependent Knowledge. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Louwe B. Kuijer Knowledge Without Complete Certainty. Search on Bibsonomy WoLLIC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer Reachability of Five Gossip Protocols. Search on Bibsonomy RP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tim French 0002, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang 0001 True lies. Search on Bibsonomy Synthese The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yì N. Wáng Implicit, explicit and speculative knowledge. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Sophia Knight, Aybüke Özgün Private Announcements on Topological Spaces. Search on Bibsonomy Studia Logica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, James Hales Positive Announcements. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Zeinab Bakhtiari, Hans van Ditmarsch, Abdallah Saffidine How does uncertainty about other voters determine a strategic vote? Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer Arrow Update Synthesis. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch Model Checking for Coalition Announcement Logic. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Search on Bibsonomy Synthese The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chitta Baral, Thomas Bolander, Hans van Ditmarsch, Sheila A. McIlraith Epistemic Planning (Dagstuhl Seminar 17231). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer Arbitrary arrow update logic. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer The undecidability of arbitrary arrow update logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch Asynchronous Announcements. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo Cheryl's Birthday. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002 Quantifying over boolean announcements. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek A Logic for Global and Local Announcements. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber Epistemic protocols for dynamic gossip. Search on Bibsonomy J. Applied Logic The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber The modal logic of copy and remove. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christophe Chareton, Hans van Ditmarsch Strategic Knowledge of the Past in Quantum Cryptography. Search on Bibsonomy LORI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen Neighbourhood Contingency Bisimulation. Search on Bibsonomy ICLA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Ioannis Kokkinis, Anders Stockmarr Reachability and Expectation in Gossiping. Search on Bibsonomy PRIMA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Ioannis Kokkinis The Expected Duration of Sequential Gossiping. Search on Bibsonomy EUMAS/AT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French The Undecidability of Quantified Announcements. Search on Bibsonomy Studia Logica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer The Undecidability of Arbitrary Arrow Update Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang 0001 True Lies. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Jie Fan 0001 Propositional quantification in logics of contingency. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo, François Schwarzentruber Announcements to Attentive Agents. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer Fully Arbitrary Public Announcements. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig Before announcement. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella Algebraic semantics of refinement modal logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2016 DBLP  BibTeX  RDF
1Hans van Ditmarsch Epistemic Gossip Protocols. Search on Bibsonomy CLAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Liangda Fang, Yongmei Liu 0001, Hans van Ditmarsch Forgetting in Multi-Agent Modal Logics. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Francesco Belardinelli, Hans van Ditmarsch, Wiebe van der Hoek Second-order Propositional Announcement Logic. Search on Bibsonomy AAMAS The full citation details ... 2016 DBLP  BibTeX  RDF
1Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano A geometric protocol for cryptography with cards. Search on Bibsonomy Des. Codes Cryptogr. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat The complexity of one-agent refinement modal logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi An Introduction to Logics of Knowledge and Belief. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Sophia Knight, Aybüke Özgün Announcement as effort on topological spaces. Search on Bibsonomy TARK The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber Dynamic Gossip. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Petar Iliev The succinctness of the cover modality. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jie Fan 0001, Yanjing Wang 0001, Hans van Ditmarsch Contingency and Knowing Whether. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Barteld Kooi One Hundred Prisoners and a Light Bulb. Search on Bibsonomy 2015   DOI  RDF
1Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche An Epistemic Separation Logic. Search on Bibsonomy WoLLIC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jie Fan 0001, Hans van Ditmarsch Neighborhood Contingency Logic. Search on Bibsonomy ICLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch Dynamics of lying. Search on Bibsonomy Synthese The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang 0001 Hidden protocols: Modifying our expectations in an evolving world. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Hans van Ditmarsch A simple proof of the completeness of APAL. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek, Steffen Jørgensen Introduction. Search on Bibsonomy IGTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002 Semantics for Knowledge and Change of Awareness. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek On the definability of simulation and bisimulation in epistemic logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Hans van Ditmarsch, Tim French 0002, James Hales, Sophie Pinchinat Refinement modal logic. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch Knowledge Games and Coalitional Abilities. Search on Bibsonomy Johan van Benthem on Logic and Information Dynamics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber Logics with Copy and Remove. Search on Bibsonomy WoLLIC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch The Ditmarsch Tale of Wonders. Search on Bibsonomy KI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek Knowledge and Gossip. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Jie Fan 0001, Wiebe van der Hoek, Petar Iliev Some Exponential Lower Bounds on Formula-size in Modal Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Jie Fan 0001, Yanjing Wang 0001, Hans van Ditmarsch Almost Necessary. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Sophia Knight Partial Information and Uniform Strategies. Search on Bibsonomy CLIMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Sophia Knight, Aybüke Özgün Arbitrary Announcements on Topological Subset Spaces. Search on Bibsonomy EUMAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maduka Attamah, Hans van Ditmarsch, Davide Grossi, Wiebe van der Hoek A Framework for Epistemic Gossip Protocols. Search on Bibsonomy EUMAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Tim French 0002 The undecidability of group announcements. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Jérôme Lang Editorial introduction to the special issue LORI Guangzhou. Search on Bibsonomy Synthese The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano A colouring protocol for the generalized Russian cards problem. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Giacomo Bonanno, Hans van Ditmarsch, Wiebe van der Hoek Editorial Introduction to the Special Issue LOFT Sevilla. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch Revocable Belief Revision. Search on Bibsonomy Studia Logica The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano A geometric protocol for cryptography with cards Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Jie Fan 0001, Yanjing Wang 0001, Hans van Ditmarsch Knowing Whether. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yi Nicholas Wang Knowledge, Awareness, and Bisimulation. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine Strategic Voting and the Logic of Knowledge. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Andrés Cordón-Franco, Hans van Ditmarsch, Ángel Nepomuceno-Fernández Dynamic Consequence and Public announcement. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Ji Ruan Connecting dynamic epistemic and temporal epistemic logics. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber Listen to Me! Public Announcements to Agents That Pay Attention - or Not. Search on Bibsonomy LORI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov Subset Space Logic with Arbitrary Announcements. Search on Bibsonomy ICLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yì N. Wáng Knowledge, awareness, and bisimulation. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine Strategic voting and the logic of knowledge. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat The Complexity of One-Agent Refinement Modal Logic. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Mikkel Birkegaard Andersen, Thomas Bolander, Hans van Ditmarsch, Martin Holm Jensen Bisimulation for Single-Agent Plausibility Models. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi Local properties in modal logic. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch Johan van Benthem, Modal Logic for Open Minds, CSLI Lecture Notes, Stanford University, 2010, pp. 350. ISBN: 9781575865997 (hardcover) US $70.00, ISBN: 9781575865980 (paperback) US $30.00. Search on Bibsonomy Studia Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Fernando Soler-Toscano A colouring protocol for the generalized Russian cards problem Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Laura Bozzelli, Hans van Ditmarsch, Tim French 0002, James Hales, Sophie Pinchinat Refinement Modal Logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Andreas Herzig, Tiago De Lima Public announcements, public assignments and the complexity of their logic. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrés Cordón-Franco, Hans van Ditmarsch, David Fernández-Duque, Joost J. Joosten, Fernando Soler-Toscano A secure additive protocol for card players. Search on Bibsonomy Australasian J. Combinatorics The full citation details ... 2012 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, Yanjing Wang 0001 On the Logic of Lying. Search on Bibsonomy Games, Actions and Social Software The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch Quantifying Notes. Search on Bibsonomy WoLLIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Jérôme Lang, Abdallah Saffidine Strategic voting and the logic of knowledge. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada Action models for knowledge and awareness. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Ignacio Hernández-Antón, Fernando Soler-Toscano, Hans van Ditmarsch Unconditionally Secure Protocols with Genetic Algorithms. Search on Bibsonomy PAAMS (Special Sessions) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. Search on Bibsonomy PAAMS (Special Sessions) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch Coalitional Public Announcement Games. Search on Bibsonomy PRIMA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago De Lima Some Truths Are Best Left Unsaid. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat The Complexity of One-Agent Refinement Modal Logic. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 171 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license