Ron van der Meyden: Publications Sorted by Area

The following lists contain some overlaps:

Reasoning about Knowledge

Formal Methods for Distributed Computing

(see also the section on Reasoning about Knowledge)

Formal Methods for Computer Security / Deontic Logic

Database Theory/Logic Programming

Quantum Computing

Other