![Ion Petre profile picture](/sites/default/files/styles/profile_picture_horizontal/public/images/profile/18421451.jpg?itok=lzoCbH0g)
Ion
Petre
Professor, Mathematics
Contact
Areas of expertise
Discrete mathematics
theoretical computer science
complex systems
data science
computational systems biology
machine learning
Publications
Stepwise construction of a metabolic network in Event-B: the heat shock response (2017)
Computers in Biology and Medicine
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
A Magician in Science. Liber Amicorum Grzegorz Rozenberg (2017)
(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))Unveiling Dynamics and Complexity (2017)
(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))Controlling Directed Protein Interaction Networks in Cancer (2017)
Scientific Reports
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
A Foundational Framework for Step-by-step Model Construction (2017)
Fundamenta Informaticae
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Generating the logicome of a biological network (2016)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))Quantitative model refinement in four different frameworks, with applications to the heat shock response (2016)
(Kirjan tai muun kokoomateoksen osa (B2))A Theory of Service Dependency (2016)
Electronic Proceedings in Theoretical Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Automatic discovery of combined drug therapy (2016)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))Complexity of model checking for reaction systems (2016)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))