Überwachung technischer Prozesse mit Zeitconstraintnetzen. - Mark Minas (1992)

Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung. - Mark Minas (GI Jahrestagung, 1993)

Specification of Diagram Editors Providing Layout Adjustment with Minimal Change. - Mark Minas; Gerhard Viehstaedt (VL, 1993)

Interaction in Really Graphical User Interfaces. - Gerhard Viehstaedt; Mark Minas (VL, 1994)

Graphical Representation and Manipulation of Complex Structures Based on a Formal Model - Gerhard Viehstaedt; Mark Minas (CAiSE, 1995)

Editing user-specific diagrams by direct manipulation. - Gerhard Viehstaedt; Mark Minas (CHI 95 Conference Companion, 1995)

Detecting Quantified Global Predicates in Parallel Programs. - Mark Minas (Euro-Par, 1995)

Generating Editors for Direct Manipulation of Diagrams. - Gerhard Viehstaedt; Mark Minas (EWHCI, 1995)

DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model. - Gerhard Viehstaedt; Mark Minas (NGITS, 1995)

DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams. - Mark Minas; Gerhard Viehstaedt (VL, 1995)

A New Approach to Consistency Control in Software Engineering. - Georg Heidenreich; Mark Minas; Detlef Kips (ICSE, 1996)

Visualizing Information Repositories on the World-Wide Web. - Mark Minas; Leon A. Shklar (ISI, 1996)

Visual Definition of Virtual Documents for the World-Wide Web. - Mark Minas; Leon A. Shklar (PODP, 1996)

A High-Level Visual Language for Generating Web Structures. - Mark Minas; Leon A. Shklar (VL, 1996)

Diagram Editing with Hypergraph Parser Support. - Mark Minas (VL, 1997)

Hypergraphs as a Uniform Diagram Representation Model. - Mark Minas (TAGT, 1998)

Automatically Generating Environments for Dynamic Diagram Languages. - Mark Minas (VL, 1998)

Creating Semantic Representations of Diagrams. - Mark Minas (AGTIVE, 1999)

Generating Diagram Editors with DiaGen. - Mark Minas; Oliver Köth (AGTIVE, 1999)

A Generic Model for Diagram Syntax and Semantics. - Berthold Hoffmann; Mark Minas (ICALP Satellite Workshops, 2000)

Towards Generic Rule-Based Visual Programming. - Berthold Hoffmann; Mark Minas (VL, 2000)

Towards rule-based visual programming of generic visual systems - Berthold Hoffmann; Mark Minas (CoRR, 2000)

Abstraction in Graph-Transformation Based Diagram Editors. - Oliver Köth; Mark Minas (GT-VMT@ICALP, 2001)

Specifying and Implementing Visual Process Modeling Languages with DiaGen. - Mark Minas; Berthold Hoffmann (UNIGRA, 2001)

Transformation of Shaped Nested Graphs and Diagrams. - Berthold Hoffmann; Mark Minas (RULE@PLI, 2001)

Specifying Diagram Languages by Means of Hypergraph Grammars. - Mark Minas (Diagrammatic Representation and Reasoning, 2002)

Visual PLC-programming using signal interpreted Petri nets. - Mark Minas; Georg Frey (ACC, 2002)

Structure, Abstraction, and Direct Manipulation in Diagram Editors. - Oliver Köth; Mark Minas (Diagrams, 2002)

Workshop on Graph Transformation and Visual Modeling Techniques. - Paolo Bottoni; Mark Minas (ICGT, 2002)

Unparsing of Diagrams with DiaGen. - Mark Minas; Frank Strüber (ICGT, 2002)

Preface. - Paolo Bottoni; Mark Minas (GT-VMT@ICGT, 2002)

Specifying Graph-like Diagrams with DIAGEN. - Mark Minas (GraBaTs, 2002)

Concepts and realization of a diagram editor generator based on hypergraph transformation. - Mark Minas (Sci. Comput. Program., 2002)

VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors. - Mark Minas (AGTIVE, 2003)

Visual Specification of Visual Editors with VisualDiaGen. - Mark Minas (AGTIVE, 2003)

AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications. - Mark Minas (AGTIVE, 2003)

PLC Programming with Signal Interpreted Petri Nets. - Stéphane Klein; Georg Frey; Mark Minas (ICATPN, 2003)

XML-based Specification of Diagram Editors. - Mark Minas (UNIGRA, 2003)

