Hans P. van Ditmarsch

24 papers A 2B 1Misc 1Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2009 J jnl
Avoiding bias in cards cryptography.
Australas. J Comb.
Mike D. Atkinson, Hans P. van Ditmarsch, Sigrid Roehling
2008 — ch.
Logical Fragments in Ibn Khaldūn's Muqaddimah.
The Unity of Science in the Arabic Tradition
Hans P. van Ditmarsch
2008 J jnl
Sum and Product in Dynamic Epistemic Logic.
J. Log. Comput.
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
2007 J jnl
Avoiding bias in cards cryptography
CoRR
M. D. Atkinson, Hans P. van Ditmarsch, Sigrid Roehling
2007 J jnl
Comments to 'logics of public communications'.
Synth.
Hans P. van Ditmarsch
2007 J jnl
Compositions of pattern restricted sets of permutations.
Australas. J Comb.
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan
2007 J jnl
Cyclically closed pattern classes of permutations.
Australas. J Comb.
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan, C. W. Monteith
2007 Misc conf
Dynamic Epistemic Logic and Knowledge Puzzles.
ICCS
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2006 J jnl
Semantic results for ontic and epistemic change
CoRR
Hans P. van Ditmarsch, Barteld P. Kooi
2006 J jnl
The Logic of Pit.
Synth.
Hans P. van Ditmarsch
2005 A conf
Dynamic epistemic logic with assignment.
AAMAS
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2005 — conf
Model Checking Russian Cards.
MoChArt@CONCUR/SPIN
Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
2005 — conf
Model Checking Sum and Product.
Australian Conference on Artificial Intelligence
Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge
2005 J jnl
Permuting machines and priority queues.
Theor. Comput. Sci.
Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan
2005 J jnl
Playing cards with Hintikka An introduction to dynamic epistemic logic.
Australas. J. Log.
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2005 J jnl
Prolegomena to Dynamic Logic for Belief Revision.
Synth.
Hans P. van Ditmarsch
2005 J jnl
Safe communication for card players by combinatorial designs for two-step protocols.
Australas. J Comb.
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley
2005 J jnl
Sorting Classes.
Electron. J. Comb.
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Chris C. Handley, Derek A. Holton, D. J. McCaughan, Hans P. van Ditmarsch
2005 J jnl
The case of the hidden hand.
J. Appl. Non Class. Logics
Hans P. van Ditmarsch
2004 J jnl
Restricted permutations and queue jumping.
Discret. Math.
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton
2004 B conf
Some Game Theory of Pit.
PRICAI
Hans P. van Ditmarsch
2003 A conf
Concurrent dynamic epistemic logic for MAS.
AAMAS
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
2003 J jnl
Longest subsequences in permutations.
Australas. J Comb.
Michael H. Albert, Robert E. L. Aldred, Michael D. Atkinson, Hans P. van Ditmarsch, B. D. Handley, Chris C. Handley, Jaroslav Opatrny
2002 J jnl
Descriptions of Game Actions.
J. Log. Lang. Inf.
Hans P. van Ditmarsch