Loading...
Loading...

Go to the content (press return)

Automated reasoning for attributed graph properties

Author
Schneider, S.; Lambers, L.; Orejas, F.
Type of activity
Journal article
Journal
International journal on software tools for technology transfer
Date of publication
2018-11
Volume
20
Number
6
First page
705
Last page
737
DOI
https://doi.org/10.1007/s10009-018-0496-3 Open in new window
Repository
http://hdl.handle.net/2117/124318 Open in new window
URL
https://link.springer.com/article/10.1007/s10009-018-0496-3 Open in new window
Abstract
Graphs are ubiquitous in computer science. Moreover, in various application fields, graphs are equipped with attributes to express additional information such as names of entities or weights of relationships. Due to the pervasiveness of attributed graphs, it is highly important to have the means to express properties on attributed graphs to strengthen modeling capabilities and to enable analysis. Firstly, we introduce a new logic of attributed graph properties, where the graph part and attributi...
Citation
Schneider, S., Lambers, L., Orejas, F. Automated reasoning for attributed graph properties. "International journal on software tools for technology transfer", Novembre 2018, vol. 20, núm. 6, p. 705-737.
Keywords
Attributed graphs, Graph queries, Model generation, Nested graph conditions, Tableau method
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants