default search action

combined dblp search
author search
venue search
publication search

ask others

H. J. Sander Bruggink

Harrie Jan Sander Bruggink

> Home > Persons

Person information

affiliation: University of Duisburg-Essen, Department of Computer Science and Applied Cognitive Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Bruggink0MNS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Bruggink0MNS20
H. J. Sander Bruggink, Barbara König, Marleen Matjeka, Dennis Nolte, Lara Stoltenow:
A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java. ICGT 2020: 297-306

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BrugginkK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BrugginkK18
H. J. Sander Bruggink, Barbara König:
Recognizable languages of arrows and cospans. Math. Struct. Comput. Sci. 28(8): 1290-1332 (2018)
2015
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Bruggink0K15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Bruggink0K15
H. J. Sander Bruggink, Barbara König, Sebastian Küpper:
Robustness and closure properties of recognizable languages in adhesive categories. Sci. Comput. Program. 104: 71-98 (2015)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Bruggink0NZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Bruggink0NZ15
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema:
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings. ICGT 2015: 52-68
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Bruggink0NZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Bruggink0NZ15
H. J. Sander Bruggink, Barbara König, Dennis Nolte, Hans Zantema:
Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings. CoRR abs/1505.01695 (2015)
2014
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/Bruggink14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/Bruggink14
H. J. Sander Bruggink:
Towards Process Mining with Graph Transformation Systems. ICGT 2014: 253-268
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/BrugginkKZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/BrugginkKZ14
H. J. Sander Bruggink, Barbara König, Hans Zantema:
Termination Analysis for Graph Transformation Systems. IFIP TCS 2014: 179-194
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/ZantemaKB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/ZantemaKB14
Hans Zantema, Barbara König, H. J. Sander Bruggink:
Termination of Cycle Rewriting. RTA-TLCA 2014: 476-490
2013
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/KupperKB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/KupperKB13
Sebastian Küpper, Barbara König, H. J. Sander Bruggink:
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/BlumeBFK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/BlumeBFK13
Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König:
Treewidth, pathwidth and cospan decompositions with applications to graph-accepting tree automata. J. Vis. Lang. Comput. 24(3): 192-206 (2013)
2012
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BrugginkHK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BrugginkHK12
H. J. Sander Bruggink, Mathias Hülsbusch, Barbara König:
Towards Alternating Automata for Graph Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/BlumeBEK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/BlumeBEK12
Christoph Blume, H. J. Sander Bruggink, Dominik Engelke, Barbara König:
Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking. ICGT 2012: 264-278
2011
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BlumeBFK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BlumeBFK11
Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König:
Treewidth, Pathwidth and Cospan Decompositions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BrugginkH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BrugginkH11
H. J. Sander Bruggink, Mathias Hülsbusch:
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BrugginkCHK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BrugginkCHK11
H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König:
Conditional Reactive Systems. FSTTCS 2011: 191-203
2010
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/BlumeBK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/BlumeBK10
Christoph Blume, H. J. Sander Bruggink, Barbara König:
Recognizable Graph Languages for Checking Invariants. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/BrugginkK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/BrugginkK10
H. J. Sander Bruggink, Barbara König:
A Logic on Subobjects and Recognizability. IFIP TCS 2010: 197-212

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/BrugginkK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/BrugginkK08
H. J. Sander Bruggink, Barbara König:
On the Recognizability of Arrow and Graph Languages. ICGT 2008: 336-350
2007
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bruggink08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bruggink08
H. J. Sander Bruggink:
Towards a Systematic Method for Proving Termination of Graph Transformation Systems. GT-VC@CONCUR 2007: 23-38
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Bruggink06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Bruggink06
H. J. Sander Bruggink:
A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property. RTA 2006: 372-386
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Bruggink03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Bruggink03
H. J. Sander Bruggink:
Residuals in Higher-Order Rewriting. RTA 2003: 123-137

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.