Elements of Epistemic Crypto Logic. - Jan van Eijck; Malvin Gattinger (AAMAS, 2015)

Symbolic Model Checking for Dynamic Epistemic Logic. - Johan van Benthem; Jan van Eijck; Malvin Gattinger; Kaile Su (LORI, 2015)

Knowing Values and Public Inspection. - Jan van Eijck; Malvin Gattinger; Yanjing Wang 001 (ICLA, 2017)

Towards an Analysis of Dynamic Gossip in Netkat. - Malvin Gattinger; Jana Wagemaker (RAMiCS, 2018)

Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. - Johan van Benthem; Jan van Eijck; Malvin Gattinger; Kaile Su (J. Log. Comput., 2018)

Reachability of Five Gossip Protocols. - Hans van Ditmarsch; Malvin Gattinger; Ioannis Kokkinis; Louwe B. Kuijer (RP, 2019)

How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. - Malvin Gattinger; Yanjing Wang 001 (TARK, 2019)

Towards Symbolic Factual Change in DEL. - Malvin Gattinger (CoRR, 2019)

Strengthening Gossip Protocols using Protocol-Dependent Knowledge. - Hans van Ditmarsch; Malvin Gattinger; Louwe B. Kuijer; Pere Pardo (FLAP, 2019)

Dealing with Unreliable Agents in Dynamic Gossip. - Line van den Berg; Malvin Gattinger (DaLí, 2020)

Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation. - Marcin Korecki; Malvin Gattinger; Rineke Verbrugge (ICAART (1), 2020)

The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. - Hans van Ditmarsch; Malvin Gattinger (WoLLIC, 2022)

Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. - Daniel Miedema; Malvin Gattinger (TARK, 2023)

Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. - Hans van Ditmarsch; Malvin Gattinger; Rahim Ramezanian (Stud Logica, 2023)

You can only be lucky once: optimal gossip for epistemic goals. - Hans van Ditmarsch; Malvin Gattinger (Math. Struct. Comput. Sci., 2024)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof. - Manfred Borzechowski; Malvin Gattinger; Helle Hvid Hansen; Revantha Ramanayake; Valentina Trucco Dalmas; Yde Venema (CoRR, 2025)