Rule-Based Programming with Diaplan. - Frank Drewes; Berthold Hoffmann; Raimund Klein; Mark Minas (GraBaTs, 2004)

Preface. - Mark Minas (VLFM, 2004)

Syntax Definition with Graphs. - Mark Minas (FoVMT, 2004)

Introductory paper. - Paolo Bottoni; Mark Minas (Softw. Syst. Model., 2004)

Special issue on selected papers from VLFM'04. - Mark Minas (J. Vis. Lang. Comput., 2005)

Syntax analysis for diagram editors: a constraint satisfaction problem. - Mark Minas (AVI, 2006)

Adaptive Star Grammars. - Frank Drewes; Berthold Hoffmann; Dirk Janssens; Mark Minas; Niels Van Eetvelde (ICGT, 2006)

Generating Meta-Model-Based Freehand Editors. - Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Parsing of Adaptive Star Grammars. - Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

An Example of Cloning Graph Transformation Rules for Programming. - Mark Minas; Berthold Hoffmann (GT-VMT@ETAPS, 2006)

Shaped Generic Graph Transformation. - Frank Drewes; Berthold Hoffmann; Dirk Janssens; Mark Minas; Niels Van Eetvelde (AGTIVE, 2007)

A Generic Layout Algorithm for Meta-model Based Editors. - Sonja Maier; Mark Minas (AGTIVE, 2007)

Efficient Graph Matching with Application to Cognitive Automation. - Alexander Matzner; Mark Minas; Axel Schulte (AGTIVE, 2007)

Graph Parser Combinators. - Steffen Mazanek; Mark Minas (IFL, 2007)

A Pattern-Based Layout Algorithm for Diagram Editors. - Sonja Maier; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis. - Florian Brieler; Mark Minas (AVI, 2008)

Visual Specification of Layout. - Sonja Maier; Steffen Mazanek; Mark Minas (GD, 2008)

Adaptive Star Grammars for Graph Models. - Frank Drewes; Berthold Hoffmann; Mark Minas (ICGT, 2008)

An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars. - Steffen Mazanek; Sonja Maier; Mark Minas (ICGT, 2008)

Functional-Logic Graph Parser Combinators. - Steffen Mazanek; Mark Minas (RTA, 2008)

Auto-completion for diagram editors based on graph grammars. - Steffen Mazanek; Sonja Maier; Mark Minas (VL/HCC, 2008)

Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars. - Florian Brieler; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

A Static Layout Algorithm for DiaMeta. - Sonja Maier; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language. - Sonja Maier; Steffen Mazanek; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators. - Steffen Mazanek; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Exploiting the Layout Engine to Assess Diagram Completions. - Steffen Mazanek; Sonja Maier; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Specification of a Drawing Facility for Diagram Editors. - Sonja Maier; Mark Minas (HCI (2), 2009)

Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors. - Steffen Mazanek; Mark Minas (MoDELS, 2009)

Generating Correctness-Preserving Editing Operations for Diagram Editors. - Steffen Mazanek; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Contraction of Unconnected Diagrams using Least Cost Parsing. - Steffen Mazanek; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Graph Transformation by Computational Category Theory. - Mark Minas; Hans Jürgen Schneider (Graph Transformations and Model-Driven Engineering, 2010)

Interactive diagram layout. - Sonja Maier; Mark Minas (CHI Extended Abstracts, 2010)

