Veröffentlichungen

Veröffentlichungen

[1]
C. Schenk, S. Schimmler, and M. Minas. Investigating uni-stroke gesture input for diagram editors on large wall-mounted touch-screens. Appears in Proc. VL/HCC'17, 2017.
[2]
B. Hoffmann and M. Minas. Generating efficient predictive shift-reduce parsers for hyperedge replacement grammars. In Proc. 8th International Workshop on Graph Computation Models (GCM 2017), Satellite of ICGT 2017, 2017. [ .pdf ]
[3]
F. Drewes, B. Hoffmann, and M. Minas. Predictive shift-reduce parsing for hyperedge replacement grammars. In J. de Lara and D. Plump, editors, Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings, volume 10373 of Lecture Notes in Computer Science, pages 106--122, Cham, 2017. Springer International Publishing. [ DOI | http ]
[4]
C. Schenk, S. Schimmler, and M. Minas. Tool demo: Operating diagram editors through unistroke gestures. In 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pages 244--245, Sept. 2016. [ DOI ]
[5]
C. Schenk, S. Schimmler, and M. Minas. Operating diagram editors through unistroke gestures. In 2016 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pages 21--25, Sept. 2016. [ DOI ]
[6]
F. Drewes, B. Hoffmann, and M. Minas. Approximating Parikh images for generating deterministic graph parsers. In P. Milazzo, D. Varró, and M. Wimmer, editors, Software Technologies: Applications and Foundations -- STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers, volume 9946 of Lecture Notes in Computer Science, pages 112--128. Springer International Publishing, 2016. [ DOI | http ]
[7]
R. Echahed and M. Minas, editors. 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, volume 9761 of Lecture Notes in Computer Science. Springer International Publishing, 2016. [ DOI | http ]
[8]
S. Maier and M. Minas. Recording, processing, and visualizing changes in diagrams. In Z. Li, C. Ermel, and S. D. Fleming, editors, Proc. 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2015), pages 131--135, 2015. [ DOI ]
[9]
F. Drewes, B. Hoffmann, and M. Minas. Predictive top-down parsing for hyperedge replacement grammars. In F. Parisi-Presicce and B. Westfechtel, editors, Graph Transformation, 8th International Conference, ICGT 2015, L'Aquila, Italy, volume 9151 of Lecture Notes in Computer Science, pages 19--34. Springer International Publishing, 2015. This paper received the EATCS Best Paper Award at ICGT 2015. [ DOI | http ]
[10]
S. Maier and M. Minas. A pattern-based approach for initial diagram layout. In M. Tichy and L. Ribeiro, editors, Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013), volume 58 of Electronic Communications of the EASST, 2013. [ DOI | http ]
[11]
T. Strobl and M. Minas. Generating graph transformation rules from AML/GT state machine diagrams for building animated model editors. In A. Schürr, D. Varró, and G. Varró, editors, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Proceedings, volume 7233 of Lecture Notes in Computer Science, pages 65--80. Springer-Verlag, 2012. [ DOI ]
[12]
S. Mazanek, C. Rutetzki, and M. Minas. Tool demonstration of the transformation judge. In A. Schürr, D. Varró, and G. Varró, editors, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Proceedings, volume 7233 of Lecture Notes in Computer Science, pages 97--104. Springer-Verlag, 2012. [ DOI ]
[13]
S. Maier and M. Minas. Integration of a pattern-based layout engine into diagram editors. In A. Schürr, D. Varró, and G. Varró, editors, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Proceedings, volume 7233 of Lecture Notes in Computer Science, pages 89--96. Springer-Verlag, 2012. [ DOI ]
[14]
F. Drewes, B. Hoffmann, and M. Minas. Contextual hyperedge replacement. In A. Schürr, D. Varró, and G. Varró, editors, Applications of Graph Transformation with Industrial Relevance, 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Proceedings, volume 7233 of Lecture Notes in Computer Science, pages 182--197. Springer-Verlag, 2012. [ DOI ]
[15]
S. Maier and M. Minas. Layout improvement in diagram editors by automatic ad-hoc layout. In A. Fish and L. Lambers, editors, Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2012), volume 47 of Electronic Communications of the EASST, 2012. [ DOI ]
[16]
B. Hoffmann and M. Minas. Generating instance graphs from class diagrams with adaptive star grammars. In R. Echahed, A. Habel, and M. Mosbah, editors, Proc. Graph Computation Models -- Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), volume 39 of Electronic Communications of the EASST, 2011. [ DOI ]
[17]
R. DeLine and M. Minas, editors. Special Issue: Selected papers from VL/HCC'09, volume 21/5 of Journal of Visual Languages and Computing. Elsevier Science Publishers, Dec. 2010. [ DOI | http ]
[18]
F. Brieler and M. Minas. A model-based recognition engine for sketched diagrams. Journal of Visual Languages and Computing, 21(2):81--97, Apr. 2010. Special Issue on Sketch Computation. [ DOI | .pdf ]
[19]
B. Hoffmann and M. Minas. Defining models - meta models versus graph grammars. In J. Küster and E. Tuosto, editors, Proceedings of the 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), March 20-21 2010, Paphos, Cyprus, volume 29 of Electronic Communications of the EASST, 2010. [ DOI ]
[20]
S. Maier and M. Minas. Interactive diagram layout. In E. D. Mynatt, D. Schoner, G. Fitzpatrick, S. E. Hudson, W. K. Edwards, and T. Rodden, editors, CHI Extended Abstracts, pages 4111--4116. ACM, 2010. [ DOI ]
[21]
T. Strobl and M. Minas. Specifying and generating editing environments for interactive animated visual models. In J. Küster and E. Tuosto, editors, Proceedings of the 9th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), March 20-21 2010, Paphos, Cyprus, volume 29 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[22]
S. Maier and M. Minas. Combination of different layout approaches. In P. Bottoni, E. Guerra, and J. de Lara, editors, Proc. of the 2nd International Workshop on Visual Formalisms for Patterns, satellite of VL/HCC'10, Leganés-Madrid, Spain, September 21, 2010, volume 31 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[23]
T. Strobl, M. Minas, A. Pleuß, and A. Vitzthum. From the behavior model of an animated visual language to its editing environment based on graph transformation. In J. de Lara and D. Varro, editors, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), University of Twente, Enschede, The Netherlands, September 28, 2010. Satellite event of ICGT'10, volume 32 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[24]
S. Mazanek, C. Rutetzki, and M. Minas. Sketch-based diagram editors with user assistance based on graph transformation and graph drawing techniques. In J. de Lara and D. Varro, editors, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), University of Twente, Enschede, The Netherlands, September 28, 2010. Satellite event of ICGT'10, volume 32 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[25]
F. Drewes, B. Hoffmann, D. Janssens, and M. Minas. Adaptive star grammars and their languages. Theoretical Computer Science, 411(34-36):3090 -- 3109, 2010. [ DOI | .pdf ]
[26]
M. Minas and H. J. Schneider. Graph transformation by computational category theory. In G. Engels, C. Lewerentz, W. Schäfer, A. Schürr, and B. Westfechtel, editors, Graph Transformations and Model Driven Enginering -- Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 34--59. Springer-Verlag, 2010. [ DOI | http ]
[27]
S. Maier and M. Minas. Pattern-based layout specifications for visual language editors. In P. Bottoni, E. Guerra, and J. de Lara, editors, Proc. of the 1st International Workshop on Visual Formalisms for Patterns, satellite of VL/HCC'09, Corvallis, OR, USA, September 24, 2009, volume 25 of Electronic Communications of the EASST, 2010. [ DOI | http ]
[28]
R. DeLine, M. Minas, and M. Erwig, editors. Proc. 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon, USA, September 20-24, 2009, 2009.
[29]
T. Strobl and M. Minas. Implementing an animated lambda-calculus. In Workshop on Visual Languages and Logic, satellite of 2009 IEEE Symposium on Visual Languages and Human-Centric Computing, Corvallis, OR, USA, September 20, 2009, volume 510 of CEUR Workshop Proceedings, 2009. [ .pdf ]
[30]
S. Maier and M. Minas. Rule-based diagram layout using meta models. In International Workshop on Visual Languages and Computing (VLC 2009), in Proc. of the 15th International Conference on Distributed Multimedia Systems, Redwood City, CA, USA, Sept. 10-12, 2009, pages 335--340, 2009.
[31]
S. Mazanek and M. Minas. Business process models as a showcase for syntax-based assistance in diagram editors. In A. Schürr and B. Selic, editors, Model Driven Engineering Languages and Systems, Proc. ACM/IEEE 12th International Conference, MODELS 2009, Denver, CO, USA, October 2009, volume 5795 of Lecture Notes in Computer Science, pages 322--336. Springer-Verlag, 2009. [ DOI | http ]
[32]
S. Mazanek and M. Minas. Generating correctness-preserving editing operations for diagram editors. In A. Boronat and R. Heckel, editors, Proc. of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), March 28-29 2009, York, UK, volume 18 of Electronic Communications of the EASST, 2009. [ DOI ]
[33]
S. Maier and M. Minas. Specification of a drawing facility for diagram editors. In J. A. Jacko, editor, Human-Computer Interaction. Novel Interaction Methods and Techniques. 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, volume 5611 of Lecture Notes in Computer Science, pages 850--859. Springer-Verlag, 2009. [ DOI | http ]
[34]
S. Mazanek and M. Minas. Contraction of unconnected diagrams using least cost parsing. In A. Boronat and R. Heckel, editors, Proc. of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009), March 28-29 2009, York, UK, volume 18 of Electronic Communications of the EASST, 2009. [ DOI ]
[35]
R. Thierjung, F. Brieler, and M. Minas. On-line recognition of hatched and filled regions in hand-drawings. In Proc. IUI Workshop on Sketch Recognition, Sanibel Island, Florida, February 8, 2009, 2009. [ .pdf ]
[36]
S. Mazanek and M. Minas. Graph parser combinators. In Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, volume 5083 of Lecture Notes in Computer Science, pages 1--18. Springer-Verlag, Aug. 2008. [ DOI | http ]
[37]
S. Mazanek and M. Minas. Functional-logic graph parser combinators. In Rewriting Techniques and Applications, 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings, volume 5117 of Lecture Notes in Computer Science, pages 261--275. Springer-Verlag, July 2008. [ DOI | http ]
[38]
P. Bottoni, M. B. Rosson, and M. Minas, editors. Proc. 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008), Herrsching am Ammersee, Germany, September 15-19, 2008, 2008. [ http ]
[39]
S. Maier, S. Mazanek, and M. Minas. Visual specification of layout. In I. G. Tollis and M. Patrignani, editors, Graph Drawing - 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers, volume 5417 of Lecture Notes in Computer Science, pages 443--444. Springer-Verlag, 2008. [ DOI | http ]
[40]
F. Brieler and M. Minas. A model-based recognition engine for sketched diagrams. In Proc. VL/HCC 08 Workshop on Sketch Tools for Diagramming, Herrsching, Germany, September 15, 2008, 2008. [ .pdf ]
[41]
F. Brieler and M. Minas. Recognition and processing of hand drawn diagrams using syntactic and semantic analysis. In P. Bottoni and S. Levialdi, editors, Proceedings of the Working Conference on Advanced Visual Interfaces 2008 (AVI 2008), Naples, Italy, pages 181--188. ACM Press, 2008. [ DOI | http ]
[42]
S. Mazanek, S. Maier, and M. Minas. An algorithm for hypergraph completion according to hyperedge replacement grammars. In H. Ehrig, R. Heckel, G. Rozenberg, and G. Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, volume 5214 of Lecture Notes in Computer Science, pages 39--53. Springer-Verlag, 2008. [ DOI | http ]
[43]
S. Mazanek, S. Maier, and M. Minas. Auto-completion for diagram editors based on graph grammars. In P. Bottoni, M. B. Rosson, and M. Minas, editors, Proc. 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008), pages 242--245, 2008. [ http ]
[44]
F. Drewes, B. Hoffmann, and M. Minas. Adaptive star grammars for graph models. In H. Ehrig, R. Heckel, G. Rozenberg, and G. Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, volume 5214 of Lecture Notes in Computer Science, pages 442--457. Springer-Verlag, 2008. [ DOI | http ]
[45]
F. Brieler and M. Minas. Ambiguity resolution for sketched diagrams by syntax analysis based on graph grammars. In C. Ermel, R. Heckel, and J. de Lara, editors, Proc. of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), March 29-30, 2008, Budapest, Hungary, Satellite of ETAPS 2008, volume 10 of Electronic Communications of the EASST, 2008. [ DOI ]
[46]
F. Drewes, B. Hoffmann, D. Janssens, M. Minas, and N. V. Eetvelde. Shaped generic graph transformation. In A. Schürr, M. Nagl, and A. Zündorf, editors, Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, volume 5088 of Lecture Notes in Computer Science, pages 201--216. Springer-Verlag, 2008. [ DOI | http ]
[47]
S. Maier and M. Minas. A static layout algorithm for DiaMeta. In C. Ermel, R. Heckel, and J. de Lara, editors, Proc. of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), March 29-30, 2008, Budapest, Hungary, Satellite of ETAPS 2008, volume 10 of Electronic Communications of the EASST, 2008. [ DOI ]
[48]
S. Maier, S. Mazanek, and M. Minas. Exploiting the layout engine to assess diagram completions. In A. Fish and H. Störrle, editors, Proc. of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2008), Herrsching am Ammersee, Germany, September 15, 2008. Satellite event of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, volume 13 of Electronic Communications of the EASST, 2008. [ DOI ]
[49]
S. Maier, S. Mazanek, and M. Minas. Layout specification on the concrete and abstract syntax level of a diagram language. In A. Fish and H. Störrle, editors, Proc. of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2008), Herrsching am Ammersee, Germany, September 15, 2008. Satellite event of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing, volume 13 of Electronic Communications of the EASST, 2008. [ DOI ]
[50]
S. Maier and M. Minas. A generic layout algorithm for meta-model based editors. In A. Schürr, M. Nagl, and A. Zündorf, editors, Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, volume 5088 of Lecture Notes in Computer Science, pages 66--81. Springer-Verlag, 2008. [ DOI | http ]
[51]
A. Matzner, M. Minas, and A. Schulte. Efficient graph matching with application to cognitive automation. In A. Schürr, M. Nagl, and A. Zündorf, editors, Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, volume 5088 of Lecture Notes in Computer Science, pages 297--312. Springer-Verlag, 2008. [ DOI | http ]
[52]
S. Mazanek and M. Minas. Parsing of hyperedge replacement grammars with graph parser combinators. In C. Ermel, R. Heckel, and J. de Lara, editors, Proc. of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), March 29-30, 2008, Budapest, Hungary, Satellite of ETAPS 2008, volume 10 of Electronic Communications of the EASST, 2008. [ DOI ]
[53]
M. Minas and B. Hoffmann. An example of cloning graph transformation rules for programming. In R. Bruni and D. Varró, editors, Proc. 5th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006), Satellite Event of ETAPS'06, April 1--2, 2006, Vienna, Austria, volume 211 of Electronic Notes in Theoretical Computer Science, pages 241--250. Elsevier Science Publishers, 2008. [ DOI | http ]
[54]
S. Maier and M. Minas. A pattern-based layout algorithm for diagram editors. In A. Fish, A. Knapp, and H. Störrle, editors, Proc. of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007), Coeur d'Alène, Idaho, USA, September 27, 2007. Satellite event of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing, volume 7 of Electronic Communications of the EASST, 2007. [ DOI ]
[55]
F. Drewes, B. Hoffmann, D. Janssens, M. Minas, and N. Van Eetvelde. Adaptive star grammars. In A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, and G. Rozenberg, editors, Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, Sept. 17--23, 2006, volume 4178 of Lecture Notes in Computer Science, pages 77--91. Springer-Verlag, Sept. 2006. [ DOI | http ]
[56]
M. Minas. Syntax definition with graphs. In R. Heckel, editor, Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), May 3-7, 2004, volume 148/1 of Electronic Notes in Theoretical Computer Science, pages 19--40, 2006. [ DOI | http ]
[57]
M. Minas. Syntax analysis for diagram editors: A constraint satisfaction problem. In A. Celentano and P. Mussio, editors, Proc. of the Working Conference on Advanced Visual Interfaces (AVI'2006), May 23-26, 2006, Venice, Italy, pages 167--170. ACM Press, 2006. [ DOI | http ]
[58]
M. Minas. Generating visual editors based on Fujaba/MOFLON and DiaMeta. In H. Giese and B. Westfechtel, editors, Proc. Fujaba Days 2006, Bayreuth, Germany, September 28-30, 2006, pages 35--42, 2006. Technical Report tr-ri-06-275 Universität Paderborn, Fakultät für Elektrotechnik, Informatik und Mathematik, Institut für Informatik.
[59]
M. Minas. Generating meta-model-based freehand editors. In A. Zündorf and D. Varró, editors, Proc. of the 3rd International Workshop on Graph Based Tools (GraBaTs'06), Natal (Brazil), September 21-22, 2006, Satellite event of the 3rd International Conference on Graph Transformation, volume 1 of Electronic Communications of the EASST, 2006. [ DOI ]
[60]
M. Minas. Parsing of adaptive star grammars. In G. Karsai and G. Taentzer, editors, Proc. of 2nd International Workshop on Graph and Model Transformation (GraMoT 2006), Brighton, UK, September 8, 2006. Satellite event of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing, volume 4 of Electronic Communications of the EASST, 2006. [ DOI ]
[61]
M. Minas, editor. Special Issue: Selected papers from Visual Languages and Formal Methods 2004 (VLFM '04), volume 16/6 of Journal of Visual Languages and Computing. Elsevier Science Publishers, Dec. 2005.
[62]
M. Minas. Guest editor's introduction - special issue on selected papers from VLFM'04. Journal of Visual Languages and Computing, 16(6):483--484, Dec. 2005. [ DOI ]
[63]
M. Minas, editor. Proc. of the Workshop on Visual Languages and Formal Methods (VLFM 2004), Rome, Italy, September 30, 2004, volume 127/4 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, Apr. 2005. [ DOI ]
[64]
F. Brieler and M. Minas. A new approach to flexible, trainingless sketching. In Proc. Workshop on Visual Modeling for Software Intensive Systems (VMSIS), Dallas, Texas, USA, September 24, 2005, pages 43--50, 2005. [ .pdf ]
[65]
F. Drewes, B. Hoffmann, R. Klein, and M. Minas. Rule-based programming with DiaPlan. In T. Mens, A. Schürr, and G. Taentzer, editors, Proc. International Workshop on Graph-Based Tools (GraBaTs'04), affiliated with Second International Conference on Graph Transformation (ICGT 2004). Rome (Italy), October 2, 2004, volume 127/1 of Electronic Notes in Theoretical Computer Science, pages 15--26. Elsevier Science Publishers, 2005. [ DOI | http ]
[66]
P. Bottoni and M. Minas. Special section on graph transformations and visual modeling techniques - introductory paper. Software and System Modeling, 3(2):83--84, 2004. [ DOI | http ]
[67]
M. Minas. Visual specification of visual editors with VisualDiaGen. In J. L. Pfaltz, M. Nagel, and B. Böhlen, editors, Applications of Graph Transformation with Industrial Relevance, Proc. 2nd Intl. Workshop AGTIVE'03, Charlottesville, USA, 2003, Revised and Invited Papers, volume 3062 of Lecture Notes in Computer Science, pages 473--478. Springer-Verlag, 2004. [ DOI | http ]
[68]
M. Minas. VisualDiaGen - a tool for visually specifying and generating visual editors. In J. L. Pfaltz, M. Nagel, and B. Böhlen, editors, Applications of Graph Transformation with Industrial Relevance, Proc. 2nd Intl. Workshop AGTIVE'03, Charlottesville, USA, 2003, Revised and Invited Papers, volume 3062 of Lecture Notes in Computer Science, pages 398--412. Springer-Verlag, 2004. [ DOI | http ]
[69]
M. Minas. AGTIVE'03: Summary from the viewpoint of graph transformation specifications. In J. L. Pfaltz, M. Nagel, and B. Böhlen, editors, Applications of Graph Transformation with Industrial Relevance, Proc. 2nd Intl. Workshop AGTIVE'03, Charlottesville, USA, 2003, Revised and Invited Papers, volume 3062 of Lecture Notes in Computer Science, page 491f. Springer-Verlag, 2004. [ DOI | http ]
[70]
P. Bottoni and M. Minas, editors. Proc. of Graph Transformation and Visual Modeling Techniques (GT-VMT'2002), Barcelona, Spain, October 11-12, 2002, volume 72/3 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, Feb. 2003.
[71]
F. Drewes, B. Hoffmann, and M. Minas. Context-exploiting shapes for diagram transformation. Machine Graphics and Vision, 12(1):117--132, 2003. Special issue on Diagrammatics & Design.
[72]
M. Minas. XML-based specification of diagram editors. In R. Bardohl and H. Ehrig, editors, Proc. Uniform Approaches to Graphical Process Specification Techniques (UNIGRA'03), Satellite Workshop to ETAPS'2003, Warsaw, Poland, April 5--6, 2003, volume 82 of Electronic Notes in Theoretical Computer Science, pages 105--119. Elsevier Science Publishers, 2003. [ DOI | http ]
[73]
M. Minas and G. Frey. Visual PLC-programming using signal interpreted petri nets. In Proceedings of the American Control Conference 2002 (ACC2002), Anchorage, Alaska, volume 6, pages 5019--5024, May 2002. [ DOI | http ]
[74]
G. Frey, M. Minas, and K.-H. John. Steuerungsentwurf mit Petrinetzen. SPS-Magazin, 4/5:44--47, Apr. 2002.
[75]
M. Minas. Concepts and realization of a diagram editor generator based on hypergraph transformation. Science of Computer Programming, 44(2):157--180, 2002. [ DOI | http ]
[76]
F. Drewes, B. Hoffmann, and M. Minas. Constructing shapely nested graph transformations. In Proc. AGT'2002 (APPLIGRAPH Workshop on Applied Graph Transformation), Satellite Event to ETAPS 2002, Grenoble, France, 2002, pages 107--118, 2002.
[77]
F. Drewes, B. Hoffmann, and M. Minas. Context-exploiting shapes for diagram transformations. In Proc. 1st European Workshop on Diagrammatics and Design (D&D 2002), 2002, Bielsko-Biala, Poland, September 23-24, pages 39--40, 2002.
[78]
O. Köth and M. Minas. Structure, abstraction and direct manipulation in diagram editors. In M. Hegarty, B. Meyer, and N. Narayanan, editors, Diagrammatic Representation and Inference (Proc. 2nd Int. Conf., Diagrams 2002, Callaway Gardens, Georgia, USA, April 2002), volume 2317 of Lecture Notes in Artificial Intelligence, pages 290--304. Springer-Verlag, 2002. [ DOI | http ]
[79]
M. Minas. Specifying graph-like diagrams with DiaGen. In T. Mens, A. Schürr, and G. Taentzer, editors, Proc. International Workshop on Graph-Based Tools (GraBaTs'02), affiliated with the First International Conference on Graph Transformation (ICGT 2002). Barcelona (Spain), October 7--8, 2002, volume 72 of Electronic Notes in Theoretical Computer Science, pages 102--111. Elsevier Science Publishers, 2002. [ DOI | http ]
[80]
M. Minas and F. Strüber. Unparsing of diagrams with DiaGen. In A. Corradini, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, Graph Transformation -- Proc. 1st International Conference on Graph Transformation, ICGT 2002, Barcelona (Spain), October 7-12, 2002, volume 2505 of Lecture Notes in Computer Science, pages 302--316. Springer-Verlag, 2002. [ DOI | http ]
[81]
G. Frey and M. Minas. Internet-based development of logic controllers using signal interpreted Petri nets and IEC 61131. In Proc. 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2001), Orlando (FL) USA, volume 3, pages 297--302, July 2001.
[82]
M. Minas. Spezifikation und Generierung graphischer Diagrammeditoren. Shaker-Verlag, Aachen, 2001. zugl. Habilitationsschrift Universität Erlangen-Nürnberg, 2000. [ http ]
[83]
M. Minas. Specifying diagram languages by means of hypergraph grammars. In M. Anderson, B. Meyer, and P. Olivier, editors, Diagrammatic Representation and Reasoning, chapter 32, pages 565--579. Springer-Verlag, 2001. [ DOI ]
[84]
G. Frey, M. Minas, and K.-H. John. Integration von Petrinetzen in den Steuerungsentwurf nach IEC 61131. In Tagungsband SPS/IPC/Drives 2001, Nürnberg, 27.-29. November 2001, pages 197--205, 2001. [ http ]
[85]
B. Hoffmann and M. Minas. Transformation of shaped nested graphs and diagrams. In M. van den Brand and R. Verma, editors, Proc. 2nd International Workshop on Rule-based Programming (RULE 2001), affiliated with Principles, Logics, and Implementations of High-Level Programming Language (PLI 2001). September 4, 2001, Firenze, Italy, volume 59/4 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2001. [ DOI ]
[86]
O. Köth and M. Minas. Abstraction in graph-transformation based diagram editors. In L. Baresi, M. Pezze, and G. Taentzer, editors, Second International Workshop on Graph Transformation and Visual Modeling Techniques, July 2001, Crete, Greece, volume 50/3 of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2001. [ DOI | http ]
[87]
M. Minas and B. Hoffmann. Specifying and implementing visual process modeling languages with diagen. In H. Ehrig, C. Ermel, and J. Padberg, editors, Proc. Uniform Approaches to Graphical Process Specification Techniques (UniGra'2001), Satellite Workshop to ETAPS'2001, March/April 2001, Genova, Italy, volume 44/4 of Electronic Notes in Theoretical Computer Science, pages 67--79. Elsevier Science Publishers, 2001. [ DOI | http ]
[88]
M. Minas. Hypergraphs as a uniform diagram representation model. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Proc. 6th International Workshop on Theory and Application of Graph Transformations (TAGT'98) at Paderborn, Germany, Nov. 1998, volume 1764 of Lecture Notes in Computer Science, pages 281--295. Springer-Verlag, Nov. 2000. [ DOI ]
[89]
B. Hoffmann and M. Minas. Towards generic rule-based visual programming. In Proc. 2000 IEEE Symposium on Visual Languages (VL'2000), Seattle, Washington, pages 65--66. IEEE Computer Society Press, Sept. 2000. [ DOI ]
[90]
M. Minas. Creating semantic representations of diagrams. In M. Nagl, A. Schürr, and M. Münch, editors, International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Monastery Rolduc, Netherlands, September 1-3, 1999, Selected Papers, volume 1779 of Lecture Notes in Computer Science, pages 209--224. Springer-Verlag, Mar. 2000. [ DOI ]
[91]
M. Minas and O. Köth. Generating diagram editors with DiaGen. In M. Nagl, A. Schürr, and M. Münch, editors, International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE'99), Monastery Rolduc, Netherlands, September 1-3, 1999, Selected Papers, volume 1779 of Lecture Notes in Computer Science, pages 433--440. Springer-Verlag, Mar. 2000. [ DOI ]
[92]
G. Frey and M. Minas. Editing, visualizing, and implementing signal interpreted petri nets. In Proc. 7. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'2000), Koblenz, 2.-3. Oktober 2000, pages 57--62, 2000. TR 7/2000 Fachberichte INFORMATIK Universität Koblenz-Landau Institut für Informatik.
[93]
B. Hoffmann and M. Minas. Über generisches visuelles Programmieren. In S. Diehl and A. Kerren, editors, Tagungsband des GI-Workshops “Softwarevisualisierung 2000”, Schloss Dagstuhl, 11./12. Mai 2000, pages 41--51, 2000. TR A/01/2000, Universität des Saarlandes, Saarbrücken, Fachbereich Informatik.
[94]
B. Hoffmann and M. Minas. A generic model for diagram syntax and semantics. In J. Rolim et al., editors, ICALP Workshops 2000, Proceedings in Informatics 8, pages 443--450, Waterloo, Ontario, Canada, 2000. Carleton Scientific. Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2000). July 15/16, 2000, Genova, Switzerland.
[95]
B. Hoffmann and M. Minas. Towards rule-based visual programming of generic visual systems. In Proc. First International Workshop on Rule-Based Programming (RULE'2000), September 19, 2000, Montreal, Canada, pages 111--125, 2000. [ http ]
[96]
O. Köth and M. Minas. Generating diagram editors providing free-hand editing as well as syntax-directed editing. In Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra'2000), Berlin, March 2000, pages 32--39, 2000. Technical Report 2000-2 Technische Universität Berlin, Fachbereich 13 (Informatik).
[97]
R. Bardohl, M. Minas, A. Schürr, and G. Taentzer. Application of graph transformation to visual languages. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume II: Applications, Languages and Tools, pages 105--180. World Scientific, 1999.
[98]
M. Minas. Hypergraph representation of diagrams in diagram editors. In Proc. AAAI Fall Symposium 1998, Workshop on Formalizing Reasoning with Visual and Diagrammatic Representations, Orlando, Florida, number FS-98-04 in AAAI Technical Report, pages 79--85, Oct. 1998.
[99]
M. Minas. Automatically generating environments for dynamic diagram languages. In Proc. 1998 IEEE Symposium on Visual Languages (VL'98), Halifax, Canada, pages 70--71. IEEE Computer Society Press, Sept. 1998. [ DOI ]
[100]
M. Minas. Specifying diagram languages by means of hypergraph grammars. In Proc. Thinking with Diagrams '98 (TwD'98), Aberystwyth, United Kingdom, pages 151--157, Aug. 1998.
[101]
M. Minas. Diagram editing with hypergraph parser support. In Proc. 1997 IEEE Symposium on Visual Languages (VL'97), Capri, Italy, pages 226--233. IEEE Computer Society Press, Sept. 1997. This paper received the VL/HCC Most Influential paper award 2008. [ DOI | .pdf ]
[102]
M. Minas and J. Gottschall. Specifying animated diagram languages. In Proc. International Workshop on Theory of Visual Languages (TVL'97), Capri, Italy, Sept. 1997.
[103]
G. Heidenreich, M. Minas, and J. Landauer. Interval construction with partially ordered object versions. In Proc. Interval'96, Würzburg, Germany, Oct. 1996.
[104]
M. Minas and L. Shklar. Visualizing information repositories on the world-wide web. In J. Krause, M. Herfurth, and J. Marx, editors, Herausforderungen an die Informationswirtschaft (Proc. 5th Interanational Symposium for Information Science, ISI'96, Berlin), pages 297--309. Universitätsverlag Konstanz, Oct. 1996.
[105]
M. Minas and L. Shklar. A high-level visual language for generating web structures. In Proc. IEEE Symposium on Visual Languages (VL'96), Boulder, Colorado, page 284f. IEEE Computer Society Press, Sept. 1996. [ DOI ]
[106]
G. Heidenreich, M. Minas, and D. Kips. A new approach to consistency control in software engineering. In Proc. 18th International Conference on Software Engineering (ICSE), Berlin, Germany, pages 289--297. IEEE Computer Society Press, Mar. 1996. [ DOI ]
[107]
M. Minas and L. Shklar. Visual definition of virtual documents for the world-wide web. In Principles of Document Processing (Third International Workshop, PODP'96, Palo Alto, California, USA, September 23, 1996), volume 1293 of Lecture Notes in Computer Science. Springer-Verlag, 1996. [ DOI ]
[108]
M. Minas and G. Viehstaedt. DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams. In V. Haarslev, editor, Proc. 11th IEEE International Symposium on Visual Languages (VL'95), Darmstadt, Germany, pages 203--210. IEEE Computer Society Press, Sept. 1995. This paper received the VL/HCC Most Influential paper award 2008. [ DOI | .pdf ]
[109]
M. Minas. Detecting quantified global predicates in parallel programs. In S. Haridi, K. Ali, and P. Magnusson, editors, EURO-PAR '95, Parallel Processing (1st International EURO-PAR Conference, Stockholm, Sweden, volume 966 of Lecture Notes in Computer Science, pages 403--414. Springer-Verlag, Aug. 1995. [ DOI ]
[110]
G. Viehstaedt and M. Minas. Generating editors for direct manipulation of diagrams. In B. Blumenthal, J. Gornostaev, and C. Unger, editors, Human-Computer Interaction (5th International Conference, EWHCI'95, Moscow, Russia, Selected Papers), 1015, pages 17--25. Springer-Verlag, July 1995. [ DOI ]
[111]
G. Viehstaedt and M. Minas. Graphical representation and manipulation of complex structures based on a formal model. In J. Iivari, K. Lyytinen, and M. Rossi, editors, Advanced Information Systems Engineering (7th International Conference, CAiSE'95, Jyväskylä, Finland), volume 932 of Lecture Notes in Computer Science, pages 243--254. Springer-Verlag, June 1995. [ DOI ]
[112]
G. Viehstaedt and M. Minas. DiaGen: A generator for diagram editors based on a hypergraph model. In A. Motro and M. Tennenholtz, editors, Proc. 2nd International Workshop on Next Generation Information Technologies and Systems (NGITS'95), Naharia, Israel, pages 155--162, June 1995.
[113]
G. Viehstaedt and M. Minas. Interaction in really graphical user interfaces. In A. L. Ambler and T. D. Kimura, editors, Proc. 1994 IEEE Symposium on Visual Languages (VL'94), St. Louis, pages 270--277. IEEE Computer Society Press, Oct. 1994. [ DOI ]
[114]
M. Minas. Cyclic debugging for pSather, a parallel object-oriented programming language. In F. Makedon, editor, Proc. DAGS'94 Symposium, Hanover, NH, USA. Dartmouth Institute for Advanced Graduate Studies in Parallel Computation, July 1994.
[115]
M. Minas. Fault detection for sequentially controlled machines using temporal constraint nets. In T. Ruokonen, editor, Preprints IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess '94), Helsinki, Finland, pages 323--328, June 1994.
[116]
M. Minas. Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung. In H. Reichel, editor, Informatik - Wirtschaft - Gesellschaft (23. GI-Jahrestagung, Dresden), Reihe “Informatik aktuell”, pages 334--339. Springer-Verlag, Sept. 1993. [ DOI ]
[117]
M. Minas and G. Viehstaedt. Specification of diagram editors providing layout adjustment with minimal change. In Proc. 1993 IEEE Symposium on Visual Languages (VL'93), Bergen, Norway, pages 324--329. IEEE Computer Society Press, Aug. 1993. [ DOI | http ]
[118]
M. Minas. Modelling and monitoring real-time systems with temporal constraint nets. In P. W. Chung, G. Lovegrove, and M. Ali, editors, Proc. 6th Internatioal Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE'93), Edinburgh, Scotland, pages 292--298. Gordon and Breach Science Publishers, June 1993.
[119]
M. Minas. Überwachung technischer Prozesse mit Zeitconstraintnetzen. Dissertation, Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Dissertation), Bd. 25, Nr. 3, Universität Erlangen-Nürnberg, May 1992.

Bild von Mark Minas
Prof. Dr.-Ing. Mark Minas

Adresse
Institut für Softwaretechnologie
Fakultät für Informatik
Universität der Bundeswehr München
85577 Neubiberg

Büro: Gebäude 41/400, Raum 2408

Tel.: +49 89 6004-2220 (-2505)
Fax: +49 89 6004-2448
E-Mail: Mark.Minas@unibw.de