Follow
Romain Beauxis
Romain Beauxis
Unknown affiliation
No verified email
Title
Cited by
Cited by
Year
The failure of noise-based non-continuous audio captchas
E Bursztein, R Beauxis, H Paskov, D Perito, C Fabry, J Mitchell
2011 IEEE symposium on security and privacy, 19-31, 2011
1222011
On the Asynchronous Nature of the Asynchronous π-Calculus
R Beauxis, C Palamidessi, FD Valencia
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008
302008
A non-standard semantics for Kahn networks in continuous time
R Beauxis, S Mimram
arXiv preprint arXiv:1108.5062, 2011
122011
Probabilistic and nondeterministic aspects of anonymity
R Beauxis, C Palamidessi
Theoretical Computer Science 410 (41), 4006-4025, 2009
92009
Formal approaches to information-hiding (tutorial)
R Beauxis, K Chatzikokolakis, C Palamidessi, P Panangaden
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis …, 2008
62008
Liquidsoap: A high-level programming language for multimedia streaming
D Baelde, R Beauxis, S Mimram
International Conference on Current Trends in Theory and Practice of …, 2011
52011
Consortium
P Wu, K Chatzikokolakis, R Beauxis, C Picaronny, S Pinot, U PPS, ...
2
The Liquidsoap book
S Mimram, R Beauxis
12021
A smooth probabilistic extension of concurrent constraint programming
R Beauxis
SOFSEM 5404, 0
1
Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols
R Beauxis
Ecole Polytechnique X, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–10