Ion Petre
Department of Mathematics and Statistics ion.petre@utu.fi Office: 367 ORCID identifier: https://orcid.org/0000-0002-5014-5529 |
Areas of expertise
Discrete mathematics; theoretical computer science; complex systems; data science; computational systems biology; machine learning
Discrete mathematics; theoretical computer science; complex systems; data science; computational systems biology; machine learning
Publications 
6 of 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 Non-refereed book chapter or chapter in a compilation book) - Stepwise construction of a metabolic network in Event-B: the heat shock response (2017)
- Computers in Biology and Medicine
(A1 Refereed original research article in a scientific journal) - Tailored approaches in drug development and diagnostics - from molecular design to biological model systems (2017)
- Advanced Healthcare Materials
(A1 Refereed original research article in a scientific journal) - Unveiling Dynamics and Complexity (2017) Kari Jarkko, Manea Florin, Petre Ion
(C2 Editorial work for a scientific compilation book) - 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 Refereed article in a conference publication ) - Complete characterization for the fit-preserving data refinement of mass-action reaction networks (2016)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Complexity of model checking for reaction systems (2016)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Generating the logicome of a biological network (2016) Algorithms for Computational Biology Panchal Charmi, Azimi Sepinoud, Petre Ion
(A4 Refereed article in a conference publication ) - Large-scale executable biology using rapid integration of computational models (2016)
- Computer Science Journal of Moldova
(A1 Refereed original research article in a scientific journal) - 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 Non-refereed book chapter or chapter in a compilation book)
UTU Research Portal