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
3 of 9
- WEBRSIM: A web-based reaction systems simulator (2018) Enjoying Natural Computing Ivanov Sergiu, Rogojin Vladimir, Azimi Sepinoud, Petre Ion
- A Foundational Framework for Step-by-step Model Construction (2017)
- Fundamenta Informaticae
- A Magician in Science. Liber Amicorum Grzegorz Rozenberg (2017) Azimi Sepinoud, Hoogeboom Hendrik Jan, Kleijn Jetty, van der NatMarloes , Petre Ion, Salomaa Arto
- At the Intersection of Computer Science with Biology, Chemistry and Physics – In Memory of Solomon Marcus (2017)
- Theoretical Computer Science
- Controlling Directed Protein Interaction Networks in Cancer (2017)
- Scientific Reports
- Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems (2017)
- International Journal of Foundations of Computer Science
- 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
- Stepwise construction of a metabolic network in Event-B: the heat shock response (2017)
- Computers in Biology and Medicine
- Tailored approaches in drug development and diagnostics - from molecular design to biological model systems (2017)
- Advanced Healthcare Materials
- Unveiling Dynamics and Complexity (2017) Kari Jarkko, Manea Florin, Petre Ion
- 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
- Complete characterization for the fit-preserving data refinement of mass-action reaction networks (2016)
- Theoretical Computer Science
- Complexity of model checking for reaction systems (2016)
- Theoretical Computer Science
- Generating the logicome of a biological network (2016) Algorithms for Computational Biology Panchal Charmi, Azimi Sepinoud, Petre Ion
- Large-scale executable biology using rapid integration of computational models (2016)
- Computer Science Journal of Moldova
- 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
- Target controlability of Linear networks (2016) Proceedings of Computational Methods in Systems Biology Czeizler Eugen, Gratie Cristian, Chiu Wu Kai, Kanhaiya Krishna, Petre Ion
- Target controllability of linear networks (2016)
- Lecture Notes in Computer Science
- 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
- Dependency graphs and mass-conservation in reaction systems (2015)
- Theoretical Computer Science
UTU Research Portal