Autor der Publikation

A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java.

, , , , und . ICGT, Volume 12150 von Lecture Notes in Computer Science, Seite 297-306. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Process Mining with Graph Transformation Systems.. ICGT, Volume 8571 von Lecture Notes in Computer Science, Seite 253-268. Springer, (2014)Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages., und . ECEASST, (2011)A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property.. RTA, Volume 4098 von Lecture Notes in Computer Science, Seite 372-386. Springer, (2006)Towards a Systematic Method for Proving Termination of Graph Transformation Systems. Electronic Notes in Theoretical Computer Science, 213 (1): 23--38 (Mai 2008)Residuals in Higher-Order Rewriting.. RTA, Volume 2706 von Lecture Notes in Computer Science, Seite 123-137. Springer, (2003)Towards a Systematic Method for Proving Termination of Graph Transformation Systems.. GT-VC@CONCUR, Volume 213 von Electronic Notes in Theoretical Computer Science, Seite 23-38. Elsevier, (2007)A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java., , , , und . ICGT, Volume 12150 von Lecture Notes in Computer Science, Seite 297-306. Springer, (2020)