Mark Minas
Prof. Dr. Mark Minas
2010
- , :
 Graph transformation by computational category theory
 In: Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, Berlin/Heidelberg: Springer-verlag, 2010, S. 33-58 (Lecture Notes Computer Science, Bd.5765)
 ISBN: 978-3-642-17321-9
 DOI: 10.1007/978-3-642-17322-6_3
 URL: https://www2.cs.fau.de/staff/schneider/gtbook/fmn-final.pdf
 BibTeX: Download
2004
- :
 VisualDiaGen – A Tool for Visually Specifying and Generating Visual Editors
 Second International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003) (Charlottesville, VA, 27.09.2003 - 01.10.2003)
 In: Pfaltz, John L. ; Nagl, Manfred ; Böhlen, Boris (Hrsg.): Applications of Graph Transformations with Industrial Relevance - Second International Workshop, AGTIVE 2003, Berlin Heidelberg: 2004
 DOI: 10.1007/978-3-540-25959-6_29
 URL: http://www2.informatik.uni-erlangen.de/publication/download/Minas-Agtive03.pdf
 BibTeX: Download
- :
 Visual specification of visual editors with DiaGen
 Second International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003) (Charlottesville, VA, 27.09.2003 - 01.10.2003)
 In: Pfaltz, John L. ; Nagl, Manfred ; Böhlen, Boris (Hrsg.): Second International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Berlin Heidelberg: 2004
 DOI: 10.1007/978-3-540-25959-6_39
 URL: http://www2.informatik.uni-erlangen.de/publication/download/Minas-Agtive03-Demo.pdf
 BibTeX: Download
2003
- ,  (Hrsg.):
 GT-VMT'2002, Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation)
 Amsterdam: 2003
 (Electronic Notes in Theoretical Computer Science, Bd. 72)
 ISBN: 0444514082
 URL: http://www.sciencedirect.com/science/journal/15710661/72/3
 BibTeX: Download
- , , :
 Context-exploiting shapes for diagram transformation
 In: Machine Graphics and Vision 12 (2003), S. 117-132
 ISSN: 1230-0535
 URL: http://www.ipipan.waw.pl/MGV/MGV12.html#V12N1
 BibTeX: Download
