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

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.