Mark Minas

发表

Interactive diagram layout

Sonja Maier, Mark Minas, M. Minas, 2010, CHI Extended Abstracts.

Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars

Berthold Hoffmann, Mark Minas, Frank Drewes, 2017, ICGT.

Detecting Quantified Global Predicates in Parallel Programs

Mark Minas, 1995, Euro-Par.

From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation

Andreas Pleuß, Mark Minas, Arnd Vitzthum, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

A new approach to consistency control in software engineering

Georg Heidenreich, Mark Minas, Detlef Kips, 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

Adaptive star grammars and their languages

Berthold Hoffmann, Dirk Janssens, Mark Minas, 2010, Theor. Comput. Sci..

Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars

Berthold Hoffmann, Mark Minas, M. Minas, 2019, LATA.

Recording, processing, and visualizing changes in diagrams

Sonja Maier, Mark Minas, M. Minas, 2015, 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Contraction of Unconnected Diagrams using Least Cost Parsing

Steffen Mazanek, Mark Minas, 2009 .

Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language

Steffen Mazanek, Sonja Maier, Mark Minas, 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Investigating uni-stroke gesture input for diagram editors on large wall-mounted touchscreens

Christian Schenk, Mark Minas, Sonja Schimmler, 2017, 2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications

Mark Minas, 2003, AGTIVE.

Defining Models - Meta Models versus Graph Grammars

Berthold Hoffmann, Mark Minas, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

ParVis: A visual tool for exploring parser execution traces

Vittorio Fuccella, Mark Minas, Mattia De Rosa, 2020, AVI.

Visual Specification of Layout

Steffen Mazanek, Sonja Maier, Mark Minas, 2008, Graph Drawing.

Generating Editors for Direct Manipulation of Diagrams

Mark Minas, Gerhard Viehstaedt, 1995, EWHCI.

Functional-Logic Graph Parser Combinators

Steffen Mazanek, Mark Minas, 2008, RTA.

Diagram editing with hypergraph parser support

Mark Minas, 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

Efficient Graph Matching with Application to Cognitive Automation

Axel Schulte, Mark Minas, Alexander Matzner, 2008, AGTIVE.

A Generic Layout Algorithm for Meta-model Based Editors

Sonja Maier, Mark Minas, M. Minas, 2008, AGTIVE.

Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars

Berthold Hoffmann, Mark Minas, Frank Drewes, 2019, ICGT.

Tool demo: Operating diagram editors through unistroke gestures

Mark Minas, Sonja Schimmler, Christian Schenk, 2016, 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Specification of diagram editors providing layout adjustment with minimal change

Mark Minas, Gerhard Viehstaedt, M. Minas, 1993, Proceedings 1993 IEEE Symposium on Visual Languages.

Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement pdf

Berthold Hoffmann, Mark Minas, Frank Drewes, 2018, J. Log. Algebraic Methods Program..

DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model

Mark Minas, Gerhard Viehstaedt, 1995, NGITS.

Visual Specification of Visual Editors with VisualDiaGen

Mark Minas, 2003, AGTIVE.

PLC Programming with Signal Interpreted Petri Nets

Georg Frey, Mark Minas, Stéphane Klein, 2003, ICATPN.

Interaction in really graphical user interfaces

Mark Minas, Gerhard Viehstaedt, 1994, Proceedings of 1994 IEEE Symposium on Visual Languages.

Pattern-Based Layout Specifications for Visual Language Editors

Sonja Maier, Mark Minas, M. Minas, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Adaptive Star Grammars for Graph Models

Berthold Hoffmann, Mark Minas, Frank Drewes, 2008, ICGT.

An Example of Cloning Graph Transformation Rules for Programming

Berthold Hoffmann, Mark Minas, 2008, Electron. Notes Theor. Comput. Sci..

Hypergraphs as a Uniform Diagram Representation Model

Mark Minas, 1998, TAGT.

Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors

Mark Minas, Torsten Strobl, 2011, AGTIVE.

Operating diagram editors through unistroke gestures

Mark Minas, Sonja Schimmler, Christian Schenk, 2016, 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung

Mark Minas, Mark Minas, 1993, GI Jahrestagung.

Bootstrapping Visual Components of the DiaGen Specification Tool with DiaGen

Mark Minas, 2003 .

Contraction of Unconnected Diagrams using Least Cost Parsing

Steffen Mazanek, Mark Minas, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

DiaGen: a generator for diagram editors providing direct manipulation and execution of diagrams

Mark Minas, Gerhard Viehstaedt, 1995, Proceedings of Symposium on Visual Languages.

Specifying and Generating Editing Environments for Interactive Animated Visual Models

Mark Minas, Torsten Strobl, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Syntax analysis for diagram editors: a constraint satisfaction problem

Mark Minas, 2006, AVI '06.

A Pattern-based Approach for Initial Diagram Layout

Sonja Maier, Mark Minas, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Workshop on Graph Transformation and Visual Modeling Techniques

Paolo Bottoni, Mark Minas, 2002, ICGT.

Internet-based development of logic controllers using Signal Interpreted Petri Nets and IEC 61131

Georg Frey, Mark Minas, Lehrstuhl für Automatisierungstechnik, 2001 .

Towards generic rule-based visual programming

Berthold Hoffmann, Mark Minas, 2000, Proceeding 2000 IEEE International Symposium on Visual Languages.

Auto-completion for diagram editors based on graph grammars

Steffen Mazanek, Sonja Maier, Mark Minas, 2008, 2008 IEEE Symposium on Visual Languages and Human-Centric Computing.

Shaped Generic Graph Transformation

Berthold Hoffmann, Dirk Janssens, Mark Minas, 2007, AGTIVE.

Cyclic Debugging for pSather, a Parallel Object-Oriented Programming Language

Mark Minas, 1998 .

Generating Diagram Editors with DiaGen

Mark Minas, Oliver Köth, 1999, AGTIVE.

Rule-Based Programming with Diaplan

Berthold Hoffmann, Mark Minas, Frank Drewes, 2005, Electron. Notes Theor. Comput. Sci..

Adaptive Star Grammars

Berthold Hoffmann, Dirk Janssens, Mark Minas, 2006, ICGT.

Syntax Definition with Graphs

Mark Minas, 2006, Electron. Notes Theor. Comput. Sci..

Specification of a Drawing Facility for Diagram Editors

Sonja Maier, Mark Minas, M. Minas, 2009, HCI.

Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (gtvmt 2012) Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout

Sonja Maier, Mark Minas, M. Minas, 2022 .

Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors

Steffen Mazanek, Mark Minas, M. Minas, 2009, MoDELS.

A Pattern-Based Layout Algorithm for Diagram Editors

Sonja Maier, Mark Minas, 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

A Generic Model for Diagram Syntax and Semantics

Berthold Hoffmann, Mark Minas, 2000, ICALP Satellite Workshops.

A Static Layout Algorithm for DiaMeta

Sonja Maier, Mark Minas, M. Minas, 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

XML-based Specification of Diagram Editors

Mark Minas, 2003, Electron. Notes Theor. Comput. Sci..

A model-based recognition engine for sketched diagrams

Florian Brieler, Mark Minas, 2010, J. Vis. Lang. Comput..

Generating Correctness-Preserving Editing Operations for Diagram Editors

Steffen Mazanek, Mark Minas, M. Minas, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Automatically generating environments for dynamic diagram languages

Mark Minas, 1998, Proceedings. 1998 IEEE Symposium on Visual Languages (Cat. No.98TB100254).

Predictive Top-Down Parsing for Hyperedge Replacement Grammars

Berthold Hoffmann, Mark Minas, Frank Drewes, 2015, ICGT.

Creating Semantic Representations of Diagrams

Mark Minas, M. Minas, 1999, AGTIVE.

On-line Recognition of Hatched and Filled Regions in Hand-drawings

Florian Brieler, Mark Minas, Raphael Thierjung, 2009 .

Überwachung technischer Prozesse mit Zeitconstraintnetzen

Mark Minas, 1992 .

Modelling and monitoring real-time systems with temporal constraint nets

Mark Minas, M. Minas, 1993 .

Exploiting the Layout Engine to Assess Diagram Completions

Steffen Mazanek, Sonja Maier, Mark Minas, 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Contextual Hyperedge Replacement

Berthold Hoffmann, Mark Minas, Frank Drewes, 2011, AGTIVE.

Graph Parser Combinators

Steffen Mazanek, Mark Minas, M. Minas, 2008, IFL.

Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques

Steffen Mazanek, Mark Minas, Christian Rutetzki, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars

Florian Brieler, Mark Minas, 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Approximating Parikh Images for Generating Deterministic Graph Parsers

Berthold Hoffmann, Mark Minas, Frank Drewes, 2016, STAF Workshops.

Exploiting the Layout Engine to Assess Diagram Completions

Steffen Mazanek, Sonja Maier, Mark Minas, 2008 .

Visual PLC-programming using signal interpreted Petri nets

Mark Minas, Georg Frey, 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

Parsing of Adaptive Star Grammars

Mark Minas, 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Editing, Visualizing, and Implementing Signal Interpreted Petri Nets

Georg Frey, Mark Minas, 2000 .

Unparsing of Diagrams with DiaGen

Mark Minas, Frank Strüber, 2002, ICGT.

Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars

Berthold Hoffmann, Mark Minas, M. Minas, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars

