Mark Minas

According to our database1, Mark Minas
  • authored at least 93 papers between 1992 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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.
ECEASST, 2013

2012
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout.
ECEASST, 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.
ECEASST, 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.
ECEASST, 2010

Specifying and Generating Editing Environments for Interactive Animated Visual Models.
ECEASST, 2010

Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques.
ECEASST, 2010

Combination of Different Layout Approaches.
ECEASST, 2010

Pattern-Based Layout Specifications for Visual Language Editors.
ECEASST, 2010

Defining Models - Meta Models versus Graph Grammars.
ECEASST, 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.
ECEASST, 2009

Generating Correctness-Preserving Editing Operations for Diagram Editors.
ECEASST, 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
An Example of Cloning Graph Transformation Rules for Programming.
Electr. Notes Theor. Comput. Sci., 2008

Exploiting the Layout Engine to Assess Diagram Completions.
ECEASST, 2008

Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators.
ECEASST, 2008

Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language.
ECEASST, 2008

A Static Layout Algorithm for DiaMeta.
ECEASST, 2008

Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars.
ECEASST, 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, GD 2008, Heraklion, Crete, 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.
ECEASST, 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
Syntax Definition with Graphs.
Electr. Notes Theor. Comput. Sci., 2006

Parsing of Adaptive Star Grammars.
ECEASST, 2006

Generating Meta-Model-Based Freehand Editors.
ECEASST, 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

Preface.
Electr. Notes Theor. Comput. Sci., 2005

Rule-Based Programming with Diaplan.
Electr. Notes Theor. Comput. Sci., 2005

2004
Introductory paper.
Software and System Modeling, 2004

2003
XML-based Specification of Diagram Editors.
Electr. Notes Theor. Comput. Sci., 2003

Preface.
Electr. Notes Theor. Comput. Sci., 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.
Electr. Notes Theor. Comput. Sci., 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

2001
Transformation of Shaped Nested Graphs and Diagrams.
Electr. Notes Theor. Comput. Sci., 2001

Specifying and Implementing Visual Process Modeling Languages with DiaGen.
Electr. Notes Theor. Comput. Sci., 2001

Abstraction in Graph-Transformation Based Diagram Editors.
Electr. Notes Theor. Comput. Sci., 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.
ICALP Satellite Workshops, 2000

1999
Generating Diagram Editors with DiaGen.
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...