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

6/17

Reaction systems: a model of computation inspired by the functioning of the living cell (2017) The Role of Theory in Computer Science Ehrenfeucht Andrzej, Petre Ion, Rozenberg Grzegorz
(B2 Vertaisarvioimaton kirjan tai muun kokoomateoksen osa)
Stepwise construction of a metabolic network in Event-B: the heat shock response (2017)
- Computers in Biology and Medicine
Sanwal Usman, Petre Luigia, Petre Ion
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Tailored approaches in drug development and diagnostics - from molecular design to biological model systems (2017)
- Advanced Healthcare Materials
Sahlgren Cecilia; Meinander Annika; Zhang Hongbo; Cheng Fang; Preis Maren; Xu Chunlin; Salminen Tiina; Toivola Diana; Abankwa Daniel; Karaman Didem; Salo Outi; Österbacka Ronald; Eriksson John E; Willför Stefan; Petre Ion; Peltonen Jouko; Leino Reko; Johnson Mark; Rosenholm Jessica; Sandler Niklas
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
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)