Ion Petre
Department of Mathematics and Statistics ion.petre@utu.fi Office: 367 ORCID identifier: https://orcid.org/0000-0002-5014-5529(external) |
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 
3 of 8
- 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) - 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 Refereed article in a conference publication ) - Target controllability of linear networks (2016)
- Lecture Notes in Computer Science
(A4 Refereed article in a conference publication ) - 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 Non-refereed book chapter or chapter in a compilation book) - Dependency graphs and mass-conservation in reaction systems (2015)
- Theoretical Computer Science
(A1 Refereed original research article in a scientific journal) - From Computer Science to Biology and Back (2015)
- Theoretical Computer Science
(C2 Editorial work for a scientific compilation book) - 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 Refereed article in a conference publication ) - Multidisciplinary Creativity (2015) Gheorghe Marian, Petre Ion, Perez-Jimenez Mario J. , Rozenberg Grzegorz, Salomaa Arto
(C2 Editorial work for a scientific compilation book) - Reaction systems models for the self-assembly of intermediate filaments (2015) Azimi Sepinoud, Panchal Charmi, Czeizler Eugen, Petre Ion
(A1 Refereed original research article in a scientific journal) - The structure of elementary strategies for gene assembly in ciliates (2015)
- Fundamenta Informaticae
(A1 Refereed original research article in a scientific journal) - Dependency relations between elementary intramolecular operations in gene assembly in ciliates (2014)
- Journal of Automata, Languages and Combinatorics
(A1 Refereed original research article in a scientific journal) - Fit-preserving data refinement of mass-action reaction networks (2014) Proceedings of Computability in Europe Gratie Cristian, Petre Ion
(A4 Refereed article in a conference publication ) - Hiding the combinatorial state space explosion of biomodels through colored Petri nets (2014) Gratie Diana-Elena, Petre Ion
(A1 Refereed original research article in a scientific journal) - On the implementation of quantitative model refinement (2014) Algorithms for Computational Biology Iancu Bogdan, Gratie Diana-Elena, Azimi Sepinoud, Petre Ion
(A4 Refereed article in a conference publication )
UTU Research Portal