Ion Petre

Quantitative model refinement in four different frameworks, with applications to the heat shock response (2016)

Gratie Diana-Elena, Iancu Bogdan, Azimi Sepinoud, Petre Ion

(Kirjan tai muun kokoomateoksen osa (B2))

Automatic discovery of combined drug therapy (2016)

Rogojin Vladimir, Kazemi Keivan, Kanhaiya Krishna, Czeizler Eugen, Petre Ion

(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))

Complexity of model checking for reaction systems (2016)

Theoretical Computer Science

Azimi Sepinoud, Gratie Cristian, Ivanov Sergiu, Manzoni Luca, Petre Ion, Porreca Antonio E.

(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

Rogojin Vladimir, Petre Ion

(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Multidisciplinary Creativity (2015)

Gheorghe Marian, Petre Ion, Perez-Jimenez Mario J. , Rozenberg Grzegorz, Salomaa Arto

(Toimitustyö tieteelliselle lehdelle, kokoomateokselle tai konferenssijulkaisulle (C2))

The structure of elementary strategies for gene assembly in ciliates (2015)

Fundamenta Informaticae

Rogojin Vladimir, Petre Ion

(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Dependency graphs and mass-conservation in reaction systems (2015)

Theoretical Computer Science

Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre

(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

Full structural model refinement as type refinement of colored Petri nets (2015)

Gratie Diana-Elena, Petre Ion

(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))

Reaction systems models for the self-assembly of intermediate filaments (2015)

Azimi Sepinoud, Panchal Charmi, Czeizler Eugen, Petre Ion

(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))

An excursion through quantitative model refinement (2015)

Azimi Sepinoud, Czeizler Eugen, Gratie Cristian, Gratie Diana, Iancu Bogdan, Ibssa Nebiat, Petre Ion , Rogojin Vladimir, Shadbahr Tolou, Shokri Fatemeh

(Kirjan tai muun kokoomateoksen osa (B2))

Contact

Links

Areas of expertise

Publications

Sort by:

Quantitative model refinement in four different frameworks, with applications to the heat shock response (2016)

Automatic discovery of combined drug therapy (2016)

Complexity of model checking for reaction systems (2016)

Large-scale executable biology using rapid integration of computational models (2016)

Multidisciplinary Creativity (2015)

The structure of elementary strategies for gene assembly in ciliates (2015)

Dependency graphs and mass-conservation in reaction systems (2015)

Full structural model refinement as type refinement of colored Petri nets (2015)

Reaction systems models for the self-assembly of intermediate filaments (2015)

An excursion through quantitative model refinement (2015)