Publication
-
On the Semantics and Verification of Normative Multi-Agent Systems Article
Journal of Universal Computer Science, 15(13), 2629-2652.January 2009
-
Coalgebraic Symbolic Semantics In Proceedings
January 2009
-
Encoding Asynchronous Interactions Using Open Petri Nets In Proceedings
January 2009
-
January 2009
-
Managing requirements evolution using reconstructed traceability and requirements views Dissertation
January 2009
-
Algorithms, haplotypes and phylogenetic networks Dissertation
January 2009
-
February 2009
-
Röntgenstraling uit bliksem, de promotie van Li Chao News Broadcast
February 2009