Concepedia

Christine Tasson

CT

Statistics

Publications

9

Citations

257

H-Index

9

Active since

2009

Affiliations

Université Paris Cité(Current)

Délégation Paris 7

Centre National de la Recherche Scientifique

Université Sorbonne Paris Nord

Laboratoire d'Informatique de Paris-Nord

Christine Tasson is an author at Université Paris Cité specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProbabilitySemanticsFormal VerificationStatistical InferenceComputational ComplexitySemantic Web

Publications per year

2009–2019

9

Publications

9

Probabilistic coherence spaces are fully abstract for probabilistic PCF

Thomas Ehrhard, Christine Tasson, Michele Pagani · 2014 · 77 citations · Full text

Random Primitive, Probabilistic Ontology, Engineering +14

Full Abstraction for Probabilistic PCF

Thomas Ehrhard, Michele Pagani, Christine Tasson · Journal of the ACM · 2018 · 43 citations

Engineering, Type Theory, Higher-order Logic +20

The Computational Meaning of Probabilistic Coherence Spaces

Thomas Ehrhard, Michele Pagani, Christine Tasson · 2011 · 30 citations · Full text

Probabilistic Ontology, Engineering, Power Series +14

Distributed computability in Byzantine asynchronous systems

Hammurabi Mendes, Christine Tasson, Maurice Herlihy · 2014 · 27 citations

Cluster Computing, Engineering, Distributed Algorithms +17

Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus

Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix et al. · Logical Methods in Computer Science · 2014 · 22 citations · Full text

Algebraic Logic, Canonical Languages, Engineering +12

1–5 of 9