fbpx
Wikipedia

Hans-Jörg Kreowski

December 04, 2023

Hans-Jörg Kreowski (born 10 August 1949) is a professor for computer science at the University of Bremen in North West Germany. His primary research area is theoretical computer science with an emphasis on graph transformation, algebraic specification, and syntactic picture processing. He is also a member of the Forum of Computer Scientists for Peace and Social Responsibility [de] (FIfF).

Hans-Jörg Kreowski
Born (1949-08-10) 10 August 1949 (age 74)
NationalityGerman
EducationTechnical University of Berlin
Alma materTechnical University of Berlin
Scientific career
FieldsTheoretical computer science
InstitutionsUniversity of Bremen
ThesisManipulationen von Graphmanipulationen (1978)
Doctoral advisorHartmut Ehrig

Education and career edit

Hans-Jörg Kreowski studied mathematics from 1969 to 1974 at the Technical University of Berlin in Germany with a scholarship of Studienstiftung des deutschen Volkes. From 1974 to 1978 he was a research assistant at the computer science department of the Technical University of Berlin where he wrote his doctoral thesis on manipulations of graph transformations and then held an assistant professorship. He obtained his habilitation in 1982 and was appointed professor of theoretical computer science at the University of Bremen in Germany in the same year. There, along with colleagues such as Frieder Nake, Wolfgang Coy, Klaus-Peter Löhr and Hermann Gehring, he significantly shaped the development of the computer science department.

In 1985 Kreowski was a guest researcher at the IBM T.J. Watson Research Center in Yorktown Heights (N.Y, USA). He founded the IFIP Working Group 1.3 (Foundations of Systems Specifications) in 1992 and was its first chairman until 1997. He is also a member of the European Association for Theoretical Computer Science (EATCS), the Gesellschaft für Informatik , and the Forum of Computer Scientists for Peace and Social Responsibility which he chaired from 2003 to 2009. In 1996 he was conferred the Outstanding Service Award by the International Federation of Information Processing and in 2001 he was awarded the IFIP Silver Core.[1][2] Since 2013 Hans Jörg Kreowski is also a member of the Leibniz Scientific Society.[3]

Research edit

Kreowski has authored over 160 scientific publications with fundamental contributions to the theory and applications of graph transformation, syntactic picture generation, and algebraic specification.[4][5] He co-edited over 15 books, among them two handbooks on graph transformation.[6][7] The edited books span his main research areas and such diverse topics as computer science and society, logistics, and formal methods in software and systems modeling.[8][9][10][11] For many years he was the editor for the Educational Matters Column within the Bulletin of the European Association for Theoretical Computer Science.

Selected publications edit

  • Kreowski, Hans-Jörg; Kuske, Sabine (2012). "Polynomial Graph Transformability". Theoretical Computer Science. 429: 193–201. doi:10.1016/j.tcs.2011.12.039..
  • Kreowski, Hans-Jörg; Kuske, Sabine (2011). "Graph Multiset Transformation - A New Framework for Massively Parallel Computation Inspired by DNA Computing". Natural Computing. 10 (2): 961–986. doi:10.1007/s11047-010-9245-6. S2CID 13576985..
  • Kreowski, Hans-Jörg; Kuske, Sabine; von Totth, Caroline (2011). "Modeling Production Networks with Discrete Processes by Means of Communities of Autonomous Units". Logistics Research. 3 (2–3): 159–175. CiteSeerX 10.1.1.221.821. doi:10.1007/s12159-011-0054-9. S2CID 17050132..
  • Hölscher, Karsten; Kreowski, Hans-Jörg; Kuske, Sabine (2009). "Autonomous Units to Model Interacting Sequential and Parallel Processes". Fundamenta Informaticae. 92 (3): 233–257. doi:10.3233/FI-2009-0073..
  • Kuske, Sabine; Gogolla, Martin; Kreowski, Hans-Jörg; Ziemann, Paul (2009). "Towards an integrated graph-based semantics for UML". Software and Systems Modeling. 8 (3): 403–422. doi:10.1007/s10270-008-0101-4. S2CID 8866591..
  • Busatto, Giorgio; Kreowski, Hans-Jörg; Kuske, Sabine (2005). "Abstract Hierarchical Graph Transformation". Mathematical Structures in Computer Science. 15 (4): 773–819. CiteSeerX 10.1.1.164.7782. doi:10.1017/s0960129505004846. S2CID 14709890..
  • Drewes, Frank; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg (2003). "Table-driven and context-sensitive collage languages". Journal of Automata, Languages and Combinatorics. 8: 5–24..
  • Drewes, Frank; Ewert, Sigrid; Klempien-Hinrichs, Renate; Kreowski, Hans-Jörg (2003). "Computing Raster Images from Grid Picture Grammars". Journal of Automata, Languages and Combinatorics. 8: 499–519..
  • Kreowski, Hans-Jörg; Kuske, Sabine (1999). "Graph Transformation Units with Interleaving Semantics". Formal Aspects of Computing. 11 (6): 690–723. CiteSeerX 10.1.1.57.1385. doi:10.1007/s001659970005. S2CID 818602..
  • Habel, Annegret; Kreowski, Hans-Jörg; Taubenberger, Stefan (1993). "Collages and Patterns Generated by Hyperedge Replacement". Languages of Design. 1: 125–145..

