Cristian Gratie

Available identifiers

zbMath Open gratie.cristianMaRDI QIDQ264540

List of research outcomes

Publication	Date of Publication	Type
Composition colored Petri nets for the refinement of reaction-based models	2018-04-23	Paper
General directionality and the local behavior of argumentation semantics	2017-11-07	Paper
Complete characterization for the fit-preserving data refinement of mass-action reaction networks	2016-07-15	Paper
Complexity of model checking for reaction systems	2016-03-31	Paper
An Excursion Through Quantitative Model Refinement	2016-02-26	Paper
Dependency graphs and mass conservation in reaction systems	2015-09-16	Paper
Fit-Preserving Data Refinement of Mass-Action Reaction Networks	2015-02-25	Paper
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation	2012-09-21	Paper

Research outcomes over time

This page was built for person: Cristian Gratie