- :
 XML-based specification of diagram editors
 Proc. Uniform Approaches to Graphical Process Specification Techniques (UNIGRA'03) (Warschau, 05.04.2003 - 06.04.2003)
 In: Bardohl, R. ; Ehrig, Hartmut (Hrsg.): UNIGRA'03 Proc. Uniform Approaches to Graphical Process Specification Techniques (Satellite Event for ETAPS 2003), Amsterdam, NL: 2003
 DOI: 10.1016/S1571-0661(04)80750-3
 URL: http://www2.informatik.uni-erlangen.de/publication/download/Unigra03.pdf
 BibTeX: Download
2002
- , , :
 Constructing shapely nested graph transformations
 APPLIGRAPH Workshop on Applied Graph Transformation (AGT'2002) (Grenoble, 12.04.2002 - 13.02.2002)
 In: Kreowski, Hans-Jörg ; Plump, Detlef (Hrsg.): AGT'2002 Proc. APPLIGRAPH Workshop on Applied Graph Transformation (Satellite Event to ETAPS 2002) 2002
 URL: http://www2.informatik.uni-erlangen.de/publication/download/AGT2002.ps.gz
 BibTeX: Download
- , , :
 Context-exploiting shapes for diagram transformations
 1st European Workshop on Diagrammatics and Design (D&D 2002) (Bielsko-Biala, 23.09.2002 - 24.09.2002)
 In: Suwa, M. (Hrsg.): 1st European Workshop on Diagrammatics and Design 2002
 URL: http://www2.informatik.uni-erlangen.de/publication/download/DuD02-abs.pdf
 BibTeX: Download
- , , :
 Steuerungsentwurf mit Petrinetzen
 In: SPS-Magazin : Zeitschrift für Automatisierungstechnik 4/5 (2002), S. 44-47
 ISSN: 0935-0187
 BibTeX: Download
- , :
 Structure, abstraction and direct manipulation in diagram editors
 2nd Intl. Conf. Diagrams 2002 (Callaway Gardens, GA, 18.04.2002 - 20.04.2002)
 In: Hegarty, M. ; Meyer, B. ; Narayanan, N. (Hrsg.): Diagrammatic Representation and Inference Second International Conference, Diagrams 2002, Berlin Heidelberg: 2002
 DOI: 10.1007/3-540-46037-3
 URL: http://www2.informatik.uni-erlangen.de/publication/download/Diagrams2002.ps.gz
 BibTeX: Download
- :
 Concepts and realization of a diagram editor generator based on hypergraph transformation
 In: Science of Computer Programming 44 (2002), S. 157-180
 ISSN: 0167-6423
 DOI: 10.1016/S0167-6423(02)00037-0
 BibTeX: Download
- :
 Specifying diagram languages by means of hypergraph grammars
 Thinking with Diagrams '98 (Aberystwyth, UK, 22.08.1993 - 23.08.1993)
 In: Michael Anderson ; Bernd Meyer ; Patrick Olivier (Hrsg.): Diagrammatic representation and reasoning, London: 2002
 DOI: 10.1007/978-1-4471-0109-3_32
 URL: http://www2.informatik.uni-erlangen.de/publication/download/TwD98.pdf
 BibTeX: Download
- :
 Specifying graph-like diagrams with DiaGen
 International Workshop on Graph Based Tools (GraBaTs 2002) (Barcelona, 07.10.2002 - 08.10.2002)
 In: Mens, T. ; Schürr, A. ; Taentzer, Gabi (Hrsg.): Proc. International Workshop on Graph-Based Tools (GraBaTs'02), Amsterdam: 2002
 DOI: 10.1016/S1571-0661(05)80761-3
 URL: http://www2.informatik.uni-erlangen.de/publication/download/GraBaTs02.pdf
 BibTeX: Download
- , :
 Visual PLC-programming using signal interpreted petri nets
 American Control Conference 2002 (ACC 2002) (Anchorage, AK, 08.05.2002 - 10.05.2002)
 In: Proc. of the American Control Conference 2002 2002
 DOI: 10.1109/ACC.2002.1025461
 URL: http://www2.informatik.uni-erlangen.de/publication/download/ACC2002.pdf
 BibTeX: Download
- , :
 Unparsing of diagrams with DiaGen
 International Conference on Graph Transformation (ICGT 2002) (Barcelona, 07.10.2002 - 12.10.2002)
 In: Corradini, A. ; Ehrig, Hartmut ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz (Hrsg.): Graph Transformation - First International Conference, ICGT 2002, Berlin Heidelberg: 2002
 DOI: 10.1007/3-540-45832-8
 URL: http://www2.informatik.uni-erlangen.de/publication/download/ICGT02.ps.gz
 BibTeX: Download
2001
- , :
 Internet-based development of logic controllers using signal interpreted Petrinets and IEC 61131
 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001) (Orlando, FL, 22.07.2001 - 25.07.2001)
 In: Callaos, Nagib ; da Silva, Ivan Nunes ; Molero, Jorge (Hrsg.): Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001) 2001
 URL: http://www2.informatik.uni-erlangen.de/publication/download/Sci2001.pdf
 BibTeX: Download
- , , :
 Integration von Petrinetzen in den Steuerungsentwurf nach IEC 61131
 SPS/IPC/Drives 2001 (Nürnberg, 27.11.2001 - 29.11.2001)
 In: Tagungsband SPS/IPC/Drives 2001 2001
 URL: http://www2.informatik.uni-erlangen.de/publication/download/SPS-Drives2001.pdf
 BibTeX: Download
- , :
 Transformation of shaped nested graphs and diagrams
 RULE 2001, affil. with "Principles, Logics, and Implementations of High-Level Programming Language" PLI 2001 (Florenze, Italy, 04.09.2001 - 04.09.2001)
 In: van den Brand, M. ; Verma, R. (Hrsg.): Proc. 2nd International Workshop on Rule-based Programming, Amsterdam: 2001
 DOI: 10.1016/S1571-0661(04)00294-4
 URL: http://www2.informatik.uni-erlangen.de/publication/download/RULE2001.pdf
 BibTeX: Download
- , :
 Abstraction in graph-transformation based diagram editors
 Second International Workshop on Graph Transformation and Visual Modeling Techniques (Crete, Greece, 12.07.2001 - 13.07.2001)
 In: Second International Workshop on Graph Transformation and Visual Modeling Techniques, Amsterdam: 2001
 DOI: 10.1016/S1571-0661(04)00182-3
 URL: http://www2.informatik.uni-erlangen.de/publication/download/RULE2001.pdf
 BibTeX: Download
- :
 Specifying diagram languages by means of hypertraph grammars
 In: Anderson, M. ; Meyer, B. ; Olivier, P. (Hrsg.): Diagrammatic Representation and Reasoning, London: Springer, 2001, S. 565-579
 ISBN: 1-85233-242-5
 DOI: 10.1007/978-1-4471-0109-3
 URL: http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-0-22-2094610-0,00.html
 BibTeX: Download
- :
 Spezifikation und Generierung graphischer Diagrammeditoren (Habilitationsschrift, 2001)
 BibTeX: Download
- , :
 Specifying and implementing visual process modeling languages with DiaGen
 UNIGRA 2001, Uniform Approaches to Graphical Process Specification Techniques (a Satellite Event of ETAPS 2001) (Genova, Italy, 31.03.2001 - 01.04.2001)
 In: Ehrig, Hartmut ; Ermel, C. ; Padberg, J. (Hrsg.): Specifying and implementing visual process modeling languages with diagen, Amsterdam: 2001
 DOI: 10.1016/S1571-0661(04)80944-7
 URL: http://www2.informatik.uni-erlangen.de/publication/download/Unigra01.ps.gz
 BibTeX: Download
2000
- , :
 Editing, visualizing, and implementing signal interpreted petri nets
 7. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'2000) (Koblenz, 02.10.2000 - 03.10.2000)
 In: Proc. 7. Workshop Algorithmen und Werkzeuge für Petrinetze, Koblenz: 2000
 URL: http://www2.informatik.uni-erlangen.de/publication/download/awpn2000.ps.gz
 BibTeX: Download
- , :
 A generic model for diagram syntax and semantics
 GT-VMT'2002, Graph Transformation and Visual Modeling Techniques (ICALP Workshop) (Genova, Switzerland, 15.07.2000 - 16.07.2000)
 In: Rolim, José (Hrsg.): Proceedings of the ICALP Workshops on Graph Transformation and Visual Modelling Techniques (GT-VMT'2002), Waterloo, Onterio/CA: 2000
 URL: http://www.di.unipi.it/~andrea/Workshops/ICALP2K-Satellite/GT-VMT.html
 BibTeX: Download
- , :
 Towards generic rule-based visual programming
 IEEE Symposium on Visual Languages (VL 2000) (Seattle, WA, 10.09.2000 - 13.09.2000)
 In: Proc. IEEE Symposium on Visual Languages 2000, Los Alamitos: 2000
 DOI: 10.1109/VL.2000.874354
 URL: http://www2.informatik.uni-erlangen.de/publication/download/vl00.pdf
 BibTeX: Download
- , :
 Towards rule-based visual programming of generic visual systems
 First International Workshop on Rule-Based Programming (RULE 2000) (Montreal, Canada, 19.09.2000 - 19.09.2000)
 In: Dershowitz, Nachum ; Kirchner, Claude (Hrsg.): Proc. of the First International Workshop on Rule-Based Programming (RULE 2000) 2000
 URL: http://www2.informatik.uni-erlangen.de/publication/download/RULE2000.pdf
 BibTeX: Download
- , :
 Über generisches visuelles Programmieren
 Softwarevisualisierung 2000 (Schloß Dagstuhl, Wadern, 11.05.2000 - 12.05.2000)
 In: Diehl, S. ; Kerren, A. (Hrsg.): Tagungsband des GI-Workshops Softwarevisualisierung 2000 2000
 URL: http://www2.informatik.uni-erlangen.de/publication/download/SV2000.ps.gz
 BibTeX: Download
- , :
 Generating diagram editors providing free-hand editing as well as syntax-directed editing
 Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000) (Berlin, 25.03.2000 - 27.03.2000)
 In: Ehrig, Hartmut ; Taentzer, Gabi (Hrsg.): Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000), Berlin: 2000
 URL: http://www2.informatik.uni-erlangen.de/publication/download/GraTra2000.pdf
 BibTeX: Download
