Concepedia

Ioana Cristescu

IC

Statistics

Publications

3

Citations

206

H-Index

3

Active since

2013

Affiliations

Délégation Paris 7(Current)

Université Paris Cité

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

Ioana Cristescu is an author at Délégation Paris 7 specializing in reversible processes, equivalence checking, and semantics.

Publications per year

2013–2018

3

Publications

3

The Kappa platform for rule-based modeling

Pierre Boutillier, Mutaamba Maasha, Li Xing et al. · Bioinformatics · 2018 · 107 citations · Full text

Computing, Bioinformatics, Visualization +13

A Compositional Semantics for the Reversible p-Calculus

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

Language Studies, Computer Science, Formal Methods +10

Contextual equivalences in configuration structures and reversibility

Clément Aubert, Ioana Cristescu · Journal of Logical and Algebraic Methods in Programming · 2016 · 22 citations

Natural Sciences, Mathematics, Set Theory +9

1–3 of 3