Follow
Daniele Varacca
Daniele Varacca
Maitre de conférences en informatique, Université Paris Diderot
Verified email at pps.univ-paris-diderot.fr
Title
Cited by
Cited by
Year
Distributing probability over non-determinism
D Varacca, G Winskel
Mathematical structures in computer science 16 (1), 87-113, 2006
1622006
A compositional semantics for the reversible p-calculus
I Cristescu, J Krivine, D Varacca
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 388-397, 2013
1082013
Semantic subtyping for the pi-calculus
G Castagna, R De Nicola, D Varacca
Theoretical Computer Science 398 (1-3), 217-242, 2008
822008
Probability, nondeterminism and concurrency: two denotational models for probabilistic computation
D Varacca
BRICS, 2003
752003
Probabilistic event structures and domains
D Varacca, H Völzer, G Winskel
Theoretical Computer Science 358 (2-3), 173-199, 2006
602006
Probabilistic event structures and domains
D Varacca, H Völzer, G Winskel
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
602004
Event structure semantics of parallel extrusion in the pi-calculus
S Crafa, D Varacca, N Yoshida
International Conference on Foundations of Software Science and …, 2012
552012
Defining fairness
H Völzer, D Varacca, E Kindler
CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005
422005
Defining fairness in reactive and concurrent systems
H Völzer, D Varacca
Journal of the ACM (JACM) 59 (3), 1-37, 2012
332012
Counterexamples in probabilistic LTL model checking for Markov chains
M Schmalz, D Varacca, H Völzer
International Conference on Concurrency Theory, 587-602, 2009
332009
Rigid families for CCS and the-calculus
ID Cristescu, J Krivine, D Varacca
International Colloquium on Theoretical Aspects of Computing, 223-240, 2015
322015
Typed event structures and the linear π-calculus
D Varacca, N Yoshida
Theoretical Computer Science 411 (19), 1949-1973, 2010
322010
Compositional Event Structure Semantics for the Internal π-Calculus
S Crafa, D Varacca, N Yoshida
International Conference on Concurrency Theory, 317-332, 2007
302007
The powerdomain of indexed valuations
D Varacca
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 299-308, 2002
302002
Typed event structures and the π-calculus
D Varacca, N Yoshida
Electronic Notes in Theoretical Computer Science 158, 373-397, 2006
282006
Continuous random variables
J Goubault-Larrecq, D Varacca
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 97-106, 2011
232011
Probabilistic π-calculus and event structures
D Varacca, N Yoshida
Electronic Notes in Theoretical Computer Science 190 (3), 147-166, 2007
222007
Temporal logics and model checking for fairly correct systems
D Varacca, H Volzer
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 389-398, 2006
222006
Rigid families for the reversible-calculus
I Cristescu, J Krivine, D Varacca
International Conference on Reversible Computation, 3-19, 2016
182016
Semantic subtyping for objects and classes
O Dardha, D Gorla, D Varacca
International Conference on Formal Methods for Open Object-Based Distributed …, 2013
18*2013
The system can't perform the operation now. Try again later.
Articles 1–20