Mark Minas

123 papers A* 1A 3B 24C 4Journal 30Unranked 55
YearRankTypeTitle / Venue / Authors
2025 — conf
BugVis: A Debugger Supporting Time-Travel and Data Structure Visualization.
ECSEE
Kim Mönch, Mark Minas
2025 — conf
Generative AI in Student Software Development Projects: A User Study on Experiences and Self-Assessment.
ECSEE
Uwe M. Borghoff, Mark Minas, Jannis Schopp
2025 B conf
Graph Formulas and Their Translation to Alternating Graph Automata.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2025 J jnl
Learning to Code with Context: A Study-Based Approach.
CoRR
Uwe M. Borghoff, Mark Minas, Jannis Schopp
2025 B conf
Specifying and Checking Graph Properties with Alternating Graph Automata.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2025 — conf
Systems of Graph Formulas and their Equivalence to Alternating Graph Automata.
GCM@STAF
Frank Drewes, Berthold Hoffmann, Mark Minas
2024 — conf
Automatic Program Assessment, Grading and Code Generation: Possible AI-Support in a Software Development Course.
ICAISC (3)
Uwe M. Borghoff, Mark Minas, Kim Mönch
2024 — conf
GrappaRE - A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions.
GCM
Mattia De Rosa, Mark Minas
2023 — conf
Finite Automata for Efficient Graph Recognition.
GCM
Frank Drewes, Berthold Hoffmann, Mark Minas
2023 — conf
Using Automatic Program Assessment in a Software Development Project Course.
ECSEE
Uwe M. Borghoff, Mark Minas, Kim Mönch
2022 B ed.
2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022
VL/HCC
Paolo Bottoni, Gennaro Costagliola, Michelle Brachman, Mark Minas
2022 B conf
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2022 J jnl
Visual exploration of visual parser execution.
Multim. Tools Appl.
Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella, Mark Minas
2021 — ed.
Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021.
GCM@STAF
Berthold Hoffmann, Mark Minas
2021 B conf
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2020 B conf
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2020 B conf
ParVis: A visual tool for exploring parser execution traces.
AVI
Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella, Mark Minas
2020 — ed.
Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020.
GCM@STAF
Berthold Hoffmann, Mark Minas
2020 — conf
Visualizing Visual Parser Execution.
DMSVIVA
Mattia De Rosa, Mark Minas, Gennaro Costagliola
2019 B conf
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2019 J jnl
Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement.
J. Log. Algebraic Methods Program.
Frank Drewes, Berthold Hoffmann, Mark Minas
2019 C conf
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars.
LATA
Berthold Hoffmann, Mark Minas
2019 — conf
Speeding up Generalized PSR Parsers by Memoization Techniques.
GCM@STAF
Mark Minas
2019 B conf
Visual Parsing and Parser Visualization.
VL/HCC
Gennaro Costagliola, Mattia De Rosa, Mark Minas
2018 J jnl
Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement.
CoRR
Frank Drewes, Berthold Hoffmann, Mark Minas
2017 — conf
Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars.
STAF Workshops
Berthold Hoffmann, Mark Minas
2017 B conf
Investigating uni-stroke gesture input for diagram editors on large wall-mounted touchscreens.
VL/HCC
Christian Schenk, Sonja Schimmler, Mark Minas
2017 B conf
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2016 — conf
Approximating Parikh Images for Generating Deterministic Graph Parsers.
STAF Workshops
Frank Drewes, Berthold Hoffmann, Mark Minas
2016 B ed.
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
ICGT
Rachid Echahed, Mark Minas
2016 B conf
Operating diagram editors through unistroke gestures.
VL/HCC
Christian Schenk, Sonja Schimmler, Mark Minas
2016 B conf
Tool demo: Operating diagram editors through unistroke gestures.
VL/HCC
Christian Schenk, Sonja Schimmler, Mark Minas
2015 B conf
Predictive Top-Down Parsing for Hyperedge Replacement Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2015 B conf
Recording, processing, and visualizing changes in diagrams.
VL/HCC
Sonja Maier, Mark Minas
2013 J jnl
A Pattern-based Approach for Initial Diagram Layout.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sonja Maier, Mark Minas
2012 — conf
Increasing the reliability of single and multi core systems with software rejuvenation and coded processing.
Automotive - Safety & Security
Jürgen Braun, Jürgen Mottok, Christian Miedl, Dirk Geyer, Mark Minas
2012 J jnl
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sonja Maier, Mark Minas
2011 — conf
Contextual Hyperedge Replacement.
AGTIVE
Frank Drewes, Berthold Hoffmann, Mark Minas
2011 — conf
Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors.
AGTIVE
Torsten Strobl, Mark Minas
2011 J jnl
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Berthold Hoffmann, Mark Minas
2011 — conf
Integration of a Pattern-Based Layout Engine into Diagram Editors.
AGTIVE
Sonja Maier, Mark Minas
2011 — conf
Tool Demonstration of the Transformation Judge.
AGTIVE
Steffen Mazanek, Christian Rutetzki, Mark Minas
2010 J jnl
A model-based recognition engine for sketched diagrams.
J. Vis. Lang. Comput.
Florian Brieler, Mark Minas
2010 J jnl
Adaptive star grammars and their languages.
Theor. Comput. Sci.
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas
2010 J jnl
Combination of Different Layout Approaches.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sonja Maier, Mark Minas
2010 J jnl
Defining Models - Meta Models versus Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Berthold Hoffmann, Mark Minas
2010 J jnl
From the Behavior Model of an Animated Visual Language to its Editing Environment Based on Graph Transformation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Torsten Strobl, Mark Minas, Andreas Pleuss, Arnd Vitzthum
2010 — conf
Graph Transformation by Computational Category Theory.
Graph Transformations and Model-Driven Engineering
Mark Minas, Hans Jürgen Schneider
2010 — conf
Interactive diagram layout.
CHI Extended Abstracts
Sonja Maier, Mark Minas
2010 J jnl
Pattern-Based Layout Specifications for Visual Language Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sonja Maier, Mark Minas
2010 J jnl
Sketch-based Diagram Editors with User Assistance based on Graph Transformation and Graph Drawing Techniques.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Steffen Mazanek, Christian Rutetzki, Mark Minas
2010 J jnl
Special issue on selected papers from VL/HCC'09.
J. Vis. Lang. Comput.
Robert DeLine, Mark Minas
2010 J jnl
Specifying and Generating Editing Environments for Interactive Animated Visual Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Torsten Strobl, Mark Minas
2009 A conf
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors.
MoDELS
Steffen Mazanek, Mark Minas
2009 J jnl
Contraction of Unconnected Diagrams using Least Cost Parsing.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Steffen Mazanek, Mark Minas
2009 J jnl
Generating Correctness-Preserving Editing Operations for Diagram Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Steffen Mazanek, Mark Minas
2009 — conf
Specification of a Drawing Facility for Diagram Editors.
HCI (2)
Sonja Maier, Mark Minas
2008 J jnl
A Static Layout Algorithm for DiaMeta.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sonja Maier, Mark Minas
2008 B conf
Adaptive Star Grammars for Graph Models.
ICGT
Frank Drewes, Berthold Hoffmann, Mark Minas
2008 J jnl
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Florian Brieler, Mark Minas
2008 B conf
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars.
ICGT
Steffen Mazanek, Sonja Maier, Mark Minas
2008 B conf
Auto-completion for diagram editors based on graph grammars.
VL/HCC
Steffen Mazanek, Sonja Maier, Mark Minas
2008 J jnl
Exploiting the Layout Engine to Assess Diagram Completions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Steffen Mazanek, Sonja Maier, Mark Minas
2008 — conf
Functional-Logic Graph Parser Combinators.
RTA
Steffen Mazanek, Mark Minas
2008 J jnl
Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sonja Maier, Steffen Mazanek, Mark Minas
2008 J jnl
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Steffen Mazanek, Mark Minas
2008 B conf
Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis.
AVI
Florian Brieler, Mark Minas
2008 A conf
Visual Specification of Layout.
GD
Sonja Maier, Steffen Mazanek, Mark Minas
2007 — conf
A Generic Layout Algorithm for Meta-model Based Editors.
AGTIVE
Sonja Maier, Mark Minas
2007 J jnl
A Pattern-Based Layout Algorithm for Diagram Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Sonja Maier, Mark Minas
2007 — conf
Efficient Graph Matching with Application to Cognitive Automation.
AGTIVE
Alexander Matzner, Mark Minas, Axel Schulte
2007 — conf
Graph Parser Combinators.
IFL
Steffen Mazanek, Mark Minas
2007 — conf
Shaped Generic Graph Transformation.
AGTIVE
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
2006 B conf
Adaptive Star Grammars.
ICGT
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
2006 — conf
An Example of Cloning Graph Transformation Rules for Programming.
GT-VMT@ETAPS
Mark Minas, Berthold Hoffmann
2006 J jnl
Generating Meta-Model-Based Freehand Editors.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Mark Minas
2006 J jnl
Parsing of Adaptive Star Grammars.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Mark Minas
2006 B conf
Syntax analysis for diagram editors: a constraint satisfaction problem.
AVI
Mark Minas
2005 — ed.
Proceedings of the Workshop on Visual Languages and Formal Methods, VLFM 2004, Rome, Italy, September 30, 2004
VLFM
Mark Minas
2005 J jnl
Special issue on selected papers from VLFM'04.
J. Vis. Lang. Comput.
Mark Minas
2004 J jnl
Introductory paper.
Softw. Syst. Model.
Paolo Bottoni, Mark Minas
2004 — conf
Preface.
VLFM
Mark Minas
2004 — conf
Rule-Based Programming with Diaplan.
GraBaTs
Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas
2004 — conf
Syntax Definition with Graphs.
FoVMT
Mark Minas
2003 — conf
AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.
AGTIVE
Mark Minas
2003 — ed.
International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002
GT-VMT@ICGT
Paolo Bottoni, Mark Minas
2003 — conf
PLC Programming with Signal Interpreted Petri Nets.
ICATPN
Stéphane Klein, Georg Frey, Mark Minas
2003 — conf
Visual Specification of Visual Editors with VisualDiaGen.
AGTIVE
Mark Minas
2003 — conf
VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors.
AGTIVE
Mark Minas
2003 — conf
XML-based Specification of Diagram Editors.
UNIGRA
Mark Minas
2002 J jnl
Concepts and realization of a diagram editor generator based on hypergraph transformation.
Sci. Comput. Program.
Mark Minas
2002 — conf
Preface.
GT-VMT@ICGT
Paolo Bottoni, Mark Minas
2002 — ch.
Specifying Diagram Languages by Means of Hypergraph Grammars.
Diagrammatic Representation and Reasoning
Mark Minas
2002 — conf
Specifying Graph-like Diagrams with DIAGEN.
GraBaTs
Mark Minas
2002 C conf
Structure, Abstraction, and Direct Manipulation in Diagram Editors.
Diagrams
Oliver Köth, Mark Minas
2002 B conf
Unparsing of Diagrams with DiaGen.
ICGT
Mark Minas, Frank Strüber
2002 C conf
Visual PLC-programming using signal interpreted Petri nets.
ACC
Mark Minas, Georg Frey
2002 B conf
Workshop on Graph Transformation and Visual Modeling Techniques.
ICGT
Paolo Bottoni, Mark Minas
2001 — conf
Abstraction in Graph-Transformation Based Diagram Editors.
GT-VMT@ICALP
Oliver Köth, Mark Minas
2001 — conf
Specifying and Implementing Visual Process Modeling Languages with DiaGen.
UNIGRA
Mark Minas, Berthold Hoffmann
2001 — conf
Transformation of Shaped Nested Graphs and Diagrams.
RULE@PLI
Berthold Hoffmann, Mark Minas
2000 — conf
A Generic Model for Diagram Syntax and Semantics.
ICALP Satellite Workshops
Berthold Hoffmann, Mark Minas
2000 — conf
Towards Generic Rule-Based Visual Programming.
VL
Berthold Hoffmann, Mark Minas
2000 J jnl
Towards rule-based visual programming of generic visual systems
CoRR
Berthold Hoffmann, Mark Minas
1999 — conf
Creating Semantic Representations of Diagrams.
AGTIVE
Mark Minas
1999 — conf
Generating Diagram Editors with
AGTIVE
Mark Minas, Oliver Köth
1998 — conf
Automatically Generating Environments for Dynamic Diagram Languages.
VL
Mark Minas
1998 — conf
Hypergraphs as a Uniform Diagram Representation Model.
TAGT
Mark Minas
1997 — conf
Diagram Editing with Hypergraph Parser Support.
VL
Mark Minas
1996 — conf
A High-Level Visual Language for Generating Web Structures.
VL
Mark Minas, Leon A. Shklar
1996 A* conf
A New Approach to Consistency Control in Software Engineering.
ICSE
Georg Heidenreich, Mark Minas, Detlef Kips
1996 — conf
Visual Definition of Virtual Documents for the World-Wide Web.
PODP
Mark Minas, Leon A. Shklar
1996 C conf
Visualizing Information Repositories on the World-Wide Web.
ISI
Mark Minas, Leon A. Shklar
1995 — conf
Detecting Quantified Global Predicates in Parallel Programs.
Euro-Par
Mark Minas
1995 — conf
DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model.
NGITS
Gerhard Viehstaedt, Mark Minas
1995 — conf
DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams.
VL
Mark Minas, Gerhard Viehstaedt
1995 — conf
Editing user-specific diagrams by direct manipulation.
CHI 95 Conference Companion
Gerhard Viehstaedt, Mark Minas
1995 — conf
Generating Editors for Direct Manipulation of Diagrams.
EWHCI
Gerhard Viehstaedt, Mark Minas
1995 A conf
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model
CAiSE
Gerhard Viehstaedt, Mark Minas
1994 — conf
Interaction in Really Graphical User Interfaces.
VL
Gerhard Viehstaedt, Mark Minas
1993 — conf
Specification of Diagram Editors Providing Layout Adjustment with Minimal Change.
VL
Mark Minas, Gerhard Viehstaedt
1993 — conf
Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung.
GI Jahrestagung
Mark Minas
1992 — —
Überwachung technischer Prozesse mit Zeitconstraintnetzen.
Mark Minas