arrow
Back
I

Ion Petre

University of Turku

22H-index
196Paper Count
1.9KCitation Count
Published Papers 20
Publication Date
Model checking for distributed reaction systems with temporal-epistemic properties
err2025-11-01
err0
errOAAI
errMeski, Artur; Koutny, Maciej; Mikulski, Lukasz; Petre, Ion; Penczek, Wojciech; Piatkowski, Marcin
errShare
errSave
The Preface
err2025-10-01
err0
PREAI
errJonoska, Natasha; Petre, Ion; Rozenberg, Grzegorz
errShare
errSave
The Preface
err2025-10-01
err0
PREAI
errBrodo, Linda; Gori, Roberta; Milazzo, Paolo; Petre, Ion
errShare
errSave
RADAR: Raman Spectral Analysis Using Deep Learning for Artifact Removal (Advanced Optical Materials 25/2025)
err2025-09-03
err0
PREAI
errJoel Sjöberg; Nicoleta Siminea; Andrei Păun; Adrian Lita; Mioara Larion; Ion Petre
errShare
errSave
RADAR: Raman Spectral Analysis Using Deep Learning for Artifact Removal
err2025-07-02
err0
errOAAI
errJoel Sjöberg; Nicoleta Siminea; Andrei Păun; Adrian Lita; Mioara Larion; Ion Petre
errShare
errSave
RAMAN-BASED MACHINE LEARNING PLATFORM REVEALS UNIQUE METABOLIC DIFFERENCES BETWEEN IDHMUT AND IDHWT GLIOMA
err2024-11-11
err0
PREAI
errLita, Adrian; Sjoberg, Joel; Pacioianu, David; Celiku, Orieta; Dowdy, Tyrone; Paun, Andrei; Gilbert, Mark R.; Noushmehr, Houtan; Petre, Ion; Larion, Mioara
errShare
errSave
Connecting the dots: Computational network analysis for disease insight and drug repurposing
err2024-10-01
err2
errOAAI
errSiminea, Nicoleta; Czeizler, Eugen; Popescu, Victor -Bogdan; Petre, Ion; Paun, Andrei
errShare
errSave
Raman-based machine-learning platform reveals unique metabolic differences between IDHmut and IDHwt glioma
err2024-06-03
err0
errOAAI
errLita, Adrian; Sjoeberg, Joel; Pacioianu, David; Siminea, Nicoleta; Celiku, Orieta; Dowdy, Tyrone; Paun, Andrei; Gilbert, Mark R.; Noushmehr, Houtan; Petre, Ion; Larion, Mioara
errShare
errSave
Network controllability solutions for computational drug repurposing using genetic algorithms
err2022-01-26
err8
errOAAI
errPopescu, Victor-Bogdan; Kanhaiya, Krishna; Nastac, Dumitru Iulian; Czeizler, Eugen; Petre, Ion
errShare
errSave
Scalable reaction network modeling with automatic validation of consistency in Event-B
err2022-01-25
err1
errOAAI
errSanwal, Usman; Hoang, Thai Son; Petre, Luigia; Petre, Ion
errShare
errSave
Network analytics for drug repurposing in COVID-19
err2021-12-07
err17
errOAAI
errSiminea, Nicoleta; Popescu, Victor; Martin, Jose Angel Sanchez; Florea, Daniela; Gavril, Georgiana; Gheorghe, Ana-Maria; Itcus, Corina; Kanhaiya, Krishna; Pacioglu, Octavian; Popa, Laura Lona; Trandafir, Romica; Tusa, Maria Iris; Sidoroff, Manuela; Paun, Mihaela; Czeizler, Eugen; Paun, Andrei; Petre, Ion
errShare
errSave
Reaction Systems and Synchronous Digital Circuits
err2019-05-21
err5
errOAAI
errShang, Zeyi; Verlan, Sergey; Petre, Ion; Zhang, Gexiang
errShare
errSave
Refinement-based modeling of the ErbB signaling pathway
err2019-03-01
err1
PREAI
errIancu, Bogdan; Sanwal, Usman; Gratie, Cristian; Petre, Ion
errShare
errSave
Structural Target Controllability of Linear Networks
err2018-07-01
err26
PREAI
errCzeizler, Eugen; Wu, Kai-Chiu; Gratie, Cristian; Kanhaiya, Krishna; Petre, Ion
errShare
errSave
Tailored Approaches in Drug Development and Diagnostics: From Molecular Design to Biological Model Systems
err2017-09-11
err37
errOAAI
errSahlgren, Cecilia; Meinander, Annika; Zhang, Hongbo; Cheng, Fang; Preis, Maren; Xu, Chunlin; Salminen, Tiina A.; Toivola, Diana; Abankwa, Daniel; Rosling, Ari; Sen Karaman, Didem; Salo-Ahen, Outi M. H.; Osterbacka, Ronald; Eriksson, John E.; Willfor, Stefan; Petre, Ion; Peltonen, Jouko; Leino, Reko; Johnson, Mark; Rosenholm, Jessica; Sandler, Niklas
errShare
errSave
Controlling Directed Protein Interaction Networks in Cancer
err2017-09-04
err52
errOAAI
errKanhaiya, Krishna; Czeizler, Eugen; Gratie, Cristian; Petre, Ion
errShare
errSave
Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin
err2012-05-01
err6
PREAI
errCzeizler, Eugen; Mizera, Andrzej; Czeizler, Elena; Back, Ralph-Johan; Eriksson, John E.; Petre, Ion
errShare
errSave
Parallel complexity of signed graphs for gene assembly in ciliates
err2007-08-22
err3
PREAI
errHarju, Tero; Li, Chang; Petre, Ion
errShare
errSave