Tutorial: Invisible XML Hands On Presentation

S. Pemberton (Steven)

Preparing for the ‘La Gata Perduda’ showcase at Liceu Blogpost

ICT Magazine: CWI en Beeld & Geluid openen virtueel museum tijdens VR days - 12 november 2021 Magazine Article

COMPUTABLE: Amserdamse AI is economisch zeer rendabel’ - 8 november 2021 Magazine Article

Pushdown automata and context-free grammars in bisimulation semantics In Proceedings

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

On span programs and quantum algorithms Dissertation

A. Piedrafita Postigo (Álvaro)

Integrating ADTs in KeY and their application to history-based reasoning In Proceedings

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

AG Connect: De gouden tip: Topwetenschapper Jurgen Vinju - 10 november 2021 Magazine Article