The following pages link to Cristian Gratie (Q264540):
Displaying 8 items.
- Complexity of model checking for reaction systems (Q264544) (← links)
- Dependency graphs and mass conservation in reaction systems (Q496028) (← links)
- Composition colored Petri nets for the refinement of reaction-based models (Q1744368) (← links)
- Complete characterization for the fit-preserving data refinement of mass-action reaction networks (Q2628773) (← links)
- An Excursion Through Quantitative Model Refinement (Q2789117) (← links)
- Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation (Q2915051) (← links)
- General directionality and the local behavior of argumentation semantics (Q4589121) (← links)
- Fit-Preserving Data Refinement of Mass-Action Reaction Networks (Q5175892) (← links)
