List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 AI Communications | 2017-11-07 | Paper |
| Complete characterization for the fit-preserving data refinement of mass-action reaction networks Theoretical Computer Science | 2016-07-15 | Paper |
| Complexity of model checking for reaction systems Theoretical Computer Science | 2016-03-31 | Paper |
| An excursion through quantitative model refinement Membrane Computing | 2016-02-26 | Paper |
| Dependency graphs and mass conservation in reaction systems Theoretical Computer Science | 2015-09-16 | Paper |
| Fit-preserving data refinement of mass-action reaction networks Language, Life, Limits | 2015-02-25 | Paper |
| Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation Lecture Notes in Computer Science | 2012-09-21 | Paper |
Research outcomes over time
This page was built for person: Cristian Gratie
