| Symbolic model checking for dynamic epistemic logic—S5 and beyond J Van Benthem, J Van Eijck, M Gattinger, K Su Journal of Logic and Computation 28 (2), 367-402, 2018 | 46 | 2018 |
| Symbolic model checking for dynamic epistemic logic J Van Benthem, J Van Eijck, M Gattinger, K Su Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015 …, 2015 | 45 | 2015 |
| Knowing values and public inspection J van Eijck, M Gattinger, Y Wang Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India …, 2017 | 33* | 2017 |
| New directions in model checking dynamic epistemic logic M Gattinger University of Amsterdam, 2018 | 22 | 2018 |
| Strengthening gossip protocols using protocol-dependent knowledge H van Ditmarsch, M Gattinger, LB Kuijer, P Pardo arXiv preprint arXiv:1907.12321, 2019 | 11 | 2019 |
| Towards model checking cryptographic protocols with dynamic epistemic logic M Gattinger, J van Eijck Proc. LAMAS, 1-14, 2015 | 7 | 2015 |
| Dynamic epistemic logic for guessing games and cryptographic protocols M Gattinger | 7 | 2014 |
| Towards an Analysis of Dynamic Gossip in Netkat M Gattinger, J Wagemaker Relational and Algebraic Methods in Computer Science: 17th International …, 2018 | 6 | 2018 |
| SMCDEL – An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams M Gattinger https://github.com/jrclogic/SMCDEL 1 (Version 1.3.0), 7-92, 2024 | 5* | 2024 |
| Epistemic crypto logic—functional programming and model checking of cryptographic protocols M Gattinger Technical report, ILLC, Amsterdam, 2013. Exam paper for the course …, 2013 | 5 | 2013 |
| Everyone knows that everyone knows: Gossip protocols for super experts H van Ditmarsch, M Gattinger, R Ramezanian Studia Logica 111 (3), 453-499, 2023 | 4 | 2023 |
| The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable H van Ditmarsch, M Gattinger WoLLIC 2022, 2022 | 4 | 2022 |
| How to agree without understanding each other: public announcement logic with Boolean definitions M Gattinger, Y Wang arXiv preprint arXiv:1907.09105, 2019 | 4 | 2019 |
| Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic D Miedema, M Gattinger TARK 2023, 407-420, 2023 | 3 | 2023 |
| A Verified Proof of Craig Interpolation for Basic Modal Logic via Tableaux in Lean M Gattinger Advances in Modal Logic AiML 2022, 2022 | 2 | 2022 |
| Everyone knows that everyone knows R Ramezanian, R Ramezanian, H van Ditmarsch, M Gattinger Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad …, 2021 | 2 | 2021 |
| Dealing with unreliable agents in dynamic gossip L van den Berg, M Gattinger International Workshop on Dynamic Logic, 51-67, 2020 | 2 | 2020 |
| Towards symbolic factual change in DEL M Gattinger arXiv preprint arXiv:1912.10717, 2019 | 2 | 2019 |
| Reachability of Five Gossip Protocols H Van Ditmarsch, M Gattinger, I Kokkinis, LB Kuijer International Conference on Reachability Problems, 218-231, 2019 | 2 | 2019 |
| You can only be lucky once: optimal gossip for epistemic goals H van Ditmarsch, M Gattinger Mathematical Structures in Computer Science, 1-28, 2024 | 1 | 2024 |
Jan van Eijckprofessor at ILLC Amsterdam, researcher at CWIVerified email at cwi.nl