Malvin Gattinger

According to our database, Malvin Gattinger authored at least 14 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts.

Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian

Stud Logica, June, 2023

Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic.

Daniel Miedema, Malvin Gattinger

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

2022

The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable.

Hans van Ditmarsch, Malvin Gattinger

Proceedings of the Logic, Language, Information, and Computation, 2022

2020

Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation.

Marcin Korecki, Malvin Gattinger, Rineke Verbrugge

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Dealing with Unreliable Agents in Dynamic Gossip.

Line van den Berg, Malvin Gattinger

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

Strengthening Gossip Protocols using Protocol-Dependent Knowledge.

Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo

FLAP, 2019

Towards Symbolic Factual Change in DEL.

Malvin Gattinger

CoRR, 2019

How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions.

Malvin Gattinger, Yanjing Wang

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Reachability of Five Gossip Protocols.

Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer

Proceedings of the Reachability Problems - 13th International Conference, 2019

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

Towards an Analysis of Dynamic Gossip in Netkat.

Malvin Gattinger, Jana Wagemaker

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Knowing Values and Public Inspection.

Jan van Eijck, Malvin Gattinger, Yanjing Wang

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

2015

Symbolic Model Checking for Dynamic Epistemic Logic.

Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Elements of Epistemic Crypto Logic.

Jan van Eijck, Malvin Gattinger

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015