Publication
-
Solving Weighted Voting Game Design Problems Optimally: Representations, Synthesis, and Enumeration Tech Report
May 2012
-
Overview of Thirty Semantic Formalisms for Reo Article
Scientific Annals of Computer Science, 22(1), 201-251.May 2012
-
May 2012
-
May 2012
-
May 2012
-
May 2012
-
Shearer’s Measure and Stochastic Domination of Product Measures Article
Journal of Theoretical Probability, 22-40.May 2012 -
May 2012