Luciana Foss

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
Theorem proving graph grammars with attributes and negative application conditions Theoretical Computer Science	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 Lecture Notes in Computer Science	2014-07-08	Paper
Towards a notion of transaction in graph rewriting Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Formal verification of object-oriented graph grammars specifications Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Specification patterns for properties over reachable states of graph grammars Lecture Notes in Computer Science	2012-11-06	Paper
Correct transformation: from object-based graph grammars to PROMELA Science of Computer Programming	2012-07-20	Paper
Model Checking the Ant Colony Optimisation Distributed, Parallel and Biologically Inspired Systems	2010-10-27	Paper
Verification of distributed object-based systems. Lecture Notes in Computer Science	2010-01-12	Paper
Graph Transformation with Dependencies for the Specification of Interactive Systems Recent Trends in Algebraic Development Techniques	2009-10-22	Paper
Graph Transactions as Processes Lecture Notes in Computer Science	2008-11-27	Paper
Graph Transformations Lecture Notes in Computer Science	2007-06-21	Paper

Research outcomes over time

This page was built for person: Luciana Foss