Publication
-
October 2013
-
A Case Study of Trust Issues in Scientific Video Collections In Proceedings
October 2013
-
Micro-Machinations: A DSL for Game Economies In Proceedings
October 2013
-
Monadic Functional Reactive Programming In Proceedings
October 2013
-
A monogamy-of-entanglement game with applications to device-independent quantum cryptography Article
New Journal of PhysicsOctober 2013
-
Reactive Turing machines Article
Information and Computation, 143-166.October 2013
-
Uncertainty Quantification of a Nonlinear Aeroelastic System Using Polynomial Chaos Expansion With Constant Phase Interpolation Article
Journal of Vibration and Acoustics, 135(5), 1-13.October 2013
-
October 2013