Steffen Mazanek, Sonja Maier, Mark Minas, 2008, ICGT.

Towards rule-based visual programming of generic visual systems

Berthold Hoffmann, Mark Minas, M. Minas, 2000, ArXiv.

Concepts and realization of a diagram editor generator based on hypergraph transformation

Mark Minas, M. Minas, 2002, Sci. Comput. Program..

Introductory paper

Paolo Bottoni, Mark Minas, M. Minas, 2003, Journal of Software and Systems Modeling.

Visual Definition of Virtual Documents for the World-Wide Web

Mark Minas, Leon A. Shklar, M. Minas, 1996, PODP.

Graph Transformation by Computational Category Theory

Mark Minas, Hans Jürgen Schneider, M. Minas, 2010, Graph Transformations and Model-Driven Engineering.

Chi '95 Mosaic of Creativity

Mark Minas, Gerhard Viehstaedt, May, 2022 .

A high-level visual language for generating Web structures

Mark Minas, Leon A. Shklar, M. Minas, 1996, Proceedings 1996 IEEE Symposium on Visual Languages.

Graph Transformation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Visualizing Information Repositories on the World-Wide Web

Mark Minas, Leon A. Shklar, M. Minas, 1996, ISI.

Increasing the reliability of single and multi core systems with software rejuvenation and coded processing

Mark Minas, Jürgen Mottok, Jürgen Braun, 2012, Automotive - Safety & Security.

Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars

Berthold Hoffmann, Mark Minas, 2017, STAF Workshops.

Combination of Different Layout Approaches

Sonja Maier, Mark Minas, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors

Mark Minas, 2003, AGTIVE.

Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars

Berthold Hoffmann, Mark Minas, 2011 .

Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators

Steffen Mazanek, Mark Minas, 2008 .

Abstraction in Graph-Transformation Based Diagram Editors

Mark Minas, Oliver Köth, Oliver Köth, 2001, GT-VMT@ICALP.

Combination of Different Layout Approaches

Sonja Maier, Mark Minas, 2010 .

Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing

Mark Minas, Oliver Köth, Lehrstuhl fur Programmiersprachen, 2000 .

Special issue on selected papers from VL/HCC'09

Robert DeLine, Mark Minas, R. DeLine, 2010, J. Vis. Lang. Comput..

Electronic Communications of the EASST Volume 10 ( 2008 ) Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques ( GT-VMT 2008 ) Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators

Steffen Mazanek, Mark Minas, Steffen Mazanek, 2008 .

Specifying Diagram Languages by Means of Hypergraph Grammars

Mark Minas, 2002, Diagrammatic Representation and Reasoning.

Tool Demonstration of the Transformation Judge

Steffen Mazanek, Mark Minas, Christian Rutetzki, 2011, AGTIVE.

Generating Meta-Model-Based Freehand Editors

Mark Minas, M. Minas, 2007, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Generating Correctness-Preserving Editing Operations for Diagram Editors

Steffen Mazanek, Mark Minas, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Structure, Abstraction, and Direct Manipulation in Diagram Editors

Mark Minas, Oliver Köth, 2002, Diagrams.

Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis

Florian Brieler, Mark Minas, M. Minas, 2008, AVI '08.

Transformation of Shaped Nested Graphs and Diagrams

Berthold Hoffmann, Mark Minas, 2001, Electron. Notes Theor. Comput. Sci..

Graphical Representation and Manipulation of Complex Structures Based on a Formal Model

Mark Minas, Gerhard Viehstaedt, 1995, CAiSE.

Specifying and Implementing Visual Process Modeling Languages with DiaGen

Berthold Hoffmann, Mark Minas, 2001, Electron. Notes Theor. Comput. Sci..

Integration of a Pattern-Based Layout Engine into Diagram Editors

Sonja Maier, Mark Minas, 2011, AGTIVE.

Specifying Graph-like Diagrams with DIAGEN

Mark Minas, 2002, Electron. Notes Theor. Comput. Sci..

Visual exploration of visual parser execution

Gennaro Costagliola, Vittorio Fuccella, Mark Minas, 2022, Multim. Tools Appl..

Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars

Berthold Hoffmann, Mark Minas, Frank Drewes, 2021, ICGT.

Proceedings Twelfth International Workshop on Graph Computational Models pdf

Berthold Hoffmann, Mark Minas, 2021, Electronic Proceedings in Theoretical Computer Science.

Context-exploiting shapes for diagram transformation

Berthold Hoffmann, Mark Minas, Frank Drewes, 2003 .

Constructing Shapely Nested Graph Transformations

Mark Minas, Frank Drewes, M. Minas, 2002 .

Visual specification of visual editors with DiaGen

Mark Minas, 2003 .