Where academic tradition
meets the exciting future

Ion Petre

TUCS GP Supervisor at Åbo Akademi University, Department of Information Technologies

TUCS Research Unit: Computational Biomodeling Laboratory (Combio Lab)

e-mail: ion.petre@abo.fi

Current homepage: http://users.abo.fi/ipetre/

Current TUCS GP Students:

Samuel Rönnqvist (Åbo Akademi University, Department of Information Technologies)

Alumni:

Sepinoud Azimi (Åbo Akademi University, Department of Information Technologies)

Diana-Elena Gratie (Åbo Akademi University, Department of Information Technologies)

Bogdan Iancu (Åbo Akademi University, Department of Information Technologies)

Chang Li (Åbo Akademi University, Department of Information Technologies)

Andrzej Mizera (Åbo Akademi University, Department of Information Technologies)

Vladimir Rogojin (Åbo Akademi University, Department of Information Technologies)

Latest publications:

Click here to see the full list of publications from the TUCS Publication Database

Gheorghe Paun, Ion Petre, Grzegorz Rozenberg, Arto Salomaa (Eds.), At the Intersection of Computer Science with Biology, Chemistry and Physics – In Memory of Solomon Marcus. Theoretical Computer Science 701, 2017.

Gheorghe Paun, Ion Petre, Grzegorz Rozenberg, Arto Salomaa (Eds.), At the Intersection of Computer Science with Biology, Chemistry and Physics. Theoretical Computer Science 701, 2017.

Jarkko Kari, Florin Manea, Ion Petre (Eds.), Unveiling Dynamics and Complexity, Lecture Notes in Computer Science 10307, Springer, 2017.

Mikhail Barash, Ion Petre, A Foundational Framework for Step-by-Step Model Construction. Fundamenta Informaticae 154, 1–10, 2017.

Krishna Kanhaiya, Eugen Czeizler, Cristian Gratie, Ion Petre, Controlling Directed Protein Interaction Networks in Cancer. Scientific Reports 7(1), 10327, 2017.

Cecilia Sahlgren, Annika Meinander, Hongbo Zhang, Fang Cheng, Maren Preis, Chunlin Xu, Tiina Salminen, Diana Toivola, Daniel Abankwa, Didem Karaman, Outi Salo, Ronald Österbacka, John Eriksson, Stefan Willför, Ion Petre, Jouko Peltonen, Reko Leino, Mark Johnson, Jessica Rosenholm, Niklas Sandler, Tailored Approaches in Drug Development and Diagnostics – From Molecular Design to Biological Model Systems. Advanced Healthcare Materials , 1700258, 2017.

Usman Sanwal, Luigia Petre, Ion Petre, Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response. Computers in Biology and Medicine (91), 1–12, 2017.

Andrzej Ehrenfeucht, Ion Petre, Grzegorz Rozenberg, Reaction systems: a model of computation inspired by the functioning of the living cell. In: Stavros Konstantinidis, Nelma Moreira, Rogério Reis, Jeffrey Shallit (Eds.), The Role of Theory in Computer Science, 1–32, World Scientific, 2017.

Sepinoud Azimi, Joonas Jalonen, Jarkko Kari, Ion Petre (Eds.), Computability in Europe 2017, TUCS General Publication, 2017.

Sepinoud Azimi, Hendrik Jan Hoogeboom, Jetty Kleijn, Marloes van der Nat, Ion Petre, Arto Salomaa (Eds.), A Magician in Science: Liber Amicorum Grzegorz Rozenberg, TUCS General Publication, TUCS, 2017.

Dwitiya Tiyagi-Tiwari, Krishna Kanhaiya, Ion Petre, Controllability and Identifying Drug Targets of Metabolic Networks in Cancer. TUCS Technical Reports 1185, 2017.

Bogdan Iancu, Usman Sanwal, Cristian Gratie, Ion Petre, Fit-Preserving Refinement of the ErbB Signalling Pathway. TUCS Technical Reports 1187, TUCS, 2017.

Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Luca Manzoni, Ion Petre, Antonio E. Porreca, Complexity of Model Checking for Reaction Systems. Theoretical Computer Science 623, 103–113, 2016.

Cristian Gratie, Ion Petre, Complete Characterization for the Fit-Preserving Data Refinement of Mass-Action Reaction Networks. Theoretical Computer Science 641, 11–24, 2016.

Vladimir Rogojin, Ion Petre, Large-Scale Executable Biology Using Rapid Integration of Computational Models. Computer Science Journal of Moldova 24(1 (70)), 118 – 135, 2016.

Eugen Czeizler, Cristian Gratie, Wu Kai Chiu, Krishna Kanhaiya, Ion Petre, Target Controllability of Linear Networks. In: Ezio Bartocci, Pietro Lio, Nicola Paoletti (Eds.), Computational Methods in Systems Biology, Lecture Notes in Bioinformatics 9859, 67–81, Springer, 2016.

Charmi Panchal, Sepinoud Azimi, Ion Petre, Generating the Logicome of a Biological Network. In: Botón-Fernández María,, Martín-Vide Carlos,, Santander-Jiménez Sergio,, Miguel A. Vega-Rodríguez (Eds.), Algorithms for Computational Biology, Lecture Notes in Bioinformatics (Subseries of Lecture Notes in Computer Science), 38–49, Springer, 2016.

Vladimir Rogojin, Keivan Kazemi, Krishna Kanhaiya, Eugen Czeizler, Ion Petre, Automatic Discovery of Combined Drug Therapy. In: Andrea Bracciali, David Gilbert, Gilbert MacKenzie (Eds.), Thirteenth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, University of Stirling, UK, 2016.

Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre, Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response. In: Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems, 201–2014, Taylor & Francis, 2016.

Sepinoud Azimi, Charmi Panchal, Andrzej Mizera, Ion Petre, Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems. TUCS Technical Reports 1167, TUCS, 2016.

Eugen Czeizler, Cristian Gratie, Kai Chiu Wu, Krishna Kanhaiya, Ion Petre, Target Controllability of Linear Networks. TUCS Technical Reports 1157, TUCS, 2016.

Andrzej Ehrenfeucht, Ion Petre, Grzegorz Rozenberg, Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell. TUCS Technical Reports 1161, TUCS, 2016.

Krishna Kanhaiya, Eugen Czeizler, Christian Gratie, Ion Petre, Controlling Directed Protein Interaction Networks in Cancer. TUCS Technical Reports 1155, TUCS, 2016.

Krishna Kanhaiya, Vladimir Rogojin, Keivan Kazemi, Eugen Czeizler, Ion Petre, NetControl4BioMed: A Pipeline for Biomedical Data Acquisition and Analysis of Network Controllability. TUCS Technical Reports 1163, TUCS, 2016.

Vladimir Rogojin, Keivan Kazemi, Krishna Kanhaiya, Eugen Czeizler, Ion Petre, NetControl4BioMed – Automatic Discovery of Combined Drug Therapy. TUCS Technical Reports 1162, TUCS, 2016.

Usman Sanwal, Luigia Petre, Ion Petre, Stepwise Construction of a Metabolic Network in Event-B: the Heat Shock Response. TUCS Technical Reports 1160, TUCS, 2016.