Ion Petre - UTU Tutkimustietojärjestelmä - UTU Tutkimustietojärjestelmä

Ion Petre

- professori,
matematiikka (matematiikan ja tilastotieteen laitos)

Department of Mathematics and Statistics

ion.petre@utu.fi

Työhuone: 367

ORCID-tunniste: https://orcid.org/0000-0002-5014-5529

Petre_CV January 2023 full.pdf

Homepage

YouTube

Asiantuntijuusalueet

Discrete mathematics; theoretical computer science; complex systems; data science; computational systems biology; machine learning

Julkaisut

4/9

Target controllability of linear networks (2016)
- Lecture Notes in Computer Science
Computational Methods in Systems Biology, 14th International Conference, CMSB 2016 Czeizler E., Gratie C., Chiu W., Kanhaiya K., Petre I.
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
An excursion through quantitative model refinement (2015) Membrane Computing 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)
Dependency graphs and mass-conservation in reaction systems (2015)
- Theoretical Computer Science
Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
From Computer Science to Biology and Back (2015)
- Theoretical Computer Science
Merelli Emanuela, Petre Ion
(C2 Toimitustyö tieteelliselle kokoomateokselle)
Full structural model refinement as type refinement of colored Petri nets (2015) Proceedings of the 6th International Workshop on Biological Processes & Petri Nets Gratie Diana-Elena, Petre Ion
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Multidisciplinary Creativity (2015) Gheorghe Marian, Petre Ion, Perez-Jimenez Mario J. , Rozenberg Grzegorz, Salomaa Arto
(C2 Toimitustyö tieteelliselle kokoomateokselle)
Reaction systems models for the self-assembly of intermediate filaments (2015) Azimi Sepinoud, Panchal Charmi, Czeizler Eugen, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
The structure of elementary strategies for gene assembly in ciliates (2015)
- Fundamenta Informaticae
Rogojin Vladimir, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Dependency relations between elementary intramolecular operations in gene assembly in ciliates (2014)
- Journal of Automata, Languages and Combinatorics
Petre Ion, Rogojin Vladimir
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Fit-preserving data refinement of mass-action reaction networks (2014) Proceedings of Computability in Europe Gratie Cristian, Petre Ion
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Hiding the combinatorial state space explosion of biomodels through colored Petri nets (2014) Gratie Diana-Elena, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
On the implementation of quantitative model refinement (2014) Algorithms for Computational Biology Iancu Bogdan, Gratie Diana-Elena, Azimi Sepinoud, Petre Ion
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14) (2014)
- Electronic Notes in Theoretical Computer Science
Merelli Emanuela, Petre Ion
(C2 Toimitustyö tieteelliselle kokoomateokselle)
Reaction systems models for the heat shock response (2014)
- Fundamenta Informaticae
Azimi Sepinoud, Iancu Bogdan, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Refinement-Based Modelling of the ErbB Signalling Pathway (2014) Iancu Bogdan, Gratie Cristian, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
The Reduction Power of Simple Operations for Gene Assembly in Ciliates (2014) Discrete Mathematics and Computer Science Azimi Sepinoud, Petre Ion
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa)
Turku Centre for Computer Science, Annual Report 2013 (2014) Laine Irmeli, Lilius Johan, Mäntylä Tomi, Petre Ion, Tuohi Outi, Tuominen Ilona
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys )
ODE analysis of biological systems (2013) Formal Methods for Dynamical Systems Gratie Diana-Elena, Iancu Bogdan, Petre Ion
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa)
Proceedings of the Fourth International Workshop on Computational Models for Cell Processes (2013) Petre Ion
(C2 Toimitustyö tieteelliselle kokoomateokselle)
Turku Centre for Computer Science, Annual Report 2012 (2013) Laine Irmeli, Lilius Johan, Mäntylä Tomi, Petre Ion, Tuohi Outi, Tuominen Ilona
(D4 Julkaistu kehittämis- tai tutkimusraportti tai -selvitys )