Luciana Foss

Available identifiers

zbMath Open foss.lucianaMaRDI QIDQ436352

List of research outcomes

Publication	Date of Publication	Type
Theorem proving graph grammars with attributes and negative application conditions	2017-06-15	Paper
Translating controlled graph grammars to ordinary graph grammars	2017-05-19	Paper
Robustness of \(f\)- and \(g\)-generated fuzzy (co)implications: the Yager's (co)implication case study	2017-05-19	Paper
Theorem proving graph grammars: strategies for discharging proof obligations	2014-07-08	Paper
Towards a notion of transaction in graph rewriting	2014-03-21	Paper
Formal verification of object-oriented graph grammars specifications	2013-12-20	Paper
Specification patterns for properties over reachable states of graph grammars	2012-11-06	Paper
Correct transformation: from object-based graph grammars to PROMELA	2012-07-20	Paper
Model Checking the Ant Colony Optimisation	2010-10-27	Paper
Verification of distributed object-based systems.	2010-01-12	Paper
Graph Transformation with Dependencies for the Specification of Interactive Systems	2009-10-22	Paper
Graph Transactions as Processes	2008-11-27	Paper
Graph Transformations	2007-06-21	Paper

Research outcomes over time

This page was built for person: Luciana Foss