author-photo

Romain Beauxis

École Polytechnique

9

Papers

36

Citations

Citation Trend

Filter By

Papers (9) Sort By

Journal Conference Others

A Non-Standard Semantics for Kahn Networks in Continuous Time

2011 CSL | Computer Science Logic
- Romain Beauxis
- Samuel Mimram
Show All
- Source
- Cite
- Save
Citations (5)
Liquidsoap: a high-level programming language for multimedia streaming

2011 SOFSEM | Conference on Current Trends in Theory and Practice of Informatics
Show All
- Source
- Cite
- Save
Citations (0)
A smooth probabilistic extension of concurrent constraint programming

2009
- Romain Beauxis
Show All
- Source
- Cite
- Save
Citations (0)
Probabilistic and nondeterministic aspects of anonymity

2009 Theoretical Computer Science
- Romain Beauxis
- Catuscia Palamidessi
Show All
- Source
- Cite
- Save
Citations (0)
Probabilistic and nondeterministic aspects of anonymity

2009 Theoretical Computer Science
- Romain Beauxis
- Catuscia Palamidessi
Show All
- Source
- Cite
- Save
Citations (3)
On the Asynchronous Nature of the Asynchronous Π -Calculus

2008
Show All
- Source
- Cite
- Save
Citations (23)
Probabilistic and Concurrent Models for Security

2008 ICLP | International Conference on Logic Programming
- Romain Beauxis
Show All
- Source
- Cite
- Save
Citations (0)
Formal approaches to information-hiding (Tutorial)

2007 TGC | Trustworthy Global Computing
Show All
- Source
- Cite
- Save
Citations (5)
Concurrence, Mobilité et Transactions

2005
Show All
- Source
- Cite
- Save
Citations (0)