Diana-Elena Gratie

According to our database, Diana-Elena Gratie authored at least 6 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Quantitative Model Refinement in Four Different Frameworks, with Applications to the Heat Shock Response.

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

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Composition Colored Petri Nets for the Refinement of Reaction-based Models.

Diana-Elena Gratie, Cristian Gratie

Proceedings of the 6th International Workshop on Static Analysis and Systems Biology, 2015

An Excursion Through Quantitative Model Refinement.

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

Proceedings of the Membrane Computing, 2015

Full structural model refinement as type refinement of colored Petri nets.

Diana-Elena Gratie, Ion Petre

Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), 2015

2014

On the Implementation of Quantitative Model Refinement.

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

Proceedings of the Algorithms for Computational Biology - First International Conference, 2014

2013

ODE Analysis of Biological Systems.

Diana-Elena Gratie, Bogdan Iancu, Ion Petre

Proceedings of the Formal Methods for Dynamical Systems, 2013