Ioana Cristescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2013–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CONCUR | How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. | Clment Aubert, Ioana Cristescu |
| 2019 | ESOP | Counters in Kappa: Semantics, Simulation, and Static Analysis. | Pierre Boutillier, Ioana Cristescu, Jrme Feret |
| 2018 | FMICS | A Modeling Language for Security Threats of IoT Systems. | Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf |
| 2016 | RC | Rigid Families for the Reversible π-Calculus. | Ioana Cristescu, Jean Krivine, Daniele Varacca |
| 2013 | LICS | A Compositional Semantics for the Reversible p-Calculus. | Ioana Cristescu, Jean Krivine, Daniele Varacca |