 | 2011 |
|---|
| 9 |       | Romain Beauxis,
Samuel Mimram:
A Non-Standard Semantics for Kahn Networks in Continuous Time.
CSL 2011: 35-50 |
| 8 | | Elie Bursztein,
Romain Beauxis,
Hristo Paskov,
Daniele Perito,
Celine Fabry,
John C. Mitchell:
The Failure of Noise-Based Non-continuous Audio Captchas.
IEEE Symposium on Security and Privacy 2011: 19-31 |
| 7 | | David Baelde,
Romain Beauxis,
Samuel Mimram:
Liquidsoap: A High-Level Programming Language for Multimedia Streaming.
SOFSEM 2011: 99-110 |
| 6 | | David Baelde,
Romain Beauxis,
Samuel Mimram:
Liquidsoap: a High-Level Programming Language for Multimedia Streaming
CoRR abs/1104.2681: (2011) |
| 5 | | Romain Beauxis,
Samuel Mimram:
A Non-Standard Semantics for Kahn Networks in Continuous Time
CoRR abs/1108.5062: (2011) |
| 2009 |
|---|
| 4 | | Romain Beauxis,
Catuscia Palamidessi:
Probabilistic and nondeterministic aspects of anonymity.
Theor. Comput. Sci. 410(41): 4006-4025 (2009) |
| 2008 |
|---|
| 3 | | Romain Beauxis,
Catuscia Palamidessi,
Frank D. Valencia:
On the Asynchronous Nature of the Asynchronous pi-Calculus.
Concurrency, Graphs and Models 2008: 473-492 |
| 2 | | Romain Beauxis:
Probabilistic and Concurrent Models for Security.
ICLP 2008: 801-802 |
| 2007 |
|---|
| 1 | | Romain Beauxis,
Konstantinos Chatzikokolakis,
Catuscia Palamidessi,
Prakash Panangaden:
Formal Approaches to Information-Hiding (Tutorial).
TGC 2007: 347-362 |
Data released under the ODC-BY 1.0 license — See also our legal information page