Publication
-
A process algebra for supervisory coordination In Proceedings
August 2011
-
August 2011
-
August 2011
-
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata In Proceedings
August 2011
-
Financial Focus (vol. 2, no. 8, pp. 4) Magazine Article
August 2011
-
August 2011
-
The Torsion-Limit for Algebraic Function Fields and Its Application to Arithmetic Secret Sharing In Proceedings
August 2011
-
The tail of the maximum of Brownian motion minus a parabola Article
Electronic Communications in Probability, 458-466.August 2011