Concepedia

Daniela Petrişan

DP

8

Publications

156

Citations

8

H-Index

2010

Active since

Affiliations

University of Leicester(Current)

Université Paris Cité

Centre National de la Recherche Scientifique

Délégation Paris 7

Daniela Petrişan is an author at University of Leicester specializing in automated reasoning, linguistics, and language studies.

Top concepts

Automated ReasoningLanguageLinguisticsSemanticsEngineeringFormal MethodsComputer ScienceSyntaxEntropyFinance

Publications per year

2010–2020

8

Publications

8

A general account of coinduction up-to

Filippo Bonchi, Daniela Petrişan, Damien Pous et al. · Acta Informatica · 2016 · 34 citations · Full text

Monetary Policy, Economics, General Account +5

On universal algebra over nominal sets

Alexander Kurz, Daniela Petrişan · Mathematical Structures in Computer Science · 2010 · 23 citations · Full text

Algebraic Logic, Hsp Theorems, Abstract Algebra +10

Combining probabilistic and non-deterministic choice via weak distributive laws

Alexandre Goy, Daniela Petrişan · 2020 · 23 citations · Full text

Engineering, Probabilistic Computation, Convex Algebras +19

Nominal Coalgebraic Data Types with Applications to Lambda Calculus

Alexander Kurz, Daniela Petrişan, Paula Severi et al. · Logical Methods in Computer Science · 2013 · 21 citations · Full text

Algebraic Logic, Domain Theory, Infinitary Lambda Calculus +7

Up-To Techniques for Behavioural Metrics via Fibrations

Filippo Bonchi, Barbara König, Daniela Petrişan · arXiv (Cornell University) · 2018 · 18 citations · Full text

Rows per page

1–5 of 8