by Jens Weber | Jul 7, 2022 | formal methods, Grape, tools
Given flight chaos, pandemic and other issues, I was not able to participate in person in this year’s Workshop on Graph Computation Models (GCM ’22). I presented my  paper on control structures for functional graph rewriting using an online presentation...
by Jens Weber | Jun 1, 2022 | formal methods
My paper on a graph transformation control algebra for functional graph transformations has been accepted at the 13th International Workshop on Graph Computation Models (GCM 2022). https://gcm2022.github.io
by Jens Weber | Jun 1, 2022 | formal methods
My paper on functional graph transformations with GrapeVine has been accepted at the Int. Conference on Graph Transformations (ICGT) 2022 in Nante, France.
by Jens Weber | Jun 1, 2022 | formal methods
I am thrilled that my paper on GRAPEpress won a Best Paper Award at the International Conference on Graph Transformations (ICGT 2021). ICGT has never given a best paper award for a tools paper. Apparently this new category has been created because the program...
