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

3/8

Unveiling Dynamics and Complexity (2017) Kari Jarkko, Manea Florin, Petre Ion
(C2 Toimitustyö tieteelliselle kokoomateokselle)
Automatic discovery of combined drug therapy (2016) Proceedings of the Thirteenth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics Rogojin Vladimir, Kazemi Keivan, Kanhaiya Krishna, Czeizler Eugen, Petre Ion
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Complete characterization for the fit-preserving data refinement of mass-action reaction networks (2016)
- Theoretical Computer Science
Gratie Cristian, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Complexity of model checking for reaction systems (2016)
- Theoretical Computer Science
Azimi Sepinoud, Gratie Cristian, Ivanov Sergiu, Manzoni Luca, Petre Ion, Porreca Antonio E.
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Generating the logicome of a biological network (2016) Algorithms for Computational Biology Panchal Charmi, Azimi Sepinoud, Petre Ion
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
Large-scale executable biology using rapid integration of computational models (2016)
- Computer Science Journal of Moldova
Rogojin Vladimir, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Quantitative model refinement in four different frameworks, with applications to the heat shock response (2016) From Action Systems to Distributed Systems: the Refinement Approach Gratie Diana-Elena, Iancu Bogdan, Azimi Sepinoud, Petre Ion
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa)
Target controlability of Linear networks (2016) Proceedings of Computational Methods in Systems Biology Czeizler Eugen, Gratie Cristian, Chiu Wu Kai, Kanhaiya Krishna, Petre Ion
(A4 Vertaisarvioitu artikkeli konferenssijulkaisussa)
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)