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
1512006
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
1022013
Semantic subtyping for the pi-calculus
G Castagna, R De Nicola, D Varacca
Theoretical Computer Science 398 (1-3), 217-242, 2008
802008
Probability, nondeterminism and concurrency: two denotational models for probabilistic computation
D Varacca
BRICS, 2003
702003
Probabilistic event structures and domains
D Varacca, H Völzer, G Winskel
CONCUR 3170, 481-496, 2004
602004
Probabilistic event structures and domains
D Varacca, H Völzer, G Winskel
Theoretical Computer Science 358 (2-3), 173-199, 2006
582006
Event structure semantics of parallel extrusion in the pi-calculus
S Crafa, D Varacca, N Yoshida
Foundations of Software Science and Computational Structures: 15th …, 2012
532012
Defining fairness
H Völzer, D Varacca, E Kindler
CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005
422005
Rigid families for CCS and the-calculus
ID Cristescu, J Krivine, D Varacca
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
352015
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
CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009
322009
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 linear π-calculus
D Varacca, N Yoshida
Theoretical Computer Science 411 (19), 1949-1973, 2010
292010
Compositional Event Structure Semantics for the Internal π-Calculus
S Crafa, D Varacca, N Yoshida
CONCUR 2007–Concurrency Theory: 18th International Conference, CONCUR 2007 …, 2007
292007
Typed event structures and the π-calculus
D Varacca, N Yoshida
Electronic Notes in Theoretical Computer Science 158, 373-397, 2006
272006
Continuous random variables
J Goubault-Larrecq, D Varacca
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 97-106, 2011
232011
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
232006
Probabilistic π-calculus and event structures
D Varacca, N Yoshida
Electronic Notes in Theoretical Computer Science 190 (3), 147-166, 2007
202007
Rigid families for the reversible-calculus
I Cristescu, J Krivine, D Varacca
Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016
172016
Semantic subtyping for objects and classes
O Dardha, D Gorla, D Varacca
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International …, 2013
15*2013
The system can't perform the operation now. Try again later.
Articles 1–20