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
Formal Methods for Open Object-Based Distributed 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luciana Foss