Romain Beauxis

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Romain Beauxis, Samuel Mimram
A Non-Standard Semantics for Kahn Networks in Continuous Time CoRR (2011)
David Baelde, Romain Beauxis, Samuel Mimram
Liquidsoap: A High-Level Programming Language for Multimedia Streaming. SOFSEM (2011)
David Baelde, Romain Beauxis, Samuel Mimram
Liquidsoap: a High-Level Programming Language for Multimedia Streaming CoRR (2011)
Elie Bursztein, Romain Beauxis, Hristo S. Paskov, Daniele Perito, Celine Fabry, John C. Mitchell
The Failure of Noise-Based Non-continuous Audio Captchas. IEEE Symposium on Security and Privacy (2011)
Romain Beauxis, Samuel Mimram
A Non-Standard Semantics for Kahn Networks in Continuous Time. CSL (2011)
Romain Beauxis, Catuscia Palamidessi
Probabilistic and nondeterministic aspects of anonymity. Theor. Comput. Sci. 410 (41) (2009)
Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia
On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models (2008)
Romain Beauxis
Probabilistic and Concurrent Models for Security. ICLP (2008)
Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
Formal Approaches to Information-Hiding (Tutorial). TGC (2007)