| The Failure of Noise-Based Non-continuous Audio Captchas. E Bursztein, R Beauxis, HS Paskov, D Perito, C Fabry, JC Mitchell IEEE symposium on security and privacy, 19-31, 2011 | 126 | 2011 |
| 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 | 37 | 2008 |
| A non-standard semantics for Kahn networks in continuous time R Beauxis, S Mimram arXiv preprint arXiv:1108.5062, 2011 | 12 | 2011 |
| Probabilistic and nondeterministic aspects of anonymity R Beauxis, C Palamidessi Theoretical Computer Science 410 (41), 4006-4025, 2009 | 12 | 2009 |
| Formal approaches to information-hiding (tutorial) R Beauxis, K Chatzikokolakis, C Palamidessi, P Panangaden International Symposium on Trustworthy Global Computing, 347-362, 2007 | 6 | 2007 |
| 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 | 5 | 2011 |
| Consortium P Wu, K Chatzikokolakis, R Beauxis, C Picaronny, S Pinot, U PPS, ... | 3 | |
| The Liquidsoap book S Mimram, R Beauxis | 1 | 2021 |
| A smooth probabilistic extension of concurrent constraint programming R Beauxis SOFSEM 5404, 0 | 1 | |
| LIPIcs, Volume 12, CSL'11, Complete Volume}} M Bezem, T Ehrhard, M Otto, MY Vardi, F Wolter, J Adamek, S Milius, ... Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2013 | | 2013 |
| Computer Science Logic (CSL'11)-25th International Workshop/20th Annual Conference of the EACSL T Ehrhard, M Otto, MY Vardi, F Wolter, J Adamek, S Milius, LS Moss, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2011 | | 2011 |
| Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols R Beauxis Ecole Polytechnique X, 2009 | | 2009 |
Catuscia PalamidessiInriaZweryfikowany adres z lix.polytechnique.fr
