Publication
-
A two-dimensional embedded-boundary method for convection problems with moving boundaries Tech Report
June 2010
-
Sharing Enriched Multimedia Experiences across Heterogeneous Network Infrastructures Article
IEEE Communications Magazine, 48(6), 54-65.June 2010
-
Nonconflict check by using sequential automaton abstractions Article
Automatica, 46(6), 968-978.June 2010
-
June 2010
-
Partial order reduction for branching security protocols In Proceedings
June 2010 -
Kan een pop informatica voor vrouwen aantrekkelijk maken? Article
I/O ICT Onderzoek, 7(1), 17-17.June 2010
-
Derandomizing from Random Strings In Proceedings
June 2010 -
June 2010