Suivre
Daniele Varacca
Daniele Varacca
Maitre de conférences en informatique, Université Paris Diderot
Adresse e-mail validée de pps.univ-paris-diderot.fr
Titre
Citée par
Citée par
Année
Distributing probability over non-determinism
D Varacca, G Winskel
Mathematical structures in computer science 16 (1), 87-113, 2006
1452006
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
912013
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
672003
Probabilistic event structures and domains
D Varacca, H Völzer, G Winskel
International Conference on Concurrency Theory, 481-496, 2004
572004
Probabilistic event structures and domains
D Varacca, H Völzer, G Winskel
Theoretical Computer Science 358 (2-3), 173-199, 2006
562006
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
432012
Defining fairness
H Völzer, D Varacca, E Kindler
International Conference on Concurrency Theory, 458-472, 2005
392005
Counterexamples in probabilistic LTL model checking for Markov chains
M Schmalz, D Varacca, H Völzer
International Conference on Concurrency Theory, 587-602, 2009
322009
Defining fairness in reactive and concurrent systems
H Völzer, D Varacca
Journal of the ACM (JACM) 59 (3), 1-37, 2012
312012
The powerdomain of indexed valuations
D Varacca
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 299-308, 2002
312002
Rigid Families for CCS and the -calculus
ID Cristescu, J Krivine, D Varacca
International Colloquium on Theoretical Aspects of Computing, 223-240, 2015
282015
Typed event structures and the π-calculus
D Varacca, N Yoshida
Electronic Notes in Theoretical Computer Science 158, 373-397, 2006
282006
Compositional event structure semantics for the internal π-calculus
S Crafa, D Varacca, N Yoshida
International Conference on Concurrency Theory, 317-332, 2007
262007
Typed event structures and the linear π-calculus
D Varacca, N Yoshida
Theoretical Computer Science 411 (19), 1949-1973, 2010
252010
Continuous random variables
J Goubault-Larrecq, D Varacca
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 97-106, 2011
242011
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
192007
Security types for dynamic web data
M Dezani-Ciancaglini, S Ghilezan, J Pantović, D Varacca
Theoretical Computer Science 402 (2-3), 156-171, 2008
162008
Probabilistic petri nets and Mazurkiewicz equivalence
D Varacca, M Nielsen
152003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20