Ion
Petre
professori, matematiikka
Ota yhteyttä
Julkaisut
Full structural model refinement as type refinement of colored Petri nets (2015)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))Reaction systems models for the heat shock response (2014)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Dependency relations between elementary intramolecular operations in gene assembly in ciliates (2014)
Journal of Automata, Languages and Combinatorics
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
The Reduction Power of Simple Operations for Gene Assembly in Ciliates (2014)
(Kirjan tai muun kokoomateoksen osa (B2))Hiding the combinatorial state space explosion of biomodels through colored Petri nets (2014)
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14) (2014)
Electronic Notes in Theoretical Computer Science
(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))