B.R.M. (Malvin) Gattinger, PhD

FSE Fellow

B.R.M. (Malvin) Gattinger, PhD
E-mail:
b.r.m.gattinger rug.nl

Research

Postal address:
Nijenborgh9
Gebouw 5161, ruimte 0350
9747 AG
Groningen
Netherlands
Phone: +31 50 363 2836Fax: +31 50 363 6687
Publications
  1. SMCDEL v1.1.0: A symbolic model checker for Dynamic Epistemic Logic.

    Gattinger, M., 9-Dec-2019

    Research output: Non-textual formSoftwareAcademic

  2. Reachability of Five Gossip Protocols

    Van Ditmarsch, H., Gattinger, M., Kokkinis, I. & Kuijer, L. B., 6-Sep-2019, Reachability Problems: RP 2019: International Conference on Reachability Problems. Filiot, E., Jungers, R. & Potapov, I. (eds.). Cham: Springer, p. 218-231 14 p. (Lecture Notes in Computer Science; vol. 11674).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

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

    Gattinger, M. & Wang, Y., 22-Jul-2019, In : Electronic Proceedings in Theoretical Computer Science. 297, p. 206-220 15 p., 14.

    Research output: Contribution to journalArticleAcademicpeer-review

  4. Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond

    Van Benthem, J., Van Eijck, J., Gattinger, M. & Su, K., Mar-2018, In : Journal of Logic and Computation. 28, 2, p. 367-402 36 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  5. Strengthening Gossip Protocols using Protocol-Dependent Knowledge

    van Ditmarsch, H., Gattinger, M., Kuijer, L. B. & Pardo, P., 2019, In : Journal of Applied Logic. 6, 1

    Research output: Contribution to journalArticleAcademicpeer-review

View all (7) »

Activities
  1. Adding Boolean Definitions to Public Announcement Logic

    Malvin Gattinger (Speaker)
    4-Apr-2019

    Activity: Talk or presentationAcademic

View all (1) »

ID: 64470715