H. J. Sander Bruggink

Available identifiers

zbMath Open bruggink.h-j-sanderMaRDI QIDQ2911623

List of research outcomes

Publication	Date of Publication	Type
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java	2022-09-01	Paper
Recognizable languages of arrows and cospans	2018-09-05	Paper
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings	2015-09-22	Paper
Towards Process Mining with Graph Transformation Systems	2014-09-26	Paper
Termination Analysis for Graph Transformation Systems	2014-09-15	Paper
Termination of Cycle Rewriting	2014-07-24	Paper
Towards a Systematic Method for Proving Termination of Graph Transformation Systems	2014-03-26	Paper
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking	2012-10-02	Paper
Conditional Reactive Systems	2012-08-31	Paper
A Logic on Subobjects and Recognizability	2010-10-27	Paper
On the Recognizability of Arrow and Graph Languages	2008-11-20	Paper
A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property	2008-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q4447227	2004-02-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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