Hans P. van Ditmarsch

	2012
66		Ignacio Hernández-Antón, Fernando Soler-Toscano, Hans P. van Ditmarsch: Unconditionally Secure Protocols with Genetic Algorithms. PAAMS (Special Sessions) 2012: 121-128
65		Hans P. 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. PAAMS (Special Sessions) 2012: 155-162
64		Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Local properties in modal logic. Artif. Intell. 187: 133-155 (2012)
63		Laura Bozzelli, Hans P. van Ditmarsch, Tim French, James Hales, Sophie Pinchinat: Refinement Modal Logic CoRR abs/1202.3538: (2012)
	2011
62		Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, Fernando Soler-Toscano: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings Springer 2011
61		Hans P. van Ditmarsch, Jérôme Lang, Shier Ju: Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings Springer 2011
60		Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Reasoning about local properties in modal logic. AAMAS 2011: 711-718
59		Hans P. van Ditmarsch, Tim French: On the Interactions of Awareness and Certainty. Australasian Conference on Artificial Intelligence 2011: 727-738
58		Hans P. van Ditmarsch, Fernando Soler-Toscano: Three Steps. CLIMA 2011: 41-57
57		Hans P. van Ditmarsch, David Fernández Duque, Wiebe van der Hoek: On the Definability of Simulability and Bisimilarity by Finite Epistemic Models. CLIMA 2011: 74-87
56		Michael H. Albert, Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano: Secure Communication of Local States in Interpreted Systems. DCAI 2011: 117-124
55		Hans P. van Ditmarsch, Tim French: Becoming Aware of Propositional Variables. ICLA 2011: 204-218
54		Hans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang: Hidden protocols. TARK 2011: 65-74
53		Hans P. van Ditmarsch: The Ditmarsch Tale of Wonders CoRR abs/1108.2115: (2011)
52		Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano: A secure additive protocol for card players CoRR abs/1111.0156: (2011)
51		Hans P. van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego: Preface. Electr. Notes Theor. Comput. Sci. 278: 1-2 (2011)
50		Hans P. van Ditmarsch, Rineke Verbrugge: The rules of the game are changing: Scientific impact factors and publication strategies among logicians. J. Log. Comput. 21(2): 121-132 (2011)
49		Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: From Situation Calculus to Dynamic Epistemic Logic. J. Log. Comput. 21(2): 179-204 (2011)
48		Hans P. van Ditmarsch, Rohit Parikh, Ramaswamy Ramanujam: Logic in India - Editorial Introduction. J. Philosophical Logic 40(5): 557-561 (2011)
47		Thomas Ågotnes, Johan van Benthem, Hans P. van Ditmarsch, Stefan Minica: Question-answer games. Journal of Applied Non-Classical Logics 21(3-4): 265-288 (2011)
46		Thomas Ågotnes, Hans P. van Ditmarsch: What will they say? - Public Announcement Games. Synthese 179(Supplement-1): 57-85 (2011)
	2010
45		Hans P. van Ditmarsch, Tim French, Sophie Pinchinat: Future Event Logic - Axioms and Complexity. Advances in Modal Logic 2010: 77-99
44		Emiliano Lorini, Hans P. van Ditmarsch, Tiago De Lima: A Logical Model of Intention and Plan Dynamics. ECAI 2010: 1075-1076
43		Hans P. van Ditmarsch, Jan van Eijck, William Wu: One Hundred Prisoners and a Lightbulb - Logic and Computation. KR 2010
42		Hans P. van Ditmarsch, Tiago De Lima, Emiliano Lorini: Intention Change via Local Assignments. LADS 2010: 136-151
41		Thomas Ågotnes, Philippe Balbiani, Hans P. van Ditmarsch, Pablo Seban: Group announcement logic. J. Applied Logic 8(1): 62-81 (2010)
40		Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Tableaux for Public Announcement Logic. J. Log. Comput. 20(1): 55-76 (2010)
39		Hans P. van Ditmarsch, Jan van Eijck, William Wu: Verifying one hundred prisoners and a lightbulb. Journal of Applied Non-Classical Logics 20(3): 173-191 (2010)
	2009
38		Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Knowing More - From Global to Local Correspondence. IJCAI 2009: 955-960
37		Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer: Intentions and Assignments. LORI 2009: 198-211
36		Hans P. van Ditmarsch, Tim French: Awareness and Forgetting of Facts and Agents. Web Intelligence/IAT Workshops 2009: 478-483
35		Hans P. van Ditmarsch, Lawrence S. Moss: Special Issue on the Occasion of Johan van Benthem's 60th Birthday - Editorial. J. Philosophical Logic 38(6): 587-588 (2009)
34		Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective forgetting. Synthese 169(2): 405-423 (2009)
33		Hans P. van Ditmarsch, Brian Hill, Ondrej Majer: Logic of change, change of logic. Synthese 171(2): 227-234 (2009)
	2008
32		Thomas Ågotnes, Hans P. van Ditmarsch: Coalitions and announcements. AAMAS (2) 2008: 673-680
31		Tim French, Hans P. van Ditmarsch: Undecidability for arbitrary public announcement logic. Advances in Modal Logic 2008: 23-42
30		Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29
29		Hans P. van Ditmarsch, Tim French: Simulation and Information: Quantifying over Epistemic Events. KRAMAS 2008: 51-65
28		Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge: Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18(4): 563-588 (2008)
	2007
