A flexible and easy-to-use library for the rapid development of graph tools in Java

DOI10.1007/978-3-030-51372-6_17zbMATH Open1502.68014OpenAlexW3038081141MaRDI QIDQ5100741FDOQ5100741

Lars Stoltenow, Marleen Matjeka, H. J. Sander Bruggink, Dennis Nolte, Barbara König

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51372-6_17

Recommendations

• scientific article; zbMATH DE number 2084303
• JGraphT—A Java Library for Graph Data Structures and Algorithms
• An open graph visualization system and its applications to software engineering
• Graph Transformation by Computational Category Theory
• scientific article; zbMATH DE number 1923047

zbMATH Keywords

graph transformationrapid developmentgraph tools

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Software, source code, etc. for problems pertaining to computer science (68-04)

Cites Work

• GXL: a graph-based standard exchange format for reengineering
• Correctness of high-level transformation systems relative to nested conditions
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Graph Transformation by Computational Category Theory
• Tableau-Based Reasoning for Graph Properties
• Conditional reactive systems
• Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
• Termination Analysis for Graph Transformation Systems

Cited In (1)

• JGraphT—A Java Library for Graph Data Structures and Algorithms

Uses Software

• PROGRES
• AGG
• GROOVE
• GXL
• ENFORCe
• Grez
• DrAGoM
• VxToolbox
• SiTra
• GraJ
• VisiGraphJS
• Podmineny
• CatLib
• DPOdactic

This page was built for publication: A flexible and easy-to-use library for the rapid development of graph tools in Java

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100741)