- :
 Hypergraphs as a uniform diagram representation model
 6th International Workshop on Theory and Application of Graph Transformations (TAGT'98) (Paderborn, 16.11.1998 - 20.11.1998)
 In: Ehrig, Hartmut ; Engels, Gregor ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz (Hrsg.): Theory and Application of Graph Transformations - 6th International Workshop (TAGT’98), Berlin Heidelberg: 2000
 DOI: 10.1007/978-3-540-46464-8_20
 URL: http://www2.informatik.uni-erlangen.de/publication/download/tagt98.pdf
 BibTeX: Download
- , :
 Creating semantic representations of diagrams
 International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999) (Kerkrade, Netherlands, 01.09.1999 - 03.09.1999)
 In: Nagl, Manfred ; Schürr, A. ; Münch, M. (Hrsg.): Applications of Graph Transformations with Industrial Relevance - International Workshop (AGTIVE’99), Berlin Heidelberg: 2000
 DOI: 10.1007/3-540-45104-8_15
 URL: http://www2.informatik.uni-erlangen.de/publication/download/AGTIVE99.pdf
 BibTeX: Download
- , :
 Generating diagram editors with DiaGen
 International Workshop of Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999) (Kerkrade, Netherlands, 01.09.1999 - 03.09.1999)
 In: Nagl, Manfred ; Schürr, A. ; Münch, M. (Hrsg.): Applications of Graph Transformations with Industrial Relevance - International Workshop (AGTIVE’99), Berlin Heidelberg: 2000
 DOI: 10.1007/3-540-45104-8_35
 URL: http://www2.informatik.uni-erlangen.de/publication/download/AGTIVE99-demo.pdf
 BibTeX: Download