27		Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. AAAI 2007: 1070-
26		Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. Formal Models of Belief Change in Rational Agents 2007
25		Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic Epistemic Logic and Knowledge Puzzles. ICCS 2007: 45-58
24		Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59
23		Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima: What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK 2007: 42-51
22		M. D. Atkinson, Hans P. van Ditmarsch, S. Roehling: Avoiding bias in cards cryptography CoRR abs/cs/0702097: (2007)
21		Hans P. van Ditmarsch, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 17(2): 125-128 (2007)
20		Hans P. van Ditmarsch, María Manzano: Editorial "Tools for Teaching Logic". Logic Journal of the IGPL 15(4): 289-292 (2007)
19		Hans P. van Ditmarsch, Willem Adrian Labuschagne: My beliefs about your beliefs: a case study in theory of mind and epistemic logic. Synthese 155(2): 191-209 (2007)
18		Hans P. van Ditmarsch: Comments to 'logics of public communications'. Synthese 158(2): 181-187 (2007)
	2006
17		Hans P. van Ditmarsch, Barteld P. Kooi: Semantic results for ontic and epistemic change CoRR abs/cs/0610093: (2006)
16		Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan: Model Checking Russian Cards. Electr. Notes Theor. Comput. Sci. 149(2): 105-123 (2006)
15		Hans P. van Ditmarsch: The Logic of Pit. Synthese 149(2): 343-374 (2006)
14		Hans P. van Ditmarsch, Barteld P. Kooi: The Secret of My Success. Synthese 151(2): 201-232 (2006)
13		Hans P. van Ditmarsch, Barteld P. Kooi: The Secret of My Success. Synthese 153(2): 339 (2006)
	2005
12		Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic epistemic logic with assignment. AAMAS 2005: 141-148
11		Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge: Model Checking Sum and Product. Australian Conference on Artificial Intelligence 2005: 790-795
10		Hans P. van Ditmarsch: Belief change and dynamic logic. Belief Change in Rational Agents 2005
9		Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Chris C. Handley, Derek A. Holton, D. J. McCaughan, Hans P. van Ditmarsch: Sorting Classes. Electr. J. Comb. 12: (2005)
8		Hans P. van Ditmarsch: The case of the hidden hand. Journal of Applied Non-Classical Logics 15(4): 437-452 (2005)
7		Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan: Permuting machines and priority queues. Theor. Comput. Sci. 349(3): 309-317 (2005)
	2004
6		Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Public Announcements and Belief Expansion. Advances in Modal Logic 2004: 335-346
5		Hans P. van Ditmarsch: Some Game Theory of Pit. PRICAI 2004: 946-947
4		Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton: Restricted permutations and queue jumping. Discrete Mathematics 287(1-3): 129-133 (2004)
	2003
3		Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Concurrent dynamic epistemic logic for MAS. AAMAS 2003: 201-208
2		Hans P. van Ditmarsch: The Russian Cards Problem. Studia Logica 75(1): 31-62 (2003)
	2002
1		Hans P. van Ditmarsch: Descriptions of Game Actions. Journal of Logic, Language and Information 11(3): 349-365 (2002)

Coauthor Index

1	Thomas Ågotnes	[32] [41] [46] [47]
2	Michael H. Albert (Michael Henry Albert)	[4] [9] [56]
3	Robert E. L. Aldred	[4] [7] [9]
4	Mike D. Atkinson (M. D. Atkinson)	[4] [7] [9] [22]
5	Philippe Balbiani	[23] [24] [40] [41]
6	Alexandru Baltag	[23]
7	Johan van Benthem	[47]
8	Patrick Blackburn	[62]
9	Laura Bozzelli	[63]
10	Andrés Cordón-Franco	[52] [56]
11	Mehdi Dastani	[37]
12	David Fernández Duque	[51] [52] [56] [57]
13	Jan van Eijck	[39] [43] [65]
14	Tim French (Timothy Stewart French)	[29] [31] [36] [45] [55] [59] [63]
15	Sujata Ghosh	[54]
16	Valentin Goranko	[51]
17	James Hales	[63]
18	Chris C. Handley	[4] [7] [9]
19	Ignacio Hernández-Antón	[65] [66]
20	Andreas Herzig	[21] [23] [24] [26] [27] [30] [34] [37] [40] [49]
21	Brian Hill	[33]
22	Wiebe van der Hoek	[3] [6] [12] [16] [25] [38] [57] [60] [64]
23	Derek A. Holton	[4] [7] [9]
24	T. Hoshi	[23]
25	Wojciech Jamroga (Wojtek Jamroga)	[51]
26	Joost J. Joosten	[52] [56]
27	Shier Ju	[61]
28	Barteld P. Kooi	[3] [6] [12] [13] [14] [17] [25] [38] [60] [64]
29	Willem Adrian Labuschagne	[19]
30	Jérôme Lang	[30] [34] [61]
31	Tiago De Lima	[23] [24] [26] [27] [40] [42] [44] [49]
32	Emiliano Lorini	[37] [42] [44]
33	Ondrej Majer	[33]
34	María Manzano	[20] [62]
35	Pierre Marquis	[30] [34]
36	D. J. McCaughan	[7] [9]
37	Ron van der Meyden	[16]
38	John-Jules Ch. Meyer	[37]
39	Stefan Minica	[47]
40	Lawrence S. Moss	[35]
41	Manuel Ojeda-Aciego	[51]
42	Rohit Parikh	[48]
43	Sophie Pinchinat	[45] [63]
44	Ramaswamy Ramanujam	[48]
45	S. Roehling	[22]
46	Ji Ruan	[11] [16] [28]
47	Pablo Seban	[41]
48	Floor Sietsma	[65]
49	Sunil Simon	[65]
50	Fernando Soler-Toscano	[52] [56] [58] [62] [65] [66]
51	Rineke Verbrugge (L. C. Verbrugge)	[11] [28] [50] [54]
52	Yanjing Wang	[54]
53	William Wu	[39] [43]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page