- Larsen, K. G. (Kim G.), 1957- (4)
- Brinksma, Ed (1)
- CAV (Conference) (1)
- International Colloquium on Automata, Languages and Programming (1)
- International Conference on Concurrency Theory (1)
- Nielsen, M. (Mogens), 1949- (1)
- Skou, A. (Arne), 1948- (1)
- Skyum, Sven, 1946- (1)
- Winskel, Glynn (1)
- Workshop on Computer-Aided Verification (1)