Concepedia

Daniela Petrişan

DP

Statistics

Publications

2

Citations

52

H-Index

2

Active since

2014

Affiliations

Université Claude Bernard Lyon 1(Current)

Daniela Petrişan is an author at Université Claude Bernard Lyon 1 specializing in proof complexity, engineering, and formal verification.

Top concepts

Publications per year

2014–2023

2

Publications

2

Coinduction up-to in a fibrational setting

Filippo Bonchi, Daniela Petrişan, Damien Pous et al. · 2014 · 42 citations · Full text

, , +15

Up-to techniques for behavioural metrics via fibrations

Filippo Bonchi, Barbara König, Daniela Petrişan · Mathematical Structures in Computer Science · 2023 · 10 citations · Full text

1–2 of 2