Referentgranskade publikationer

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Composition Colored Petri Nets for the Refinement of Reaction-based Models (2016)
Diana-Elena Gratie, Cristian Gratie
Electronic Notes in Theoretical Computer Science
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Quantitative model refinement in four different frameworks, with applications to the heat shock response (2016)
Diana-Elena Gratie, Bogdan Iancu, Sepinoud Azimi, Ion Petre
CRC Press
Visa på utgivarens sida
G5 Doktorsavhandling (artikel)
Refinement of biomodels using Petri nets (2016)
Diana-Elena Gratie
A4 Konferenspublikationer
An excursion through quantitative model refinement (2015)
Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Full Structural Model Refinement as Type Refinement of Colored Petri Nets (2015)
Diana-Elena Gratie, Ion Petre
CEUR Workshop Proceedings
CEUR-WS.org
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Hiding the combinatorial state space explosion of biomodels through colored Petri nets (2014)
Diana-Elena Gratie, Ion Petre
Analele Universitatii Bucuresti
A4 Konferenspublikationer
On the Implementation of Quantitative Model Refinement (2014)
Iancu B, Gratie D, Azimi S, Petre I
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
ODE analysis of biological systems (2013)
Diana-Elena Gratie, Bogdan Iancu, Ion Petre
Springer
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Excursion Through Quantitative Model Refinement (2015)
Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa, Ion Petre, Vladimir Rogojin, Tolou Shadbahr, Fatemeh Shokri
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Full Structural Model Refinement as Type Refinement of Colored Petri Nets (2015)
Diana-Elena Gratie, Ion Petre

Senast uppdaterad 2018-19-09 vid 19:40