STAF 2024
Mon 8 - Thu 11 July 2024 Enschede, Netherlands
Tue 9 Jul 2024 12:00 - 12:30 at Waaier 3 - GCM Session 1 Chair(s): Jörg Endrullis

A recent paper by Drewes, Hoffmann, and Minas (GCM 2023 proceedings, to appear) has shown that certain graph languages can be defined and efficiently recognized by finite automata when strings over typed symbols are interpreted as graphs. This approach has been implemented in the tool Grappa RE, which is described in this paper. Grappa RE allows for the convenient specification of graph languages through regular expressions, converts each of them into a minimized deterministic finite automaton, and checks whether it can recognize graphs without the need for backtracking. Measurements confirm that recognition runs in linear time.

Tue 9 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
GCM Session 1GCM at Waaier 3
Chair(s): Jörg Endrullis Vrije Universiteit Amsterdam
11:00
30m
Research paper
Linear-Time Graph Programs for Unrestricted Graphs
GCM
Ziad Ismaili Alaoui Department of Computer Science, University of York, Detlef Plump University of York
Pre-print
11:30
30m
Research paper
Scalable Pattern Matching in Computation Graphs
GCM
Luca Mondada University of Oxford, Pablo Andres-Martinez University of Edinburgh
Pre-print
12:00
30m
Research paper
GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
GCM
Mattia De Rosa University of Salerno, Mark Minas Universität der Bundeswehr München
Pre-print