Defining Models - Meta Models versus Graph Grammars. - Berthold Hoffmann; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Pattern-Based Layout Specifications for Visual Language Editors. - Sonja Maier; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Combination of Different Layout Approaches. - Sonja Maier; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques. - Steffen Mazanek; Christian Rutetzki; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Specifying and Generating Editing Environments for Interactive Animated Visual Models. - Torsten Strobl; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation. - Torsten Strobl; Mark Minas; Andreas Pleuss; Arnd Vitzthum (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Adaptive star grammars and their languages. - Frank Drewes; Berthold Hoffmann; Dirk Janssens; Mark Minas (Theor. Comput. Sci., 2010)

A model-based recognition engine for sketched diagrams. - Florian Brieler; Mark Minas (J. Vis. Lang. Comput., 2010)

Special issue on selected papers from VL/HCC'09. - Robert DeLine; Mark Minas (J. Vis. Lang. Comput., 2010)

Contextual Hyperedge Replacement. - Frank Drewes; Berthold Hoffmann; Mark Minas (AGTIVE, 2011)

Integration of a Pattern-Based Layout Engine into Diagram Editors. - Sonja Maier; Mark Minas (AGTIVE, 2011)

Tool Demonstration of the Transformation Judge. - Steffen Mazanek; Christian Rutetzki; Mark Minas (AGTIVE, 2011)

Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors. - Torsten Strobl; Mark Minas (AGTIVE, 2011)

Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. - Berthold Hoffmann; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Increasing the reliability of single and multi core systems with software rejuvenation and coded processing. - Jürgen Braun; Jürgen Mottok; Christian Miedl; Dirk Geyer; Mark Minas (Automotive - Safety & Security, 2012)

Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout. - Sonja Maier; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

A Pattern-based Approach for Initial Diagram Layout. - Sonja Maier; Mark Minas (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Predictive Top-Down Parsing for Hyperedge Replacement Grammars. - Frank Drewes; Berthold Hoffmann; Mark Minas (ICGT, 2015)

Recording, processing, and visualizing changes in diagrams. - Sonja Maier; Mark Minas (VL/HCC, 2015)

Approximating Parikh Images for Generating Deterministic Graph Parsers. - Frank Drewes; Berthold Hoffmann; Mark Minas (STAF Workshops, 2016)

Operating diagram editors through unistroke gestures. - Christian Schenk 002; Sonja Schimmler; Mark Minas (VL/HCC, 2016)

Tool demo: Operating diagram editors through unistroke gestures. - Christian Schenk 002; Sonja Schimmler; Mark Minas (VL/HCC, 2016)

Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. - Frank Drewes; Berthold Hoffmann; Mark Minas (ICGT, 2017)

Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars. - Berthold Hoffmann; Mark Minas (STAF Workshops, 2017)

Investigating uni-stroke gesture input for diagram editors on large wall-mounted touchscreens. - Christian Schenk 001; Sonja Schimmler; Mark Minas (VL/HCC, 2017)

Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars. - Frank Drewes; Berthold Hoffmann; Mark Minas (ICGT, 2019)

Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars. - Berthold Hoffmann; Mark Minas (LATA, 2019)

Visual Parsing and Parser Visualization. - Gennaro Costagliola; Mattia De Rosa; Mark Minas (VL/HCC, 2019)

Speeding up Generalized PSR Parsers by Memoization Techniques. - Mark Minas (GCM@STAF, 2019)

Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. - Frank Drewes; Berthold Hoffmann; Mark Minas (J. Log. Algebraic Methods Program., 2019)

ParVis: A visual tool for exploring parser execution traces. - Gennaro Costagliola; Mattia De Rosa; Vittorio Fuccella; Mark Minas (AVI, 2020)

Visualizing Visual Parser Execution. - Mattia De Rosa; Mark Minas; Gennaro Costagliola (DMSVIVA, 2020)

Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. - Frank Drewes; Berthold Hoffmann; Mark Minas (ICGT, 2020)

Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars. - Frank Drewes; Berthold Hoffmann; Mark Minas (ICGT, 2021)

Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power. - Frank Drewes; Berthold Hoffmann; Mark Minas (ICGT, 2022)

Visual exploration of visual parser execution. - Gennaro Costagliola; Mattia De Rosa; Vittorio Fuccella; Mark Minas (Multim. Tools Appl., 2022)

Using Automatic Program Assessment in a Software Development Project Course. - Uwe M. Borghoff; Mark Minas; Kim Mönch (ECSEE, 2023)

Finite Automata for Efficient Graph Recognition. - Frank Drewes; Berthold Hoffmann; Mark Minas (GCM, 2023)

Automatic Program Assessment, Grading and Code Generation: Possible AI-Support in a Software Development Course. - Uwe M. Borghoff; Mark Minas; Kim Mönch (ICAISC (3), 2024)

GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions. - Mattia De Rosa; Mark Minas (GCM, 2024)

Generative AI in Student Software Development Projects: A User Study on Experiences and Self-Assessment. - Uwe M. Borghoff; Mark Minas; Jannis Schopp (ECSEE, 2025)

BugVis: A Debugger Supporting Time-Travel and Data Structure Visualization. - Kim Mönch; Mark Minas (ECSEE, 2025)

Specifying and Checking Graph Properties with Alternating Graph Automata. - Frank Drewes; Berthold Hoffmann; Mark Minas (ICGT, 2025)

Graph Formulas and Their Translation to Alternating Graph Automata. - Frank Drewes; Berthold Hoffmann; Mark Minas (ICGT, 2025)