Skip to ContentSkip to Navigation
How to find us B.R.M. (Malvin) Gattinger, PhD

Publications

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

Dealing with Unreliable Agents in Dynamic Gossip

Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts

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

Reachability of Five Gossip Protocols

SMCDEL v1.1.0: A symbolic model checker for Dynamic Epistemic Logic.

Strengthening Gossip Protocols using Protocol-Dependent Knowledge

Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond

Towards an Analysis of Dynamic Gossip in Netkat

Towards Symbolic Factual Change in DEL

Read more