Publication
-
The Distributed Wireless Gathering Problem In Proceedings
January 2008
-
Verification of Networks of Timed Automata using mCRL2 In Proceedings
January 2008 -
Constructing simply laced Lie algebras from extremal elements Article
Algebra and Number Theory, 2(5), 551-572.January 2008
-
Metaplectic operators on {$C^n$} Article
Quarterly Journal of Mathematics, 59(1), 15-28.January 2008
-
Reconfiguration of Reo Connectors Triggered by Dataflow Article
Electronic Communications of the European Association of Software Science and TechnologyJanuary 2008
-
January 2008
-
Deconstructing Reo In Proceedings
January 2008
-
Calculating Invariants as Coreflexive Bisimulations In Proceedings
January 2008