Onweer op komst! Dit moet je niet doen als het bliksemt - Algemeen Dagblad - 12-9-2023 Magazine Article

Parallel pushdown automata and commutative context-free grammars in bisimulation semantics In Proceedings

J.C.M. Baeten (Jos) and S.P. Luttik (Bas)

Keynote talk: “Human Interaction” Presentation

P.S. César Garcia (Pablo Santiago)

Double-pulse streamer simulations for varying interpulse times in air Article

H. Malla (Hemaditya), A. Martinez Nieto (Andy), U. Ebert (Ute) and H.J. Teunissen (Jannis)

AI wordt veel efficiënter door beter te kijken naar het brein - AG Connect - 13-9-2023 Magazine Article

vrozen / Cascade Software|Data

R.A. van Rozen (Riemer)

The logic of separation logic: Models and proofs In Proceedings

F.S. de Boer (Frank), H.A. Hiep (Hans-Dieter) and C.P.T. de Gouw (Stijn)

NORMalize: The first workshop on normative design and evaluation of recommender systems In Proceedings

S. Vrijenhoek (Sanne), L. Michiels (Lien), J. Kruse (Johannes), A.D. Starke (Alain), N. Tintarev (Nava) and J. Viader Guerrero (Jordi)