default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMark Minas
Person information
- affiliation: Bundeswehr University Munich, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i3]Frank Drewes, Berthold Hoffmann, Mark Minas:
Finite Automata for Efficient Graph Recognition. CoRR abs/2404.15052 (2024)- 2023
- [c77]Uwe M. Borghoff
, Mark Minas, Kim Mönch:
Using Automatic Program Assessment in a Software Development Project Course. ECSEE 2023: 22-30 - 2022
- [j27]Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella, Mark Minas:
Visual exploration of visual parser execution. Multim. Tools Appl. 81(1): 299-317 (2022) - [c76]Frank Drewes, Berthold Hoffmann, Mark Minas:
Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power. ICGT 2022: 3-19 - [e6]Paolo Bottoni, Gennaro Costagliola, Michelle Brachman, Mark Minas:
2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022. IEEE 2022, ISBN 978-1-6654-4215-2 [contents] - 2021
- [c75]Frank Drewes, Berthold Hoffmann, Mark Minas:
Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars. ICGT 2021: 164-184 - [e5]Berthold Hoffmann, Mark Minas:
Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021. EPTCS 350, 2021 [contents] - 2020
- [c74]Gennaro Costagliola, Mattia De Rosa, Vittorio Fuccella, Mark Minas:
ParVis: A visual tool for exploring parser execution traces. AVI 2020: 62:1-62:5 - [c73]Mattia De Rosa, Mark Minas, Gennaro Costagliola:
Visualizing Visual Parser Execution. DMSVIVA 2020: 57-66 - [c72]Frank Drewes, Berthold Hoffmann, Mark Minas:
Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers. ICGT 2020: 221-238 - [e4]Berthold Hoffmann, Mark Minas:
Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020. EPTCS 330, 2020 [contents]
2010 – 2019
- 2019
- [j26]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: 303-341 (2019) - [c71]Frank Drewes, Berthold Hoffmann, Mark Minas:
Extending Predictive Shift-Reduce Parsing to Contextual Hyperedge Replacement Grammars. ICGT 2019: 55-72 - [c70]Berthold Hoffmann, Mark Minas:
Generalized Predictive Shift-Reduce Parsing for Hyperedge Replacement Graph Grammars. LATA 2019: 233-245 - [c69]Gennaro Costagliola, Mattia De Rosa, Mark Minas:
Visual Parsing and Parser Visualization. VL/HCC 2019: 243-247 - [c68]Mark Minas:
Speeding up Generalized PSR Parsers by Memoization Techniques. GCM@STAF 2019: 71-86 - 2018
- [i2]Frank Drewes, Berthold Hoffmann, Mark Minas:
Formalization and Correctness of Predictive Shift-Reduce Parsers for Graph Grammars based on Hyperedge Replacement. CoRR abs/1812.11927 (2018) - 2017
- [c67]Frank Drewes, Berthold Hoffmann, Mark Minas:
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars. ICGT 2017: 106-122 - [c66]Berthold Hoffmann, Mark Minas:
Generating Efficient Predictive Shift-Reduce Parsers for Hyperedge Replacement Grammars. STAF Workshops 2017: 76-91 - [c65]Christian Schenk, Sonja Schimmler, Mark Minas:
Investigating uni-stroke gesture input for diagram editors on large wall-mounted touchscreens. VL/HCC 2017: 279-283 - 2016
- [c64]Frank Drewes, Berthold Hoffmann, Mark Minas:
Approximating Parikh Images for Generating Deterministic Graph Parsers. STAF Workshops 2016: 112-128 - [c63]Christian Schenk, Sonja Schimmler, Mark Minas:
Operating diagram editors through unistroke gestures. VL/HCC 2016: 21-25 - [c62]Christian Schenk, Sonja Schimmler, Mark Minas:
Tool demo: Operating diagram editors through unistroke gestures. VL/HCC 2016: 244-245 - [e3]Rachid Echahed, Mark Minas:
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. Lecture Notes in Computer Science 9761, Springer 2016, ISBN 978-3-319-40529-2 [contents] - 2015
- [c61]Frank Drewes, Berthold Hoffmann, Mark Minas:
Predictive Top-Down Parsing for Hyperedge Replacement Grammars. ICGT 2015: 19-34 - [c60]Sonja Maier, Mark Minas:
Recording, processing, and visualizing changes in diagrams. VL/HCC 2015: 131-135 - 2013
- [j25]Sonja Maier, Mark Minas:
A Pattern-based Approach for Initial Diagram Layout. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - 2012
- [j24]Sonja Maier, Mark Minas:
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [c59]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: 163-178 - 2011
- [j23]Berthold Hoffmann, Mark Minas:
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011) - [c58]Torsten Strobl, Mark Minas:
Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors. AGTIVE 2011: 65-80 - [c57]Sonja Maier, Mark Minas:
Integration of a Pattern-Based Layout Engine into Diagram Editors. AGTIVE 2011: 89-96 - [c56]Steffen Mazanek, Christian Rutetzki, Mark Minas:
Tool Demonstration of the Transformation Judge. AGTIVE 2011: 97-104 - [c55]Frank Drewes, Berthold Hoffmann, Mark Minas:
Contextual Hyperedge Replacement. AGTIVE 2011: 182-197 - 2010
- [j22]Sonja Maier, Mark Minas:
Pattern-Based Layout Specifications for Visual Language Editors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 25 (2010) - [j21]Berthold Hoffmann, Mark Minas:
Defining Models - Meta Models versus Graph Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j20]Torsten Strobl, Mark Minas:
Specifying and Generating Editing Environments for Interactive Animated Visual Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j19]Sonja Maier, Mark Minas:
Combination of Different Layout Approaches. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010) - [j18]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) - [j17]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) - [j16]Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas:
Adaptive star grammars and their languages. Theor. Comput. Sci. 411(34-36): 3090-3109 (2010) - [j15]Florian Brieler, Mark Minas:
A model-based recognition engine for sketched diagrams. J. Vis. Lang. Comput. 21(2): 81-97 (2010) - [j14]Robert DeLine, Mark Minas:
Special issue on selected papers from VL/HCC'09. J. Vis. Lang. Comput. 21(5): 247-248 (2010) - [c54]Mark Minas, Hans Jürgen Schneider:
Graph Transformation by Computational Category Theory. Graph Transformations and Model-Driven Engineering 2010: 33-58 - [c53]Sonja Maier, Mark Minas:
Interactive diagram layout. CHI Extended Abstracts 2010: 4111-4116
2000 – 2009
- 2009
- [j13]Steffen Mazanek, Mark Minas:
Generating Correctness-Preserving Editing Operations for Diagram Editors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [j12]Steffen Mazanek, Mark Minas:
Contraction of Unconnected Diagrams using Least Cost Parsing. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 18 (2009) - [c52]Sonja Maier, Mark Minas:
Specification of a Drawing Facility for Diagram Editors. HCI (2) 2009: 850-859 - [c51]Steffen Mazanek, Mark Minas:
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors. MoDELS 2009: 322-336 - 2008
- [j11]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) - [j10]Sonja Maier, Mark Minas:
A Static Layout Algorithm for DiaMeta. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j9]Steffen Mazanek, Mark Minas:
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [j8]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) - [j7]Steffen Mazanek, Sonja Maier, Mark Minas:
Exploiting the Layout Engine to Assess Diagram Completions. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 13 (2008) - [c50]Florian Brieler, Mark Minas:
Recognition and processing of hand-drawn diagrams using syntactic and semantic analysis. AVI 2008: 181-188 - [c49]Sonja Maier, Steffen Mazanek, Mark Minas:
Visual Specification of Layout. GD 2008: 443-444 - [c48]Steffen Mazanek, Sonja Maier, Mark Minas:
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars. ICGT 2008: 39-53 - [c47]Frank Drewes, Berthold Hoffmann, Mark Minas:
Adaptive Star Grammars for Graph Models. ICGT 2008: 442-457 - [c46]Steffen Mazanek, Mark Minas:
Functional-Logic Graph Parser Combinators. RTA 2008: 261-275 - [c45]Steffen Mazanek, Sonja Maier, Mark Minas:
Auto-completion for diagram editors based on graph grammars. VL/HCC 2008: 242-245 - 2007
- [j6]Sonja Maier, Mark Minas:
A Pattern-Based Layout Algorithm for Diagram Editors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007) - [c44]Sonja Maier, Mark Minas:
A Generic Layout Algorithm for Meta-model Based Editors. AGTIVE 2007: 66-81 - [c43]Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde:
Shaped Generic Graph Transformation. AGTIVE 2007: 201-216 - [c42]Alexander Matzner, Mark Minas, Axel Schulte:
Efficient Graph Matching with Application to Cognitive Automation. AGTIVE 2007: 297-312 - [c41]Steffen Mazanek, Mark Minas:
Graph Parser Combinators. IFL 2007: 1-18 - 2006
- [j5]Mark Minas:
Generating Meta-Model-Based Freehand Editors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006) - [j4]Mark Minas:
Parsing of Adaptive Star Grammars. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 4 (2006) - [c40]Mark Minas:
Syntax analysis for diagram editors: a constraint satisfaction problem. AVI 2006: 167-170 - [c39]Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde:
Adaptive Star Grammars. ICGT 2006: 77-91 - [c38]Mark Minas, Berthold Hoffmann:
An Example of Cloning Graph Transformation Rules for Programming. GT-VMT@ETAPS 2006: 241-250 - 2005
- [j3]Mark Minas:
Special issue on selected papers from VLFM'04. J. Vis. Lang. Comput. 16(6): 483-484 (2005) - [e2]Mark Minas:
Proceedings of the Workshop on Visual Languages and Formal Methods, VLFM 2004, Rome, Italy, September 30, 2004. Electronic Notes in Theoretical Computer Science 127(4), Elsevier 2005 [contents] - 2004
- [j2]Paolo Bottoni, Mark Minas:
Introductory paper. Softw. Syst. Model. 3(2): 83-84 (2004) - [c37]Mark Minas:
Preface. VLFM 2004: 1-2 - [c36]Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas:
Rule-Based Programming with Diaplan. GraBaTs 2004: 15-26 - [c35]Mark Minas:
Syntax Definition with Graphs. FoVMT 2004: 19-40 - 2003
- [c34]Mark Minas:
VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors. AGTIVE 2003: 398-412 - [c33]Mark Minas:
Visual Specification of Visual Editors with VisualDiaGen. AGTIVE 2003: 473-478 - [c32]Mark Minas:
AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications. AGTIVE 2003: 491-492 - [c31]Stéphane Klein, Georg Frey, Mark Minas:
PLC Programming with Signal Interpreted Petri Nets. ICATPN 2003: 440-449 - [c30]Mark Minas:
XML-based Specification of Diagram Editors. UNIGRA 2003: 105-119 - [e1]Paolo Bottoni, Mark Minas:
International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002. Electronic Notes in Theoretical Computer Science 72(3), Elsevier 2003 [contents] - 2002
- [j1]Mark Minas:
Concepts and realization of a diagram editor generator based on hypergraph transformation. Sci. Comput. Program. 44(2): 157-180 (2002) - [c29]Mark Minas, Georg Frey:
Visual PLC-programming using signal interpreted Petri nets. ACC 2002: 5019-5024 - [c28]Oliver Köth, Mark Minas:
Structure, Abstraction, and Direct Manipulation in Diagram Editors. Diagrams 2002: 290-304 - [c27]Mark Minas, Frank Strüber:
Unparsing of Diagrams with DiaGen. ICGT 2002: 302-316 - [c26]Paolo Bottoni, Mark Minas:
Workshop on Graph Transformation and Visual Modeling Techniques. ICGT 2002: 445-449 - [c25]Mark Minas:
Specifying Graph-like Diagrams with DIAGEN. GraBaTs 2002: 102-111 - [c24]Paolo Bottoni, Mark Minas:
Preface. GT-VMT@ICGT 2002: 176-177 - [p1]Mark Minas:
Specifying Diagram Languages by Means of Hypergraph Grammars. Diagrammatic Representation and Reasoning 2002: 565-579 - 2001
- [c23]Mark Minas, Berthold Hoffmann:
Specifying and Implementing Visual Process Modeling Languages with DiaGen. UNIGRA 2001: 67-79 - [c22]Oliver Köth, Mark Minas:
Abstraction in Graph-Transformation Based Diagram Editors. GT-VMT@ICALP 2001: 295-301 - [c21]Berthold Hoffmann, Mark Minas:
Transformation of Shaped Nested Graphs and Diagrams. RULE@PLI 2001: 305-319 - 2000
- [c20]Berthold Hoffmann, Mark Minas:
A Generic Model for Diagram Syntax and Semantics. ICALP Satellite Workshops 2000: 443-450 - [c19]Berthold Hoffmann, Mark Minas:
Towards Generic Rule-Based Visual Programming. VL 2000: 65-66 - [i1]Berthold Hoffmann, Mark Minas:
Towards rule-based visual programming of generic visual systems. CoRR cs.PL/0010016 (2000)
1990 – 1999
- 1999
- [c18]Mark Minas:
Creating Semantic Representations of Diagrams. AGTIVE 1999: 209-224 - [c17]Mark Minas, Oliver Köth:
Generating Diagram Editors with DiaGen. AGTIVE 1999: 433-440 - 1998
- [c16]Mark Minas:
Hypergraphs as a Uniform Diagram Representation Model. TAGT 1998: 281-295 - [c15]Mark Minas:
Automatically Generating Environments for Dynamic Diagram Languages. VL 1998: 70-71 - 1997
- [c14]Mark Minas:
Diagram Editing with Hypergraph Parser Support. VL 1997: 230-237 - 1996
- [c13]Georg Heidenreich, Mark Minas, Detlef Kips:
A New Approach to Consistency Control in Software Engineering. ICSE 1996: 289-297 - [c12]Mark Minas, Leon A. Shklar:
Visualizing Information Repositories on the World-Wide Web. ISI 1996: 297-309 - [c11]Mark Minas, Leon A. Shklar:
Visual Definition of Virtual Documents for the World-Wide Web. PODP 1996: 183-195 - [c10]Mark Minas, Leon A. Shklar:
A High-Level Visual Language for Generating Web Structures. VL 1996: 284-285 - 1995
- [c9]Gerhard Viehstaedt, Mark Minas:
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model. CAiSE 1995: 243-254 - [c8]Gerhard Viehstaedt, Mark Minas:
Editing user-specific diagrams by direct manipulation. CHI 95 Conference Companion 1995: 137-138 - [c7]Mark Minas:
Detecting Quantified Global Predicates in Parallel Programs. Euro-Par 1995: 403-414 - [c6]Gerhard Viehstaedt, Mark Minas:
Generating Editors for Direct Manipulation of Diagrams. EWHCI 1995: 17-25 - [c5]Gerhard Viehstaedt, Mark Minas:
DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model. NGITS 1995 - [c4]Mark Minas, Gerhard Viehstaedt:
DiaGen: A Generator for Diagram Editors Providing Direct Manipulation and Execution of Diagrams. VL 1995: 203-210 - 1994
- [c3]Gerhard Viehstaedt, Mark Minas:
Interaction in Really Graphical User Interfaces. VL 1994: 270-277 - 1993
- [c2]Mark Minas:
Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung. GI Jahrestagung 1993: 334-339 - [c1]Mark Minas, Gerhard Viehstaedt:
Specification of Diagram Editors Providing Layout Adjustment with Minimal Change. VL 1993: 324-329 - 1992
- [b1]Mark Minas:
Überwachung technischer Prozesse mit Zeitconstraintnetzen. University of Erlangen-Nuremberg, Germany, 1992, pp. 1-193
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-24 20:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
