Publication
-
January 2007
-
January 2007
-
January 2007
-
January 2007
-
Optimal semicomputable approximations to reachable and invariant sets Article
ACM Transactions on Computer Systems, 41(1), 33-48.January 2007
-
Pruning state spaces with extended beam search In Proceedings
January 2007 -
Photoionization in negative streamers: Fast computations and two propagation modes Article
Applied Physics Letters, 8(3), 081501-1-081501-3.January 2007 -
Task Scheduling in Rebeca (Extended Abstract) In Proceedings
January 2007