Ion Petre
Department of Mathematics and Statistics ion.petre@utu.fi : 367 |
Discrete mathematics; theoretical computer science; complex systems; data science; computational systems biology; machine learning
4 of 9
- From Computer Science to Biology and Back (2015)
- Theoretical Computer Science
- 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
- Multidisciplinary CreativityProceedings of the Fourth International Workshop on Computational Models for Cell Processes (2015) Gheorghe Marian, Petre Ion, Perez-Jimenez Mario J. , Rozenberg Grzegorz, Salomaa Arto
- Reaction systems models for the self-assembly of intermediate filamentsTurku Centre for Computer Science, Annual Report 2012 (2015) Azimi Sepinoud, Panchal Charmi, Czeizler Eugen, Petre Ion
- The structure of elementary strategies for gene assembly in ciliates (2015)
- Fundamenta InformaticaeFundamenta Informaticae
- Dependency relations between elementary intramolecular operations in gene assembly in ciliatesComputational methods for quantitative submodel comparison (2014)
- Journal of Automata, Languages and Combinatorics
- Fit-preserving data refinement of mass-action reaction networksComputational Models for Cell Processes (2014) Proceedings of Computability in Europe Gratie Cristian, Petre Ion
- Hiding the combinatorial state space explosion of biomodels through colored Petri nets (2014) Gratie Diana-Elena, Petre Ion
- On the implementation of quantitative model refinement (2014) Algorithms for Computational Biology Iancu Bogdan, Gratie Diana-Elena, Azimi Sepinoud, Petre Ion
- Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14) (2014)
- Electronic Notes in Theoretical Computer Science
- Reaction systems models for the heat shock response (2014)
- Fundamenta Informaticae
- Refinement-Based Modelling of the ErbB Signalling Pathway (2014) Iancu Bogdan, Gratie Cristian, Petre Ion
- The Reduction Power of Simple Operations for Gene Assembly in Ciliates (2014) Discrete Mathematics and Computer Science Azimi Sepinoud, Petre Ion
- Turku Centre for Computer Science, Annual Report 2013 (2014) Laine Irmeli, Lilius Johan, Mäntylä Tomi, Petre Ion, Tuohi Outi, Tuominen Ilona
- ODE analysis of biological systems (2013) Formal Methods for Dynamical Systems Gratie Diana-Elena, Iancu Bogdan, Petre Ion
- (2013) Petre Ion
- (2013) Laine Irmeli, Lilius Johan, Mäntylä Tomi, Petre Ion, Tuohi Outi, Tuominen Ilona
- A Boolean approach for disentangling the roles of submodules to the global properties of a biomodel (2012)
- (2012) Biomolecular Information Processing. From Logic Systems to Smart Sensors and Actuators Mizera Andrzej, Czeizler Elena, Petre Ion
- (2012)
- Transactions on computational systems biology
UTU Research Portal