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. Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation

    Korecki, M., Gattinger, M. & Verbrugge, R., 17-Mar-2020, Proceedings of the 12th International Conference on Agents and Artificial Intelligence : ICAART (2020). SCITEPRESS – Science and Technology Publications, Vol. 1. p. 161-168 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  2. Towards Symbolic Factual Change in DEL

    Gattinger, M., 2017, p. 14-24. 11 p.

    Research output: Contribution to conferencePaperAcademic

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

    Gattinger, M., 9-Dec-2019

    Research output: Non-textual formSoftwareAcademic

  4. 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

  5. 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

View all (9) »

Activities
  1. Adding Boolean Definitions to Public Announcement Logic

    Malvin Gattinger (Speaker)
    4-Apr-2019

    Activity: Talk or presentationAcademic

View all (1) »

ID: 64470715