H. J. Sander Bruggink

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
A flexible and easy-to-use library for the rapid development of graph tools in Java Graph Transformation	2022-09-01	Paper
Recognizable languages of arrows and cospans Mathematical Structures in Computer Science	2018-09-05	Paper
Proving termination of graph transformation systems using weighted type graphs over semirings Graph Transformation	2015-09-22	Paper
Towards Process Mining with Graph Transformation Systems Graph Transformation	2014-09-26	Paper
Termination analysis for graph transformation systems Advanced Information Systems Engineering	2014-09-15	Paper
Termination of cycle rewriting Lecture Notes in Computer Science	2014-07-24	Paper
Towards a systematic method for proving termination of graph transformation systems Electronic Notes in Theoretical Computer Science	2014-03-26	Paper
Efficient symbolic implementation of graph automata with applications to invariant checking Lecture Notes in Computer Science	2012-10-02	Paper
Conditional reactive systems	2012-08-31	Paper
A logic on subobjects and recognizability IFIP Advances in Information and Communication Technology	2010-10-27	Paper
On the Recognizability of Arrow and Graph Languages Lecture Notes in Computer Science	2008-11-20	Paper
A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property Lecture Notes in Computer Science	2008-09-25	Paper
scientific article; zbMATH DE number 2043525 (Why is no real title available?)	2004-02-16	Paper

Research outcomes over time

This page was built for person: H. J. Sander Bruggink