Mark Minas -

Registered user since Sat 14 Mar 2020

Name:Mark Minas

Country:Germany

Affiliation:Universität der Bundeswehr München

Personal website: https://www.unibw.de/mark.minas

Contributions

2025

GCM

Author of Systems of Graph Formulas and their Equivalence to Alternating Graph Automata within the GCM 2025-track
Committee Member in Program Committee within the GCM 2025-track

ICGT

Author of Specifying and Checking Graph Properties with Alternating Graph Automata within the ICGT Research Papers-track
Author of Graph Formulas and their Translation to Alternating Graph Automata within the ICGT Research Papers-track

2024

ICGT

PC Member in Program Committee

GCM

Author of GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions within the GCM 2024-track

PX

Committee Member in Program Committee within the PX/24-track

2023

VL/HCC

PC Member in Program Committee

GCM

PX

Committee Member in Program Committee within the PX/23-track

2022

VL/HCC

PX

Committee Member in Program Committee within the PX/22-track

2021

VL/HCC

2020

VL/HCC

Committee Member in Program Committee within the Research Papers-track