Mark Minas
Prof. Dr. Mark Minas
Research assistant from 1989 till 2003
Computer Science Department
Programming Systems Group (Informatik 2)
2010
- Schneider HJ., Minas M.:
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, p. 33-58 (Lecture Notes Computer Science, Vol.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
- Minas M.:
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 (ed.): 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 - Minas M.:
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 (ed.): 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
- Bottoni P., Minas M. (ed.):
GT-VMT'2002, Graph Transformation and Visual Modeling Techniques (First International Conference on Graph Transformation)
Amsterdam: 2003
(Electronic Notes in Theoretical Computer Science, Vol. 72)
ISBN: 0444514082
URL: http://www.sciencedirect.com/science/journal/15710661/72/3
BibTeX: Download - Drewes F., Hoffmann B., Minas M.:
Context-exploiting shapes for diagram transformation
In: Machine Graphics and Vision 12 (2003), p. 117-132
ISSN: 1230-0535
URL: http://www.ipipan.waw.pl/MGV/MGV12.html#V12N1
BibTeX: Download - Minas M.:
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 (ed.): 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
- Drewes F., Hoffmann B., Minas M.:
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 (ed.): 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 - Drewes F., Hoffmann B., Minas M.:
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. (ed.): 1st European Workshop on Diagrammatics and Design 2002
URL: http://www2.informatik.uni-erlangen.de/publication/download/DuD02-abs.pdf
BibTeX: Download - Frey G., Minas M., John KH.:
Steuerungsentwurf mit Petrinetzen
In: SPS-Magazin : Zeitschrift für Automatisierungstechnik 4/5 (2002), p. 44-47
ISSN: 0935-0187
BibTeX: Download - Köth O., Minas M.:
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. (ed.): 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 - Minas M.:
Concepts and realization of a diagram editor generator based on hypergraph transformation
In: Science of Computer Programming 44 (2002), p. 157-180
ISSN: 0167-6423
DOI: 10.1016/S0167-6423(02)00037-0
BibTeX: Download - Minas M.:
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 (ed.): 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 - Minas M.:
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 (ed.): 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 - Minas M., Frey G.:
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 - Minas M., Strüber F.:
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 (ed.): 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
- Frey G., Minas M.:
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 (ed.): 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 - Frey G., Minas M., John KH.:
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 - Hoffmann B., Minas M.:
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. (ed.): 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 - Köth O., Minas M.:
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 - Minas M.:
Specifying diagram languages by means of hypertraph grammars
In: Anderson, M. ; Meyer, B. ; Olivier, P. (ed.): Diagrammatic Representation and Reasoning, London: Springer, 2001, p. 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 - Minas M.:
Spezifikation und Generierung graphischer Diagrammeditoren (Habilitation, 2001)
BibTeX: Download - Minas M., Hoffmann B.:
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. (ed.): 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
- Frey G., Minas M.:
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 - Hoffmann B., Minas M.:
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é (ed.): 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 - Hoffmann B., Minas M.:
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 - Hoffmann B., Minas M.:
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 (ed.): 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 - Hoffmann B., Minas M.:
Über generisches visuelles Programmieren
Softwarevisualisierung 2000 (Schloß Dagstuhl, Wadern, 11.05.2000 - 12.05.2000)
In: Diehl, S. ; Kerren, A. (ed.): Tagungsband des GI-Workshops Softwarevisualisierung 2000 2000
URL: http://www2.informatik.uni-erlangen.de/publication/download/SV2000.ps.gz
BibTeX: Download - Köth O., Minas M.:
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 (ed.): 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 - Minas M.:
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 (ed.): 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 - Minas M., Köth O.:
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. (ed.): 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 - Minas M., Köth O.:
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. (ed.): 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
- Bardohl R., Minas M., Schürr A., Taentzer G.:
Application of graph transformation to visual languages
In: Handbook of Graph Grammars and Computing by Graph Transformation, Singapur: World Scientific Publisher, 1999, p. 105-180 (Applications, Languages and Tools, Vol.2)
ISBN: 978-981-02-4020-2
DOI: 10.1142/9789812815149_0003
BibTeX: Download - Minas M.:
Translating diagrams
(1999)
URL: http://www2.informatik.uni-erlangen.de/publication/download/tr-99.pdf
BibTeX: Download
(Techreport)
1998
- Minas M.:
Automatically generating environments for dynamic diagram languages
IEEE Symposium on Visual Languages (VL'98) (Halifax, Canada, 01.09.1998 - 04.09.1998)
In: IEEE (ed.): 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 - Minas M.:
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 (ed.): AAAI FAll Symposium 1998, Menlo Park, Calif.: 1998
URL: http://www2.informatik.uni-erlangen.de/publication/download/FRVDR98.pdf
BibTeX: Download
1997
- Minas M.:
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 - Shklar L., Minas M.:
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 (ed.): 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
- Heidenreich G., Minas M., Kips D.:
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 - Heidenreich G., Minas M., Landauer J.:
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 (ed.): 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 - Minas M., Shklar L.:
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 - Minas M., Shklar L.:
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. (ed.): Herausforderungen an die Informationswirtschaft, Konstanz: 1996
URL: http://www2.informatik.uni-erlangen.de/publication/download/ISI96.pdf
BibTeX: Download
1995
- Minas M.:
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. (ed.): 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 - Minas M., Viehstädt G.:
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. (ed.): 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 - Viehstädt G., Minas M.:
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. (ed.): 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 - Viehstädt G., Minas M.:
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. (ed.): 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
- Minas M.:
Cyclic debugging for pSather, a parallel object-oriented programming language
Proc. DAGS'94 Symposium (Hanover, NH)
In: Makedon, F. (ed.): Proc. DAGS'94 Symposium 1994
URL: http://www2.informatik.uni-erlangen.de/publication/download/DAGS94.pdf
BibTeX: Download - Minas M.:
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. (ed.): Preprints IFAC Symposium on Fault Detection 1994
URL: http://www2.informatik.uni-erlangen.de/publication/download/Safeprocess94.pdf
BibTeX: Download - Viehstädt G., Minas M.:
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. (ed.): 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
- Minas M.:
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 (ed.): 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 - Minas M.:
Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung
Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung (Dresden, 27.09.1993 - 01.10.1993)
In: Reichel, H. (ed.): 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 - Minas M., Viehstädt G.:
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
- Minas M.:
Überwachung technischer Prozesse mit Zeitconstraintnetzen (Dissertation, 1992)
BibTeX: Download