Ioana Cristescu
发表
Pierre Boutillier,
Ioana Cristescu,
2017,
ArXiv.
Ioana Cristescu,
Cl'ement Aubert,
2020,
ArXiv.
Daniele Varacca,
Jean Krivine,
Ioana Cristescu,
2016,
RC.
Salah Sadou,
Ioana Cristescu,
Najah Ben Said,
2019,
GraMSec@CSF.
Daniele Varacca,
Jean Krivine,
Ioana Cristescu,
2015,
ICTAC.
Jérôme Feret,
Pierre Boutillier,
Ioana Cristescu,
2019,
ESOP.
Ioana Cristescu,
Clément Aubert,
2015,
ICE.
Jean Krivine,
Xing Li,
Pierre Boutillier,
2018,
Bioinform..
Ioana Cristescu,
Clément Aubert,
Clément Aubert,
2015,
J. Log. Algebraic Methods Program..
Ioana Cristescu,
Clément Aubert,
2018,
ArXiv.
Jean Krivine,
Walter Fontana,
Ioana Cristescu,
2018,
CREST@ETAPS.
Daniel Hirschkoff,
Ioana Cristescu,
2011,
EXPRESS.
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
pdf
Ioana Cristescu,
Cl'ement Aubert,
Clément Aubert,
2020,
CONCUR.
Salah Sadou,
Axel Legay,
Régis Fleurquin,
2018,
2018 13th Annual Conference on System of Systems Engineering (SoSE).
Daniel Hirschkoff,
Ioana Cristescu,
D. Hirschkoff,
2015,
Mathematical Structures in Computer Science.
Daniele Varacca,
Jean Krivine,
Ioana Cristescu,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Axel Legay,
Thomas Given-Wilson,
Ioana Cristescu,
2020,
Theor. Comput. Sci..
Ioana Cristescu,
Najah Ben Said,
N. Said,
2020,
Sci. Comput. Program..
Axel Legay,
Ioana Cristescu,
Jean Quilbeuf,
2018,
FMICS.