Mark Minas

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 20

Top Venues

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Frank Drewes, Berthold Hoffmann, Mark Minas
Finite Automata for Efficient Graph Recognition. CoRR (2024)
Uwe M. Borghoff, Mark Minas, Kim Mönch
Using Automatic Program Assessment in a Software Development Project Course. ECSEE (2023)
Frank Drewes, Berthold Hoffmann, Mark Minas
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power. ICGT (2022)
Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella, Mark Minas
Visual exploration of visual parser execution. Multim. Tools Appl. 81 (1) (2022)
Frank Drewes, Berthold Hoffmann, Mark Minas
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars. ICGT (2021)
Mattia De Rosa, Mark Minas, Gennaro Costagliola
Visualizing Visual Parser Execution. DMSVIVA (2020)
Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella, Mark Minas
ParVis: A visual tool for exploring parser execution traces. AVI (2020)
Frank Drewes, Berthold Hoffmann, Mark Minas
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. ICGT (2020)
Frank Drewes, Berthold Hoffmann, Mark Minas
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars. ICGT (2019)
Mark Minas
Speeding up Generalized PSR Parsers by Memoization Techniques. GCM@STAF (2019)
Gennaro Costagliola, Mattia De Rosa, Mark Minas
Visual Parsing and Parser Visualization. VL/HCC (2019)
Frank Drewes, Berthold Hoffmann, Mark Minas
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. J. Log. Algebraic Methods Program. 104 (2019)
Berthold Hoffmann, Mark Minas
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars. LATA (2019)
Frank Drewes, Berthold Hoffmann, Mark Minas
Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement. CoRR (2018)
Christian Schenk, Sonja Schimmler, Mark Minas
Investigating uni-stroke gesture input for diagram editors on large wall-mounted touchscreens. VL/HCC (2017)
Berthold Hoffmann, Mark Minas
Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars. STAF Workshops (2017)
Frank Drewes, Berthold Hoffmann, Mark Minas
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. ICGT (2017)
Frank Drewes, Berthold Hoffmann, Mark Minas
Approximating Parikh Images for Generating Deterministic Graph Parsers. STAF Workshops (2016)
Christian Schenk, Sonja Schimmler, Mark Minas
Tool demo: Operating diagram editors through unistroke gestures. VL/HCC (2016)
Christian Schenk, Sonja Schimmler, Mark Minas
Operating diagram editors through unistroke gestures. VL/HCC (2016)
Sonja Maier, Mark Minas
Recording, processing, and visualizing changes in diagrams. VL/HCC (2015)
Frank Drewes, Berthold Hoffmann, Mark Minas
Predictive Top-Down Parsing for Hyperedge Replacement Grammars. ICGT (2015)
Sonja Maier, Mark Minas
A Pattern-based Approach for Initial Diagram Layout. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Sonja Maier, Mark Minas
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
Jürgen Braun, Jürgen Mottok, Christian Miedl, Dirk Geyer, Mark Minas
Increasing the reliability of single and multi core systems with software rejuvenation and coded processing. Automotive - Safety & Security (2012)
Torsten Strobl, Mark Minas
Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors. AGTIVE (2011)
Sonja Maier, Mark Minas
Integration of a Pattern-Based Layout Engine into Diagram Editors. AGTIVE (2011)
Frank Drewes, Berthold Hoffmann, Mark Minas
Contextual Hyperedge Replacement. AGTIVE (2011)
Berthold Hoffmann, Mark Minas
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Steffen Mazanek, Christian Rutetzki, Mark Minas
Tool Demonstration of the Transformation Judge. AGTIVE (2011)
Steffen Mazanek, Christian Rutetzki, Mark Minas
Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Sonja Maier, Mark Minas
Combination of Different Layout Approaches. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010)
Sonja Maier, Mark Minas
Pattern-Based Layout Specifications for Visual Language Editors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 25 (2010)
Torsten Strobl, Mark Minas
Specifying and Generating Editing Environments for Interactive Animated Visual Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Mark Minas, Hans Jürgen Schneider
Graph Transformation by Computational Category Theory. Graph Transformations and Model-Driven Engineering (2010)
Berthold Hoffmann, Mark Minas
Defining Models - Meta Models versus Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Sonja Maier, Mark Minas
Interactive diagram layout. CHI Extended Abstracts (2010)
Florian Brieler, Mark Minas
A model-based recognition engine for sketched diagrams. J. Vis. Lang. Comput. 21 (2) (2010)
Robert DeLine, Mark Minas
Special issue on selected papers from VL/HCC'09. J. Vis. Lang. Comput. 21 (5) (2010)
Torsten Strobl, Mark Minas, Andreas Pleuss, Arnd Vitzthum
From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 32 (2010)
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas
Adaptive star grammars and their languages. Theor. Comput. Sci. 411 (34-36) (2010)
Steffen Mazanek, Mark Minas
Contraction of Unconnected Diagrams using Least Cost Parsing. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Sonja Maier, Mark Minas
Specification of a Drawing Facility for Diagram Editors. HCI (2) (2009)
Steffen Mazanek, Mark Minas
Generating Correctness-Preserving Editing Operations for Diagram Editors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009)
Steffen Mazanek, Mark Minas
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors. MoDELS (2009)
Sonja Maier, Steffen Mazanek, Mark Minas
Visual Specification of Layout. Graph Drawing (2008)
Steffen Mazanek, Mark Minas
Functional-Logic Graph Parser Combinators. RTA (2008)
Steffen Mazanek, Mark Minas
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Frank Drewes, Berthold Hoffmann, Mark Minas
Adaptive Star Grammars for Graph Models. ICGT (2008)
Mark Minas, Berthold Hoffmann
An Example of Cloning Graph Transformation Rules for Programming. Electron. Notes Theor. Comput. Sci. 211 (2008)
Steffen Mazanek, Sonja Maier, Mark Minas
Auto-completion for diagram editors based on graph grammars. VL/HCC (2008)
Steffen Mazanek, Sonja Maier, Mark Minas
Exploiting the Layout Engine to Assess Diagram Completions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 13 (2008)
Sonja Maier, Steffen Mazanek, Mark Minas
Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 13 (2008)
Florian Brieler, Mark Minas
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Sonja Maier, Mark Minas
A Static Layout Algorithm for DiaMeta. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Florian Brieler, Mark Minas
Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis. AVI (2008)
Steffen Mazanek, Sonja Maier, Mark Minas
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars. ICGT (2008)
Steffen Mazanek, Mark Minas
Graph Parser Combinators. IFL (2007)
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
Shaped Generic Graph Transformation. AGTIVE (2007)
Sonja Maier, Mark Minas
A Generic Layout Algorithm for Meta-model Based Editors. AGTIVE (2007)
Alexander Matzner, Mark Minas, Axel Schulte
Efficient Graph Matching with Application to Cognitive Automation. AGTIVE (2007)
Sonja Maier, Mark Minas
A Pattern-Based Layout Algorithm for Diagram Editors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007)
Mark Minas
Parsing of Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006)
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
Adaptive Star Grammars. ICGT (2006)
Mark Minas
Generating Meta-Model-Based Freehand Editors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006)
Mark Minas
Syntax analysis for diagram editors: a constraint satisfaction problem. AVI (2006)
Mark Minas
Syntax Definition with Graphs. Electron. Notes Theor. Comput. Sci. 148 (1) (2006)
Mark Minas
Special issue on selected papers from VLFM'04. J. Vis. Lang. Comput. 16 (6) (2005)
Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas
Rule-Based Programming with Diaplan. Electron. Notes Theor. Comput. Sci. 127 (1) (2005)
Mark Minas
Preface. Electron. Notes Theor. Comput. Sci. 127 (4) (2005)
Paolo Bottoni, Mark Minas
Introductory paper. Softw. Syst. Model. 3 (2) (2004)
Mark Minas
Visual Specification of Visual Editors with VisualDiaGen. AGTIVE (2003)
Paolo Bottoni, Mark Minas
Preface. Electron. Notes Theor. Comput. Sci. 72 (4) (2003)
Mark Minas
AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications. AGTIVE (2003)
Mark Minas
VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors. AGTIVE (2003)
Stéphane Klein, Georg Frey, Mark Minas
PLC Programming with Signal Interpreted Petri Nets. ICATPN (2003)
Mark Minas
XML-based Specification of Diagram Editors. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Oliver Köth, Mark Minas
Structure, Abstraction, and Direct Manipulation in Diagram Editors. Diagrams (2002)
Mark Minas
Concepts and realization of a diagram editor generator based on hypergraph transformation. Sci. Comput. Program. 44 (2) (2002)
Paolo Bottoni, Mark Minas
Workshop on Graph Transformation and Visual Modeling Techniques. ICGT (2002)
Mark Minas, Georg Frey
Visual PLC-programming using signal interpreted Petri nets. ACC (2002)
Mark Minas
Specifying Graph-like Diagrams with DIAGEN. Electron. Notes Theor. Comput. Sci. 72 (2) (2002)
Mark Minas, Frank Strüber
Unparsing of Diagrams with DiaGen. ICGT (2002)
Mark Minas, Berthold Hoffmann
Specifying and Implementing Visual Process Modeling Languages with DiaGen. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Oliver Köth, Mark Minas
Abstraction in Graph-Transformation Based Diagram Editors. Electron. Notes Theor. Comput. Sci. 50 (3) (2001)
Berthold Hoffmann, Mark Minas
Transformation of Shaped Nested Graphs and Diagrams. Electron. Notes Theor. Comput. Sci. 59 (4) (2001)
Berthold Hoffmann, Mark Minas
Towards rule-based visual programming of generic visual systems CoRR (2000)
Berthold Hoffmann, Mark Minas
Towards Generic Rule-Based Visual Programming. VL (2000)
Berthold Hoffmann, Mark Minas
A Generic Model for Diagram Syntax and Semantics. ICALP Satellite Workshops (2000)
Mark Minas
Creating Semantic Representations of Diagrams. AGTIVE (1999)
Mark Minas, Oliver Köth
. AGTIVE (1999)
Mark Minas
Hypergraphs as a Uniform Diagram Representation Model. TAGT (1998)
Mark Minas
Automatically Generating Environments for Dynamic Diagram Languages. VL (1998)
Mark Minas
Diagram Editing with Hypergraph Parser Support. VL (1997)
Mark Minas, Leon A. Shklar
Visual Definition of Virtual Documents for the World-Wide Web. PODP (1996)
Mark Minas, Leon A. Shklar
Visualizing Information Repositories on the World-Wide Web. ISI (1996)
Georg Heidenreich, Mark Minas, Detlef Kips
A New Approach to Consistency Control in Software Engineering. ICSE (1996)
Mark Minas, Leon A. Shklar
A High-Level Visual Language for Generating Web Structures. VL (1996)
Gerhard Viehstaedt, Mark Minas
Generating Editors for Direct Manipulation of Diagrams. EWHCI (1995)
Gerhard Viehstaedt, Mark Minas
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model CAiSE (1995)

Mark Minas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark Minas