1999
- , , , :
 Application of graph transformation to visual languages
 In: Handbook of Graph Grammars and Computing by Graph Transformation, Singapur: World Scientific Publisher, 1999, S. 105-180 (Applications, Languages and Tools, Bd.2)
 ISBN: 978-981-02-4020-2
 DOI: 10.1142/9789812815149_0003
 BibTeX: Download
- :
 Translating diagrams
 (1999)
 URL: http://www2.informatik.uni-erlangen.de/publication/download/tr-99.pdf
 BibTeX: Download
 (Techreport)
1998
- :
 Automatically generating environments for dynamic diagram languages
 IEEE Symposium on Visual Languages (VL'98) (Halifax, Canada, 01.09.1998 - 04.09.1998)
 In: IEEE (Hrsg.): Proceedings of the IEEE Symposium on Visual Languages (VL'98), Los Alamitos: 1998
 DOI: 10.1109/VL.1998.706137
 URL: http://www2.informatik.uni-erlangen.de/publication/download/VL98.pdf
 BibTeX: Download
- :
 Hypergraph representation of diagrams in diagram editors
 Workshop on Formalizing Reasoning with Visual and Diagrammatic Representations (Orlando, FL, 23.10.1998 - 25.10.1998)
 In: Jensen, David D. ; Goldberg, Henry (Hrsg.): AAAI FAll Symposium 1998, Menlo Park, Calif.: 1998
 URL: http://www2.informatik.uni-erlangen.de/publication/download/FRVDR98.pdf
 BibTeX: Download
1997
- :
 Diagram editing with hypergraph parser support
 IEEE Symposium on Visual Languages (VL '97) (Capri, Italy, 23.09.1997 - 26.09.1997)
 In: Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97), Los Alamitos: 1997
 DOI: 10.1109/VL.1997.626587
 URL: http://www2.informatik.uni-erlangen.de/publication/download/VL97.pdf
 BibTeX: Download
- , :
 Visual definition of virtual documents for the world-wide web
 Third International Workshop on the Principles of Document Processing (PODP'96) (Palo Alto, CA, 23.09.1996 - 23.09.1996)
 In: Nicholas, Charles K. ; Wood, Derick (Hrsg.): Principles of Document Processing - Third International Workshop (PODP '96), Berlin Heidelberg: 1997
 DOI: 10.1007/3-540-63620-X
 URL: http://www2.informatik.uni-erlangen.de/publication/download/PODP96.ps.gz
 BibTeX: Download
1996
- , , :
 A New Approach to Consistency Control in Software Engineering
 18th International Conference on Software Engineering (ICSE 1996) (Berlin, 25.03.1996 - 29.03.1996)
 In: Proceedings of the 18th International Conference on Software Engineering (ICSE 1996), New York: 1996
 DOI: 10.1109/ICSE.1996.493424
 BibTeX: Download
- , , :
 Interval Construction with Partially Ordered Object Versions
 Int. Conference on Interval Methods and Computer Aided Proofs in Science and Engineering (Interval'96) (Würzburg, 30.09.1996 - 02.10.1996)
 In: von Gudenberg, Jürgen Wolff (Hrsg.): Proceedings of the Int. Conference on Interval Methods and Computer Aided Proofs in Science and Engineering (Interval'96) 1996
 URL: http://www2.informatik.uni-erlangen.de/publication/download/INTE96.pdf
 BibTeX: Download
- , :
 A high-level visual language for generating web structures
 IEEE Symposium on Visual Languages (VL '96) (Boulder, CO, 03.09.1996 - 06.09.1996)
 In: Proceedings of the IEEE Symposium on Visual Languages (VL '96), Los Alamitos: 1996
 DOI: 10.1109/VL.1996.545299
 URL: http://www2.informatik.uni-erlangen.de/publication/download/VL96.pdf
 BibTeX: Download
- , :
 Visualizing information repositories on the world-wide web
 5. Internationales Symposium für Informationswissenschaft (ISI'96) (Berlin, 17.10.1996 - 19.10.1996)
 In: Krause, J. ; Herfurth, M. ; Marx, J. (Hrsg.): Herausforderungen an die Informationswirtschaft, Konstanz: 1996
 URL: http://www2.informatik.uni-erlangen.de/publication/download/ISI96.pdf
 BibTeX: Download
1995
- :
 Detecting quantified global predicates in parallel programs
 1st International EURO-PAR Conference (Stockholm, 29.08.1995 - 31.08.1995)
 In: Haridi, S. ; Ali, K. ; Magnusson, P. (Hrsg.): EURO-PAR '95 Parallel Processing - First International EURO-PAR Conference, Berlin Heidelberg: 1995
 DOI: 10.1007/BFb0020481
 URL: http://www2.informatik.uni-erlangen.de/publication/download/Europar95.pdf
 BibTeX: Download
- , :
 DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams
 11th IEEE International Symposium on Visual Languages (VL'95) (Darmstadt, 05.09.1995 - 09.09.1995)
 In: Haarslev, V. (Hrsg.): Proceedings of the 11th IEEE International Symposium on Visual Languages (VL'95) 1995
 DOI: 10.1109/VL.1995.520810
 URL: http://www2.informatik.uni-erlangen.de/publication/download/VL95.pdf
 BibTeX: Download
- , :
 DiaGen: A generator for diagram editors based on a hypergraph model
 2nd International Workshop on Next Generation Information Technologies and Systems (NGITS'95) (Naharia, 27.06.1995 - 29.06.1995)
 In: Motro, A. ; Tennenholtz, M. (Hrsg.): Next Generation Information Technologies and Systems (NGITS '95), Second International Workshop 1995
 URL: http://www2.informatik.uni-erlangen.de/publication/download/NGITS95.pdf
 BibTeX: Download
- , :
 Generating editors for direct manipulation of diagrams
 5th East-West International Conference on Human-Computer Interaction (EWHCI'95) (Moscow, 03.07.1995 - 07.07.1995)
 In: Blumenthal, B. ; Gornostaev, J. ; Unger, C. (Hrsg.): Human-Computer Interaction 5th International Conference, EWHCI '95, Berlin Heidelberg: 1995
 DOI: 10.1007/3-540-60614-9_2
 URL: http://www2.informatik.uni-erlangen.de/publication/download/EWHCI95.pdf
 BibTeX: Download
1994
- :
 Cyclic debugging for pSather, a parallel object-oriented programming language
 Proc. DAGS'94 Symposium (Hanover, NH)
 In: Makedon, F. (Hrsg.): Proc. DAGS'94 Symposium 1994
 URL: http://www2.informatik.uni-erlangen.de/publication/download/DAGS94.pdf
 BibTeX: Download
- :
 Fault detection for sequentially controlled machines using temporal constraint nets
 2nd International Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess '94) (Helsinki)
 In: Ruakonen, T. (Hrsg.): Preprints IFAC Symposium on Fault Detection 1994
 URL: http://www2.informatik.uni-erlangen.de/publication/download/Safeprocess94.pdf
 BibTeX: Download
- , :
 Interaction in really graphical user interfaces
 IEEE Symposium on Visual Languages (VL'94) (St. Louis, MO, 04.10.1994 - 07.10.1994)
 In: Ambler, A. L. ; Kimura, T. D. (Hrsg.): Proceedings of the IEEE Symposium on Visual Languages (VL'94) 1994
 DOI: 10.1109/VL.1994.363608
 URL: http://www2.informatik.uni-erlangen.de/publication/download/VL94.pdf
 BibTeX: Download
1993
- :
 Modelling and monitoring real-time systems with temporal contraint nets
 Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'93) (Edinburgh, Scotland, 01.06.1993 - 04.06.1993)
 In: Chung, P. W. ; Lovegrove, G. ; Ali, Moonis (Hrsg.): Proceedings of the Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'93), London: 1993
 URL: http://www2.informatik.uni-erlangen.de/publication/download/INTE96.pdf
 BibTeX: Download
- :
 Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung
 Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung (Dresden, 27.09.1993 - 01.10.1993)
 In: Reichel, H. (Hrsg.): Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Berlin Heidelberg: 1993
 DOI: 10.1007/978-3-642-78486-6_56
 URL: http://www2.informatik.uni-erlangen.de/publication/download/GI93-visual.pdf
 BibTeX: Download
- , :
 Specification of diagram editors providing layout adjustment with minimal change
 IEEE Symposium on Visual Languages (VL'93) (Bergen, 24.08.1993 - 27.08.1993)
 In: Proceedings of the IEEE Symposium on Visual Languages (VL'93) 1993
 DOI: 10.1109/VL.1993.269618
 URL: http://www2.informatik.uni-erlangen.de/publication/download/VL93.pdf
 BibTeX: Download
1992
- :
 Überwachung technischer Prozesse mit Zeitconstraintnetzen (Dissertation, 1992)
 BibTeX: Download

