Publication
-
On the Conditional Rényi Entropy Article
IEEE Transactions on Information Theory, 60(11), 6801-6810.January 2014
-
FORS: Separating Configuration From Formal Specification Master Thesis
January 2014
-
January 2014
-
January 2014
-
Hack your DSL with Rascal Lecture
January 2014
-
January 2014
-
Applying Spatial Computing to Everyday Interactive Designs In Proceedings
January 2014
-
Logic, (Functional) Programming, Model Checking Presentation
January 2014