References edit

  1. ^ "IFIP Newsletter, December 1996".
  2. ^ "Minutes of the IFIP General Assembly Meeting, 2001" (PDF).
  3. ^ "Mitglieder der Leibniz-Sozietät".
  4. ^ Hans-Jörg Kreowski at DBLP Bibliography Server  
  5. ^ Drewes, Frank; Habel, Annegret; Hoffmann, Berthold; et al. (eds.). "Manipulation of Graphs, Algebras and Pictures, Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday" (PDF).
  6. ^ Ehrig, Hatmut; Engels, Gregor; Kreowski, Hans-Jörg; et al., eds. (1999). Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. Singapore: World Scientific.
  7. ^ Ehrig, Hartmut; Kreowski, Hans-Jörg; Montanari, Ugo; et al., eds. (1999). Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. World Scientific.
  8. ^ Astesiano, Egidio; Kreowski, Hans-Jörg; Krieg-Brückner, Bernd, eds. (1999). Algebraic Foundations of Systems Specification. Springer.
  9. ^ Kreowski, Hans-Jörg, ed. (2008). Informatik und Gesellschaft. LIT Verlag. ISBN 9783825887681.
  10. ^ Kreowski, Hans-Jörg; Scholz-Reiter, Bernd; Thoben, Klaus-Dieter, eds. (2013). Dynamics in Logistics, Third International Conference, LDIC 2012 Bremen, Germany, February/March 2012 Proceedings. Lecture Notes in Logistics. Springer.
  11. ^ Kreowski, Hans-Jörg; Montanari, Ugo; Orejas, Fernando; Rozenberg, Grzegorz; Taentzer, Gabriele, eds. (2005). Formal Methods in Software and System Modeling. Volume 3393 of Lecture Notes in Computer Science. Springer.

External links edit

  • Kreowski's home page
  • Forum of Computer Scientists for Peace and Social Responsibility (in German)

