Mark Minas

Orcid: 0000-0002-8968-9013

Affiliations:
  • Bundeswehr University Munich, Germany


According to our database1, Mark Minas authored at least 107 papers between 1992 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Using Automatic Program Assessment in a Software Development Project Course.
Proceedings of the 5th European Conference on Software Engineering Education, 2023

2022
Visual exploration of visual parser execution.
Multim. Tools Appl., 2022

Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power.
Proceedings of the Graph Transformation - 15th International Conference, 2022

2021
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 14th International Conference, 2021

2020
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers.
Proceedings of the Graph Transformation - 13th International Conference, 2020

Visualizing Visual Parser Execution.
Proceedings of the 26th International DMS Conference on Visualization and Visual Languages, 2020

ParVis: A visual tool for exploring parser execution traces.
Proceedings of the AVI '20: International Conference on Advanced Visual Interfaces, Island of Ischia, Italy, September 28, 2020

2019
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement.
J. Log. Algebraic Methods Program., 2019

Speeding up Generalized PSR Parsers by Memoization Techniques.
Proceedings of the Proceedings Tenth International Workshop on Graph Computation Models, 2019

Visual Parsing and Parser Visualization.
Proceedings of the 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, 2019

Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars.
Proceedings of the Language and Automata Theory and Applications, 2019

Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 12th International Conference, 2019

2017
Investigating uni-stroke gesture input for diagram editors on large wall-mounted touchscreens.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 10th International Conference, 2017

2016
Tool demo: Operating diagram editors through unistroke gestures.
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Operating diagram editors through unistroke gestures.
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016

Approximating Parikh Images for Generating Deterministic Graph Parsers.
Proceedings of the Software Technologies: Applications and Foundations, 2016

2015
Recording, processing, and visualizing changes in diagrams.
Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Predictive Top-Down Parsing for Hyperedge Replacement Grammars.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2013
A Pattern-based Approach for Initial Diagram Layout.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2012
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Increasing the reliability of single and multi core systems with software rejuvenation and coded processing.
Proceedings of the Automotive, 2012

2011
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

Tool Demonstration of the Transformation Judge.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

Integration of a Pattern-Based Layout Engine into Diagram Editors.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

Contextual Hyperedge Replacement.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
Special issue on selected papers from VL/HCC'09.
J. Vis. Lang. Comput., 2010

A model-based recognition engine for sketched diagrams.
J. Vis. Lang. Comput., 2010

Adaptive star grammars and their languages.
Theor. Comput. Sci., 2010

From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Specifying and Generating Editing Environments for Interactive Animated Visual Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Combination of Different Layout Approaches.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Pattern-Based Layout Specifications for Visual Language Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Defining Models - Meta Models versus Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Interactive diagram layout.
Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010

Graph Transformation by Computational Category Theory.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Contraction of Unconnected Diagrams using Least Cost Parsing.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Generating Correctness-Preserving Editing Operations for Diagram Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Specification of a Drawing Facility for Diagram Editors.
Proceedings of the Human-Computer Interaction. Novel Interaction Methods and Techniques, 2009

2008
Exploiting the Layout Engine to Assess Diagram Completions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

A Static Layout Algorithm for DiaMeta.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Auto-completion for diagram editors based on graph grammars.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Functional-Logic Graph Parser Combinators.
Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Adaptive Star Grammars for Graph Models.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Visual Specification of Layout.
Proceedings of the Graph Drawing, 16th International Symposium, 2008

Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis.
Proceedings of the working conference on Advanced Visual Interfaces, 2008

2007
A Pattern-Based Layout Algorithm for Diagram Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Graph Parser Combinators.
Proceedings of the Implementation and Application of Functional Languages, 2007

Efficient Graph Matching with Application to Cognitive Automation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

A Generic Layout Algorithm for Meta-model Based Editors.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

Shaped Generic Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
An Example of Cloning Graph Transformation Rules for Programming.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Parsing of Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

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

Adaptive Star Grammars.
Proceedings of the Graph Transformations, Third International Conference, 2006

Syntax analysis for diagram editors: a constraint satisfaction problem.
Proceedings of the working conference on Advanced visual interfaces, 2006

2005
Special issue on selected papers from VLFM'04.
J. Vis. Lang. Comput., 2005

2004
Introductory paper.
Softw. Syst. Model., 2004

Syntax Definition with Graphs.
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

Preface.
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Rule-Based Programming with Diaplan.
Proceedings of the 2nd International Workshop on Graph-Based Tools, 2004

2003
XML-based Specification of Diagram Editors.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

PLC Programming with Signal Interpreted Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

Visual Specification of Visual Editors with VisualDiaGen.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
Concepts and realization of a diagram editor generator based on hypergraph transformation.
Sci. Comput. Program., 2002

Specifying Graph-like Diagrams with DIAGEN.
Proceedings of the International Workshop on Graph-Based Tools, 2002

Preface.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

Unparsing of Diagrams with DiaGen.
Proceedings of the Graph Transformation, First International Conference, 2002

Workshop on Graph Transformation and Visual Modeling Techniques.
Proceedings of the Graph Transformation, First International Conference, 2002

Structure, Abstraction, and Direct Manipulation in Diagram Editors.
Proceedings of the Diagrammatic Representation and Inference, 2002

Visual PLC-programming using signal interpreted Petri nets.
Proceedings of the American Control Conference, 2002

Specifying Diagram Languages by Means of Hypergraph Grammars.
Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001
Transformation of Shaped Nested Graphs and Diagrams.
Proceedings of the Second International Workshop on Rule-Based Programming, 2001

Specifying and Implementing Visual Process Modeling Languages with DiaGen.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Abstraction in Graph-Transformation Based Diagram Editors.
Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

2000
Towards rule-based visual programming of generic visual systems
CoRR, 2000

Towards Generic Rule-Based Visual Programming.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

A Generic Model for Diagram Syntax and Semantics.
Proceedings of the ICALP Workshops 2000, 2000

1999
Generating Diagram Editors with <i>DiaGen</i>.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Creating Semantic Representations of Diagrams.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Automatically Generating Environments for Dynamic Diagram Languages.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Hypergraphs as a Uniform Diagram Representation Model.
Proceedings of the Theory and Application of Graph Transformations, 1998

1997
Diagram Editing with Hypergraph Parser Support.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

1996
A High-Level Visual Language for Generating Web Structures.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Visual Definition of Virtual Documents for the World-Wide Web.
Proceedings of the Principles of Document Processing, Third International Workshop, 1996

Visualizing Information Repositories on the World-Wide Web.
Proceedings of the Herausforderungen an die Informationswirtschaft: Informationsverdichtung,, 1996

A New Approach to Consistency Control in Software Engineering.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model.
Proceedings of the Next Generation Information Technologies and Systems (NGITS '95), 1995

Generating Editors for Direct Manipulation of Diagrams.
Proceedings of the Human-Computer Interaction, 5th International Conference, 1995

Detecting Quantified Global Predicates in Parallel Programs.
Proceedings of the Euro-Par '95 Parallel Processing, 1995

Editing user-specific diagrams by direct manipulation.
Proceedings of the Human Factors in Computing Systems, 1995

Graphical Representation and Manipulation of Complex Structures Based on a Formal Model
Proceedings of the Advanced Information Systems Engineering, 7th International Conference, 1995

1994
Interaction in Really Graphical User Interfaces.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994

1993
Specification of Diagram Editors Providing Layout Adjustment with Minimal Change.
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1992
Überwachung technischer Prozesse mit Zeitconstraintnetzen.
PhD thesis, 1992


  Loading...