Centrum Wiskunde & Informatica

Automated Verification of Recursive Programs with Pointers In Proceedings

F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.C. Rot (Jurriaan)

January 2012
Domain-Specific Optimization in Digital Forensics In Proceedings

J. van den Bos (Jeroen) and T. van der Storm (Tijs)

January 2012
Invited Plenary Lecture, Hot Topics Meeting, Netherlands Bioinformatics Centre, Utrecht Lecture

A. Schönhuth (Alexander)

January 2012
Logic in Action Book

J. F. A. K. van Benthem (Johan), D.J.N. van Eijck (Jan), J.O.M. Jaspars and H. van Ditmarsch (Hans)

January 2012
Deform Software

A.J. van der Ploeg (Atze)

January 2012
Declarative Generalized 2D Graphics Presentation

A.J. van der Ploeg (Atze)

January 2012
Questions about Voting Rules, With Some Answers Book Chapter

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

January 2012
Action Emulation between Canonical Models In Proceedings

D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)

January 2012

Previous

Next