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 
4 of 8
- Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14) (2014)
- Electronic Notes in Theoretical Computer Science
(C2 Editorial work for a scientific compilation book) - Reaction systems models for the heat shock response (2014)
- Fundamenta Informaticae
(A1 Refereed original research article in a scientific journal) - Refinement-Based Modelling of the ErbB Signalling Pathway (2014) Iancu Bogdan, Gratie Cristian, Petre Ion
(A1 Refereed original research article in a scientific journal) - The Reduction Power of Simple Operations for Gene Assembly in Ciliates (2014) Discrete Mathematics and Computer Science Azimi Sepinoud, Petre Ion
(B2 Non-refereed book chapter or chapter in a compilation book) - Turku Centre for Computer Science, Annual Report 2013 (2014) Laine Irmeli, Lilius Johan, Mäntylä Tomi, Petre Ion, Tuohi Outi, Tuominen Ilona
(D4 Published development or research report or study ) - ODE analysis of biological systems (2013) Formal Methods for Dynamical Systems Gratie Diana-Elena, Iancu Bogdan, Petre Ion
(B2 Non-refereed book chapter or chapter in a compilation book) - Proceedings of the Fourth International Workshop on Computational Models for Cell Processes (2013) Petre Ion
(C2 Editorial work for a scientific compilation book) - Turku Centre for Computer Science, Annual Report 2012 (2013) Laine Irmeli, Lilius Johan, Mäntylä Tomi, Petre Ion, Tuohi Outi, Tuominen Ilona
(D4 Published development or research report or study ) - A Boolean approach for disentangling the roles of submodules to the global properties of a biomodel (2012)
- Fundamenta Informaticae
(A1 Refereed original research article in a scientific journal) - Computational methods for quantitative submodel comparison (2012) Biomolecular Information Processing. From Logic Systems to Smart Sensors and Actuators Mizera Andrzej, Czeizler Elena, Petre Ion
(B2 Non-refereed book chapter or chapter in a compilation book) - Computational Models for Cell Processes (2012)
- Transactions on computational systems biology
(C2 Editorial work for a scientific compilation book) - Computational Nature of Gene Assembly in Ciliates (2012) Handbook of Natural Computing, volume 2 (Molecular Computation) Brijder Robert, Harju Tero, Jonoska Natasha, Petre Ion, Rozenberg Grzegorz
(B2 Non-refereed book chapter or chapter in a compilation book) - Magic in science (2012)
- Theoretical Computer Science
(C2 Editorial work for a scientific compilation book) - Matrix insertion-deletion systems (2012)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Quantitative analysis of the self-assembly strategies of intermediate filaments from tetrameric vimentin (2012)
- IEEE/ACM Transactions on Computational Biology and Bioinformatics
(A1 Refereed original research article in a scientific journal) - Quantitative model refinement as a solution to the combinatorial state explosion of biomodels (2012)
- Electronic Notes in Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - Quantitative refinement of reaction models (2012) Iancu Bogdan, Czeizler Elena, Czeizler Eugen, Petre Ion
(A1 Refereed original research article in a scientific journal) - Self-assembly models of variable resolution (2012)
- Transactions on computational systems biology
(A1 Refereed original research article in a scientific journal) - Simple gene assembly as a rewriting of directed overlap-inclusion graphs (2012)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - The phosphorylation of the heat shock factor as a modulator for the heat shock response (2012)
- IEEE/ACM Transactions on Computational Biology and Bioinformatics
(A1 Refereed original research article in a scientific journal)
UTU Research Portal