Publication

vrozen / Cascade Software|Data

R.A. van Rozen (Riemer)

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

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

UvA kiest ontwerp van architectenbureau cepezed voor nieuwbouw LabQ - UvA.nl - 14-9-2023 Magazine Article

Looking back at the opening of the AI, Media and Democracy Lab Blogpost

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)

Counting base phi representations Article

F.M. Dekking (Michel) and A. van Loon (Ad)

Invited talk: “Affective Interactive Systems" Presentation

A. El Ali (Abdallah)

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)