Publication
-
Logic, Languages and Programming Presentation
January 2014 -
Logic in Action Book
January 2014
-
Vier vragen over de kwantumcomputer van de NSA : NU.nl, 03.01.2014 Magazine Article
January 2014 -
New year's speech of Jos Baeten, January 6, 2014 Miscellaneous
January 2014 -
Gathering evidence : model-driven software engineering in automated digital forensics Dissertation
Software Analysis and TransformationJanuary 2014
-
A medley for computational complexity : with applications of information theory, learning theory, and Ketan Mulmuley's parametric complexity technique Dissertation
Algorithms and ComplexityJanuary 2014
-
Socially-Aware Multimedia Authoring Dissertation
Distributed and Interactive SystemsJanuary 2014
-
Rascal OFG Software
February 2014