December 04, 2023
hans, jörg, kreowski, born, august, 1949, professor, computer, science, university, bremen, north, west, germany, primary, research, area, theoretical, computer, science, with, emphasis, graph, transformation, algebraic, specification, syntactic, picture, proc. Hans Jorg Kreowski born 10 August 1949 is a professor for computer science at the University of Bremen in North West Germany His primary research area is theoretical computer science with an emphasis on graph transformation algebraic specification and syntactic picture processing He is also a member of the Forum of Computer Scientists for Peace and Social Responsibility de FIfF Hans Jorg KreowskiBorn 1949 08 10 10 August 1949 age 74 NationalityGermanEducationTechnical University of BerlinAlma materTechnical University of BerlinScientific careerFieldsTheoretical computer scienceInstitutionsUniversity of BremenThesisManipulationen von Graphmanipulationen 1978 Doctoral advisorHartmut Ehrig Contents 1 Education and career 2 Research 3 Selected publications 4 References 5 External linksEducation and career editHans Jorg Kreowski studied mathematics from 1969 to 1974 at the Technical University of Berlin in Germany with a scholarship of Studienstiftung des deutschen Volkes From 1974 to 1978 he was a research assistant at the computer science department of the Technical University of Berlin where he wrote his doctoral thesis on manipulations of graph transformations and then held an assistant professorship He obtained his habilitation in 1982 and was appointed professor of theoretical computer science at the University of Bremen in Germany in the same year There along with colleagues such as Frieder Nake Wolfgang Coy Klaus Peter Lohr and Hermann Gehring he significantly shaped the development of the computer science department In 1985 Kreowski was a guest researcher at the IBM T J Watson Research Center in Yorktown Heights N Y USA He founded the IFIP Working Group 1 3 Foundations of Systems Specifications in 1992 and was its first chairman until 1997 He is also a member of the European Association for Theoretical Computer Science EATCS the Gesellschaft fur Informatik and the Forum of Computer Scientists for Peace and Social Responsibility which he chaired from 2003 to 2009 In 1996 he was conferred the Outstanding Service Award by the International Federation of Information Processing and in 2001 he was awarded the IFIP Silver Core 1 2 Since 2013 Hans Jorg Kreowski is also a member of the Leibniz Scientific Society 3 Research editKreowski has authored over 160 scientific publications with fundamental contributions to the theory and applications of graph transformation syntactic picture generation and algebraic specification 4 5 He co edited over 15 books among them two handbooks on graph transformation 6 7 The edited books span his main research areas and such diverse topics as computer science and society logistics and formal methods in software and systems modeling 8 9 10 11 For many years he was the editor for the Educational Matters Column within the Bulletin of the European Association for Theoretical Computer Science Selected publications editKreowski Hans Jorg Kuske Sabine 2012 Polynomial Graph Transformability Theoretical Computer Science 429 193 201 doi 10 1016 j tcs 2011 12 039 Kreowski Hans Jorg Kuske Sabine 2011 Graph Multiset Transformation A New Framework for Massively Parallel Computation Inspired by DNA Computing Natural Computing 10 2 961 986 doi 10 1007 s11047 010 9245 6 S2CID 13576985 Kreowski Hans Jorg Kuske Sabine von Totth Caroline 2011 Modeling Production Networks with Discrete Processes by Means of Communities of Autonomous Units Logistics Research 3 2 3 159 175 CiteSeerX 10 1 1 221 821 doi 10 1007 s12159 011 0054 9 S2CID 17050132 Holscher Karsten Kreowski Hans Jorg Kuske Sabine 2009 Autonomous Units to Model Interacting Sequential and Parallel Processes Fundamenta Informaticae 92 3 233 257 doi 10 3233 FI 2009 0073 Kuske Sabine Gogolla Martin Kreowski Hans Jorg Ziemann Paul 2009 Towards an integrated graph based semantics for UML Software and Systems Modeling 8 3 403 422 doi 10 1007 s10270 008 0101 4 S2CID 8866591 Busatto Giorgio Kreowski Hans Jorg Kuske Sabine 2005 Abstract Hierarchical Graph Transformation Mathematical Structures in Computer Science 15 4 773 819 CiteSeerX 10 1 1 164 7782 doi 10 1017 s0960129505004846 S2CID 14709890 Drewes Frank Klempien Hinrichs Renate Kreowski Hans Jorg 2003 Table driven and context sensitive collage languages Journal of Automata Languages and Combinatorics 8 5 24 Drewes Frank Ewert Sigrid Klempien Hinrichs Renate Kreowski Hans Jorg 2003 Computing Raster Images from Grid Picture Grammars Journal of Automata Languages and Combinatorics 8 499 519 Kreowski Hans Jorg Kuske Sabine 1999 Graph Transformation Units with Interleaving Semantics Formal Aspects of Computing 11 6 690 723 CiteSeerX 10 1 1 57 1385 doi 10 1007 s001659970005 S2CID 818602 Habel Annegret Kreowski Hans Jorg Taubenberger Stefan 1993 Collages and Patterns Generated by Hyperedge Replacement Languages of Design 1 125 145 References edit IFIP Newsletter December 1996 Minutes of the IFIP General Assembly Meeting 2001 PDF Mitglieder der Leibniz Sozietat Hans Jorg Kreowski at DBLP Bibliography Server nbsp Drewes Frank Habel Annegret Hoffmann Berthold et al eds Manipulation of Graphs Algebras and Pictures Essays Dedicated to Hans Jorg Kreowski on the Occasion of His 60th Birthday PDF Ehrig Hatmut Engels Gregor Kreowski Hans Jorg et al eds 1999 Handbook of Graph Grammars and Computing by Graph Transformation Vol 2 Applications Languages and Tools Singapore World Scientific Ehrig Hartmut Kreowski Hans Jorg Montanari Ugo et al eds 1999 Handbook of Graph Grammars and Computing by Graph Transformation Vol 3 Concurrency Parallelism and Distribution World Scientific Astesiano Egidio Kreowski Hans Jorg Krieg Bruckner Bernd eds 1999 Algebraic Foundations of Systems Specification Springer Kreowski Hans Jorg ed 2008 Informatik und Gesellschaft LIT Verlag ISBN 9783825887681 Kreowski Hans Jorg Scholz Reiter Bernd Thoben Klaus Dieter eds 2013 Dynamics in Logistics Third International Conference LDIC 2012 Bremen Germany February March 2012 Proceedings Lecture Notes in Logistics Springer Kreowski Hans Jorg Montanari Ugo Orejas Fernando Rozenberg Grzegorz Taentzer Gabriele eds 2005 Formal Methods in Software and System Modeling Volume 3393 of Lecture Notes in Computer Science Springer External links editKreowski s home page Forum of Computer Scientists for Peace and Social Responsibility in German Retrieved from https en wikipedia org w index php title Hans Jorg Kreowski amp oldid 1133085304, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.