Concepedia

Daniele Varacca

DV

12

Publications

499

Citations

12

H-Index

2003

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Imperial College London

Université Paris Cité

Délégation Paris 7

University of Cambridge

Daniele Varacca is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsLanguageLinguisticsProbabilityFormal SemanticsFormal Verification

Publications per year

2003–2013

12

Publications

12

Distributing probability over non-determinism

Daniele Varacca, Glynn Winskel · Mathematical Structures in Computer Science · 2006 · 125 citations

Engineering, Categorical Point, Probabilistic Computation +17

A Compositional Semantics for the Reversible p-Calculus

Ioana Cristescu, Jean Krivine, Daniele Varacca · 2013 · 77 citations · Full text

Formal Semantics, Reversible P-calculus, Process Calculus +13

Probabilistic event structures and domains

Daniele Varacca, Hagen Völzer, Glynn Winskel · Theoretical Computer Science · 2006 · 68 citations

Probabilistic Ontology, Engineering, Automated Reasoning +5

Semantic subtyping for the pi-calculus

Giuseppe Castagna, Rocco De Nicola, Daniele Varacca · Theoretical Computer Science · 2008 · 44 citations

Formal Semantics, Operational Semantics, Automated Reasoning +5

The powerdomain of indexed valuations

Daniele Varacca · 2003 · 33 citations

Formal Semantics, Probabilistic Ontology, Engineering +15

Rows per page

1–5 of 12