Home  Sitemap  Kontakt 





 


TZI

---------------
 
 
Home

Publications of K. Hölscher

Books

  • BIB

    K. Hölscher. Autonomous units as a rule based concept for the modeling of autonomous and cooperating processes. PhD Dissertation, University of Bremen, Germany, 2008.

    @phdthesis{Hoelscher:Diss:2008,
      author    = {Karsten H{\"o}lscher},
      publisher = {Logos Verlag},
      school    = {University of Bremen, Germany},
      isbn      = {978-3-8325-2090-8},
      title     = {Autonomous units as a rule based concept for the modeling of autonomous and cooperating processes},
      year      = {2008},
      type      = {{PhD} Dissertation},
    }

Journal Articles

  • BIB

    K. Hölscher, H. \"Kreowski, S. Kuske. Autonomous Units to Model Interacting Sequential and Parallel Processes. Fundamenta Informaticae 2009; 92:233–257.

    @article{Hoelscher:Journal:2009,
      author  = {Karsten H{\"o}lscher and Hans-J{\"o}rg Kreowski and Sabine Kuske},
      volume  = {92},
      journal = {Fundamenta Informaticae},
      year    = {2009},
      pages   = {233--257},
      title   = {Autonomous Units to Model Interacting Sequential and Parallel Processes},
    }
  • BIB

    K. Hölscher, P. Ziemann, M. Gogolla. On Translating UML Models into Graph Transformation Systems. Journal of Visual Languages and Computing 2006; 17(1):78–105.

    @article{Hoelscher:Journal:2006,
      author  = {Karsten H{\"o}lscher and Paul Ziemann and Martin Gogolla},
      title   = {On Translating {UML} Models into Graph Transformation Systems},
      journal = {Journal of Visual Languages and Computing},
      number  = {1},
      volume  = {17},
      year    = {2006},
      pages   = {78--105},
    }

Conference and Workshop Articles

  • BIB

    K. Hölscher, R. Klempien-Hinrichs, P. Knirsch. Undecidable Control Conditions in Graph Transformation Units. A. Moreira, L. Ribeiro, editors, Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), Natal, Brazil, 2006, volume 195 of Electronic Notes in Theoretical Computer Science, Elsevier Science, 2008; 95–111.

    @inproceedings{Hoelscher:SBMF:2008,
      author    = {Karsten H{\"o}lscher and Renate Klempien-Hinrichs and Peter Knirsch},
      editor    = {A. Moreira and L. Ribeiro},
      publisher = {Elsevier Science},
      title     = {Undecidable Control Conditions in Graph Transformation Units},
      series    = {Electronic Notes in Theoretical Computer Science},
      booktitle = {Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006), Natal, Brazil, 2006},
      volume    = {195},
      year      = {2008},
      pages     = {95--111},
    }
  • BIB

    K. Hölscher, P. Knirsch, M. Luderer. Autonomous Units for Communication-based Dynamic Scheduling. H. -. Haasis, H. -. Kreowski, B. Scholz-Reiter, editors, Dynamics in Logistics, Proceedings of the 1st Intl.\ Conference LDIC 2007, Springer, 2008; 331–339. Berlin, Heidelberg.

    @inproceedings{Hoelscher:LDIC:2008,
      author    = {Karsten H{\"o}lscher and Peter Knirsch and Melanie Luderer},
      editor    = {H.-D. Haasis and H.-J. Kreowski and B. Scholz-Reiter},
      publisher = {Springer},
      title     = {Autonomous Units for Communication-based Dynamic Scheduling},
      booktitle = {Dynamics in Logistics, Proceedings of the 1st Intl.\ Conference LDIC 2007},
      year      = {2008},
      address   = {Berlin, Heidelberg},
      pages     = {331--339},
    }
  • BIB

    H. \"Kreowski, K. Hölscher, P. Knirsch. Semantics of Visual Models in a Rule-based Setting. R. Heckel, editor, Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Dagstuhl, Germany, 2004, volume 148 of Electronic Notes in Theoretical Computer Science, Elsevier Science, 2006; 75–88.

    @inproceedings{Kreowski:FoVMT:2006,
      author    = {Hans-J{\"o}rg Kreowski and Karsten H{\"o}lscher and Peter Knirsch},
      editor    = {R. Heckel},
      publisher = {Elsevier Science},
      title     = {Semantics of Visual Models in a Rule-based Setting},
      series    = {Electronic Notes in Theoretical Computer Science},
      booktitle = {Proceedings of the School of {SegraVis} Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), Dagstuhl, Germany, 2004},
      volume    = {148},
      year      = {2006},
      pages     = {75--88},
    }
  • BIB

    K. Hölscher, H. \"Kreowski, S. Kuske. Autonomous Units and their Semantics — the Sequential Case. A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, G. Rozenberg, editors, Graph Transformations, Proceedings of the 3rd Intl.\ Conference on Graph Transformations (ICGT 2006), volume 4178 of Lecture Notes in Computer Science, Springer, 2006; 245–259. Berlin, Heidelberg.

    @inproceedings{Hoelscher:ICGT:2006,
      author    = {Karsten H{\"o}lscher and Hans-J{\"o}rg Kreowski and Sabine Kuske},
      editor    = {A. Corradini and H. Ehrig and U. Montanari and L. Ribeiro and G. Rozenberg},
      publisher = {Springer},
      title     = {Autonomous Units and their Semantics --- the Sequential Case},
      series    = {Lecture Notes in Computer Science},
      booktitle = {Graph Transformations, Proceedings of the 3rd Intl.\ Conference on Graph Transformations (ICGT 2006)},
      address   = {Berlin, Heidelberg},
      volume    = {4178},
      year      = {2006},
      pages     = {245--259},
    }
  • BIB

    K. Hölscher, P. Knirsch, H. \"Kreowski. Modelling Transport Networks by Means of Autonomous Units. H. -. Haasis, H. Kopfer, J. Schönberger, editors, Operations Research Proceedings 2005, Springer, 2006; 399–404. Berlin, Heidelberg.

    @inproceedings{Hoelscher:OperationsResearch:2006,
      author    = {Karsten H{\"o}lscher and Peter Knirsch and Hans-J{\"o}rg Kreowski},
      editor    = {H.-D. Haasis and H. Kopfer and J. Sch{\"o}nberger},
      publisher = {Springer},
      title     = {Modelling Transport Networks by Means of Autonomous Units},
      booktitle = {Operations Research Proceedings 2005},
      address   = {Berlin, Heidelberg},
      year      = {2006},
      pages     = {399--404},
    }
  • BIB

    C. Ermel, K. Hölscher, S. Kuske, P. Ziemann. Animated Simulation of Integrated UML Behavioral Models Based on Graph Transformation. Proceedings of the Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX, USA, 21-24 September 2005, IEEE Computer Society, 2005; 125–133.

    @inproceedings{Ermel:VLHCC:2005,
      author    = {Claudia Ermel and Karsten H{\"o}lscher and Sabine Kuske and Paul Ziemann},
      publisher = {IEEE Computer Society},
      booktitle = {Proceedings of the Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX, USA, 21-24 September 2005},
      year      = {2005},
      pages     = {125--133},
      title     = {Animated Simulation of Integrated {UML} Behavioral Models Based on Graph Transformation},
    }
  • BIB

    P. Ziemann, K. Hölscher, M. Gogolla. Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. A. Mota, A. Moura, editors, Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), Recife, Brazil, 2005, volume 130 of Electronic Notes in Theoretical Computer Science, Elsevier Science, 2005; 263–280.

    @inproceedings{Ziemann:SBMF:2005,
      author    = {Paul Ziemann and Karsten H{\"o}lscher and Martin Gogolla},
      editor    = {A. Mota and A. Moura},
      publisher = {Elsevier Science},
      title     = {Coherently Explaining {UML} Statechart and Collaboration Diagrams by Graph Transformations},
      series    = {Electronic Notes in Theoretical Computer Science},
      booktitle = {Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2004), Recife, Brazil, 2005},
      volume    = {130},
      year      = {2005},
      pages     = {263--280},
    }
  • BIB

    P. Ziemann, K. Hölscher, M. Gogolla. From UML Models to Graph Transformation Systems. M. Minas, editor, Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004), Rome, Italy, 2004, volume 127(4) of Electronic Notes in Theoretical Computer Science, Elsevier Science, 2005; 17–33.

    @inproceedings{Ziemann:VLFM:2005,
      author    = {Paul Ziemann and Karsten H{\"o}lscher and Martin Gogolla},
      editor    = {M. Minas},
      publisher = {Elsevier Science},
      title     = {From {UML} Models to Graph Transformation Systems},
      series    = {Electronic Notes in Theoretical Computer Science},
      booktitle = {Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004), Rome, Italy, 2004},
      volume    = {127(4)},
      year      = {2005},
      pages     = {17--33},
    }
  • BIB

    B. \"Cordes, K. Hölscher, H. \"Kreowski. UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. J. Pfaltz, M. Nagl, B. Böhlen, editors, Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers, volume 3062 of Lecture Notes in Computer Science, Springer, 2004; 275–291. Berlin, Heidelberg.

    @inproceedings{Cordes:AGTIVE:2004,
      author    = {Bj{\"o}rn Cordes and Karsten H{\"o}lscher and Hans-J{\"o}rg Kreowski},
      editor    = {J. Pfaltz and M. Nagl and B. B{\"o}hlen},
      publisher = {Springer},
      title     = {{UML} Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams},
      series    = {Lecture Notes in Computer Science},
      booktitle = {Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers},
      year      = {2004},
      volume    = {3062},
      address   = {Berlin, Heidelberg},
      pages     = {275--291},
    }





Arbeitsgruppe

Forschung

Lehre

Publikationen

Service

Kontakt

 

---------
BEDIENUNG
---------


SEITENINHALT DRUCKEN

LESEZEICHEN SETZEN

ENGLISH VERSION  






  SEITENANFANG
Hier geht es zur Homepage des Fachbereiches 03 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 03 der Universität Bremen Hier geht es zur Homepage der Universität Bremen