VLDB 2026 Research / reviewers in the wild / expert
Mark Minas
dblp:32/5917
· DBLP profile ↗
34ranked-venue papers
4as first author
5since 2021 · last 2025
0000-0002-8968-9013ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 17 · 1 first-author · 4 since 2021Databases, data management, data science and information retrieval · 14 · 1 first-author · 4 since 2021Human-computer interaction and ubiquitous computing · 9 · 1 first-authorSoftware engineering, systems software and programming languages · 5 · 1 first-authorArtificial intelligence and machine learning · 1Systems, architecture and hardware · 1 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Specifying and Checking Graph Properties with Alternating Graph Automata
Frank Drewes, Berthold Hoffmann, Mark Minas |
ICGT | 3 |
| 2025 | Graph Formulas and Their Translation to Alternating Graph Automata
Frank Drewes, Berthold Hoffmann, Mark Minas |
ICGT | 3 |
| 2022 | Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power
Frank Drewes, Berthold Hoffmann, Mark Minas |
ICGT | 3 |
| 2022 | Visual exploration of visual parser executionabstractAbstract In this paper, we present ParVis, an interactive visual system for the animated visualization of logged parser trace executions. The system allows a parser implementer to create a visualizer for generated parsers by simply defining a JavaScript module that maps each logged parser instruction into a set of events driving the visual system interface. The result is a set of interacting graphical/text windows that allows users to explore logged parser executions and helps them to have a complete understanding of how the parser behaves during its execution on a given input. We used our system to visualize the behavior of textual as well as visual parsers and describe here two of these uses. Moreover, in order to validate the efficacy of our system, we ran a user experiment where students analyzed a CUP-generated parser both with ParVis, instantiated to LALR parsers, and the standard CUP debug facilities. The results show that students can indeed analyze parser behavior and find mistakes in parser specifications more easily and quickly using ParVis. In particular, in some parser design tasks, using ParVis participants achieved a higher success rate of 50% in 42% less time with respect to the baseline system. Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella, Mark Minas |
Multim. Tools Appl. | 4 |
| 2021 | Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars
Frank Drewes, Berthold Hoffmann, Mark Minas |
ICGT | 3 |
| 2020 | ParVis: A visual tool for exploring parser execution tracesabstractIn this paper, we present ParVis, an interactive visual system for the animated visualization of logged parser trace executions. The system allows a parser implementer to create a visualizer for generated parsers by simply defining a JavaScript module that maps each logged parser instruction into a set of events driving the visual system interface. The result is a set of interacting graphical/text windows that allows users to explore logged parser executions and helps them to have a complete understanding of how the parser behaves during its execution on a given input. Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella, Mark Minas |
AVI | 4 |
| 2020 | Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers
Frank Drewes, Berthold Hoffmann, Mark Minas |
ICGT | 3 |
| 2019 | Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars
Frank Drewes, Berthold Hoffmann, Mark Minas |
ICGT | 3 |
| 2019 | Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars
Berthold Hoffmann, Mark Minas |
LATA | 2 |
| 2019 | Visual Parsing and Parser VisualizationabstractGeneralized parsers for visual languages result to be more complex than the corresponding text parsers: their applications to ambiguous inputs with visual tokens scattered and/or connected on a 2d or 3d space are very difficult to trace without the support of proper visualization tools. In this work, we give a brief description of generalized parsers for visual structures and illustrate a tool for the visualization of its execution. To do this, we provide examples based on a Visual Generalized LR (VGLR) parser applied to flowcharts. Gennaro Costagliola, Mattia De Rosa, Mark Minas |
VL/HCC | 3 |
| 2017 | Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars
Frank Drewes, Berthold Hoffmann, Mark Minas |
ICGT | 3 |
| 2017 | Investigating uni-stroke gesture input for diagram editors on large wall-mounted touchscreensabstractNowadays, touch-input devices are widely available. The use of such touch input devices, e.g., large wall-mounted touchscreens in (team) meeting rooms appear appropiate and desirable. Thus, team meetings can change from one-man-presentation-shows towards collaborative and interactive developing of plans and processes via designing and creating its corresponding diagrams. In this paper, we present an approach for interacting with diagrams using uni-stroke touch gestures. We focus on large wall-mounted touchscreens and present an editor design for such environments. In order to validate the usability of our approach we report on the results of a user study with a diagram editor for Business Process Modeling Networks. Christian Schenk 0001, Sonja Schimmler, Mark Minas |
VL/HCC | 3 |
| 2016 | Operating diagram editors through unistroke gesturesabstractIn software development processes, diagram editors play an important role. For instance, editors for creating UML diagrams are often used in early stages of software development. Three input methodologies can be distinguished: traditional mode-based editors, sketching editors, and gesture-based editors. Most of today's diagram editors are mode-based and use the mouse as an input device. (Multi-)touch inputs have not been integrated very well, yet, although a variety of touch input devices, such as (multi-)touch monitors and tablet computers, are quite common today. In this paper, we present an integration of an off-the-shelf unistroke recognizer into an existing diagram editor framework. This allows to reduce the number of different interaction modes in diagram editors as users perform editing tasks, such as creating, modifying, and deleting, by unistroke gestures. In order to examine the effect on the usability of such editors, we conducted a pilot study using a Statechart editor and present some preliminary findings here. Christian Schenk 0002, Sonja Schimmler, Mark Minas |
VL/HCC | 3 |
| 2016 | Tool demo: Operating diagram editors through unistroke gesturesabstractIn software development processes, diagram editors play an important role. For instance, editors for creating UML diagrams are often used in early stages of software development. Three input methodologies can be distinguished: traditional mode-based editing, sketch-based editing, and gesture-based editing. Most of today's diagram editors are mode-based and use the mouse as an input device. (Multi-)touch inputs have not been integrated very well, although a variety of touch input devices, such as (multi-)touch monitors and tablet computers, are quite common today. In this paper, we provide some insights into the integration of an off-the-shelf unistroke gesture recognizer into an existing diagram editor framework, and give some details about three example diagram editors that incorporate a new interaction mode, the so-called gesture mode. Christian Schenk 0002, Sonja Schimmler, Mark Minas |
VL/HCC | 3 |
| 2015 | Predictive Top-Down Parsing for Hyperedge Replacement Grammars
Frank Drewes, Berthold Hoffmann, Mark Minas |
ICGT | 3 |
| 2015 | Recording, processing, and visualizing changes in diagramsabstractIn this paper, we present methods and techniques to record, process, and visualize diagram changes. These methods help us understand diagram changes, and are the basis for more enhanced functionality, such as a more powerful undo functionality, or merging of different versions of a diagram. Our approach is based on the idea to record all diagram changes, including changes of the diagram layout. One of the main challenges is to provide a concise and comprehensible visualization of these changes. In order to produce such a visualization, the recordings need to be processed, comprising filtering and aggregation of changes. Our model-based approach is generic and makes use of the abstract and the concrete syntax (meaning and representation) of the specific diagram language. Sonja Schimmler, Mark Minas |
VL/HCC | 2 |
| 2010 | Adaptive star grammars and their languages
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas |
Theor. Comput. Sci. | 4 |
| 2009 | Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
Steffen Mazanek, Mark Minas |
MoDELS | 2 |
| 2008 | Recognition and processing of hand-drawn diagrams using syntactic and semantic analysisabstractWe present an approach to the processing of hand-drawn diagrams. Hand drawing is inherently imprecise; we rely on syntactical and semantical analysis to resolve the inevitable ambiguities arising from this impreciseness. Based on the specification of a diagram language (containing aspects like concrete and abstract syntax, grammar rules for a parser, and attributes for semantics), editors supporting free hand drawing are generated. Since the generation process relies on the specifications only, our approach is fully generic. In this paper the overall architecture and concepts of our approach are explained and discussed. The user-drawn strokes (forming the diagram) are transformed into a number of independent models. The drawn components are recognized in these models, directed by the specification. Then the set of all components is analyzed to find the interpretation that best fits the whole diagram. We build upon DiaGen, a generic diagram editor generator enabling syntax and semantic analysis for diagrams, and extend it to support hand drawing. Case studies (done with a fully working implementation in Java) confirm the strength and applicability of our approach. Florian Brieler, Mark Minas |
AVI | 2 |
| 2008 | Visual Specification of Layout
Sonja Schimmler, Steffen Mazanek, Mark Minas |
GD | 3 |
| 2008 | Adaptive Star Grammars for Graph Models
Frank Drewes, Berthold Hoffmann, Mark Minas |
ICGT | 3 |
| 2008 | An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars
Steffen Mazanek, Sonja Schimmler, Mark Minas |
ICGT | 3 |
| 2008 | Functional-Logic Graph Parser Combinators
Steffen Mazanek, Mark Minas |
RTA | 2 |
| 2008 | Auto-completion for diagram editors based on graph grammarsabstractGraphs are known to be well-suited as an intermediate data structure in diagram editors. The syntax of a particular visual language can be defined by means of a graph grammar. In recent work we have proposed approaches to graph completion: given a possibly ldquoincompleterdquo graph, this graph is modified in such a way that the resulting graph is a member of the grammarpsilas language. In this paper we describe how graph completion can be used to realize diagram completion, an important requirement for the realization of content assist in diagram editors. With our approach, the advantages of free-hand and structured editing can be effectively combined: drawing of diagrams with maximal freedom and powerful guidance whenever needed. Steffen Mazanek, Sonja Schimmler, Mark Minas |
VL/HCC | 3 |
| 2006 | Syntax analysis for diagram editors: a constraint satisfaction problemabstractVisual language syntax can be specified by grammars or meta-models. Grammars are more complicated to build than meta-models, but allow for parsing of visual sentences which is necessary for building free-hand editors. Parsing has not yet been considered for meta-model-based specifications. Such visual editors support only structured editing so far. This paper shows that the syntax analysis problem ("parsing") for meta-model-based language specifications can be transformed into a constraint satisfaction problem and solved that way. This approach, therefore, allows for easy free-hand editing and, at the same time, easy meta-model-based language specifications. Mark Minas |
AVI | 1 |
| 2006 | Adaptive Star Grammars
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde |
ICGT | 4 |
| 2004 | Introductory paper
Paolo Bottoni, Mark Minas |
Softw. Syst. Model. | 2 |
| 2002 | Structure, Abstraction, and Direct Manipulation in Diagram Editors
Oliver Köth, Mark Minas |
Diagrams | 2 |
| 2002 | Workshop on Graph Transformation and Visual Modeling Techniques
Paolo Bottoni, Mark Minas |
ICGT | 2 |
| 2002 | Unparsing of Diagrams with DiaGen
Mark Minas, Frank Strüber |
ICGT | 1 |
| 2002 | Concepts and realization of a diagram editor generator based on hypergraph transformation
Mark Minas |
Sci. Comput. Program. | 1 |
| 1996 | A New Approach to Consistency Control in Software Engineering
Georg Heidenreich, Mark Minas, Detlef Kips |
ICSE | 2 |
| 1995 | Graphical Representation and Manipulation of Complex Structures Based on a Formal Model
Gerhard Viehstaedt, Mark Minas |
CAiSE | 2 |
| 1995 | Detecting Quantified Global Predicates in Parallel Programs
Mark Minas |
Euro-Par | 1 |