Ion
Petre
Professor, Mathematics
Contact
Areas of expertise
Discrete mathematics
theoretical computer science
complex systems
data science
computational systems biology
machine learning
Publications
Complexity of model checking for reaction systems (2016)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Large-scale executable biology using rapid integration of computational models (2016)
Computer Science Journal of Moldova
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Target controllability of linear networks (2016)
International Conference on Computational Methods in Systems Biology, Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Target controlability of Linear networks (2016)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))Complete characterization for the fit-preserving data refinement of mass-action reaction networks (2016)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Generating the logicome of a biological network (2016)
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))A Theory of Service Dependency (2016)
Electronic Proceedings in Theoretical Computer Science
(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))From Computer Science to Biology and Back (2015)
Theoretical Computer Science
(C2 Toimitustyö tieteelliselle kokoomateokselle)