Publication
-
January 2011 -
An executable Theory of Multi-Agent Systems Refinement Dissertation
Formal MethodsJanuary 2011
-
Combining Strategies Efficiently: High-Quality Decisions from Conflicting Advice Dissertation
Algorithms and ComplexityJanuary 2011 -
Regenerative processes Book Chapter
February 2011 -
Renewal processes with costs and rewards Book Chapter
February 2011 -
Sequences with trivial initial segment complexity Master Thesis
February 2011 -
SAT-based verification for timed component connectors Article
Science of Computer ProgrammingFebruary 2011
-
February 2011