Ion Petre profiilikuva
Ion
Petre
professori, matematiikka

Ota yhteyttä

Julkaisut

Järjestä:

Complexity of model checking for reaction systems (2016)

Theoretical Computer Science
Azimi Sepinoud, Gratie Cristian, Ivanov Sergiu, Manzoni Luca, Petre Ion, Porreca Antonio E.
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Target controllability of linear networks (2016)

International Conference on Computational Methods in Systems Biology, Lecture Notes in Computer Science
Czeizler E., Gratie C., Chiu W., Kanhaiya K., Petre I.
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))

An excursion through quantitative model refinement (2015)

Azimi Sepinoud, Czeizler Eugen, Gratie Cristian, Gratie Diana, Iancu Bogdan, Ibssa Nebiat, Petre Ion , Rogojin Vladimir, Shadbahr Tolou, Shokri Fatemeh
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa)