• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 17 matches

• 2023
• 
  Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian:
  Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts. Stud Logica 111(3): 453-499 (2023)
• 
  Daniel Miedema, Malvin Gattinger:
  Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic. TARK 2023: 407-420
• 2022
• 
  Hans van Ditmarsch, Malvin Gattinger:
  The Limits to Gossip: Second-Order Shared Knowledge of All Secrets is Unsatisfiable. WoLLIC 2022: 237-249
• 2020
• 
  Line van den Berg, Malvin Gattinger:
  Dealing with Unreliable Agents in Dynamic Gossip. DaLí 2020: 51-67
• 
  Marcin Korecki, Malvin Gattinger, Rineke Verbrugge:
  Balancing Selfishness and Efficiency in Mobile Ad-hoc Networks: An Agent-based Simulation. ICAART (1) 2020: 161-168
• 
  Hans van Ditmarsch, Malvin Gattinger, Rahim Ramezanian:
  Everyone Knows that Everyone Knows: Gossip Protocols for Super Experts. CoRR abs/2011.13203 (2020)
• 2019
• 
  Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo:
  Strengthening Gossip Protocols using Protocol-Dependent Knowledge. FLAP 6(1): 157-203 (2019)
• 
  Hans van Ditmarsch, Malvin Gattinger, Ioannis Kokkinis, Louwe B. Kuijer:
  Reachability of Five Gossip Protocols. RP 2019: 218-231
• 
  Malvin Gattinger, Yanjing Wang:
  How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. TARK 2019: 206-220
• 
  Hans van Ditmarsch, Malvin Gattinger, Louwe B. Kuijer, Pere Pardo:
  Strengthening Gossip Protocols using Protocol-Dependent Knowledge. CoRR abs/1907.12321 (2019)
• 
  Malvin Gattinger:
  Towards Symbolic Factual Change in DEL. CoRR abs/1912.10717 (2019)
• 2018
• 
  Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su:
  Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. J. Log. Comput. 28(2): 367-402 (2018)
• 
  Malvin Gattinger, Jana Wagemaker:
  Towards an Analysis of Dynamic Gossip in Netkat. RAMiCS 2018: 280-297
• 2017
• 
  Jan van Eijck, Malvin Gattinger, Yanjing Wang:
  Knowing Values and Public Inspection. ICLA 2017: 77-90
• 2016
• 
  Jan van Eijck, Malvin Gattinger, Yanjing Wang:
  Knowing Values and Public Inspection. CoRR abs/1609.03338 (2016)
• 2015
• 
  Jan van Eijck, Malvin Gattinger:
  Elements of Epistemic Crypto Logic. AAMAS 2015: 1795-1796
• 
  Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su:
  Symbolic Model Checking for Dynamic Epistemic Logic. LORI 2015: 366-378