Mark Minas

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