---
_id: '8199'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
- first_name: Gerti
  full_name: Kappel, Gerti
  last_name: Kappel
citation:
  ama: Engels G, Groenewegen L, Kappel G. <i>Object-Oriented Specification of Coordinated
    Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.
  apa: Engels, G., Groenewegen, L., &#38; Kappel, G. (1996). <i>Object-oriented Specification
    of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden.
  bibtex: '@book{Engels_Groenewegen_Kappel_1996, title={Object-oriented Specification
    of Coordinated Collaboration}, publisher={Vakgroep Informatica, Rijksuniversiteit
    Leiden}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={1996}
    }'
  chicago: Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. <i>Object-Oriented
    Specification of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit
    Leiden, 1996.
  ieee: G. Engels, L. Groenewegen, and G. Kappel, <i>Object-oriented Specification
    of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden,
    1996.
  mla: Engels, Gregor, et al. <i>Object-Oriented Specification of Coordinated Collaboration</i>.
    Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
  short: G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated
    Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
date_created: 2019-03-03T16:12:55Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: Vakgroep Informatica, Rijksuniversiteit Leiden
status: public
title: Object-oriented Specification of Coordinated Collaboration
type: report
user_id: '52534'
year: '1996'
...
---
_id: '8200'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Michael
  full_name: Löwe, Michael
  last_name: Löwe
citation:
  ama: Heckel R, Corradini A, Ehrig H, Löwe M. <i>Horizontal and Vertical Structuring
    of Typed Graph Transformation Systems</i>.; 1996.
  apa: Heckel, R., Corradini, A., Ehrig, H., &#38; Löwe, M. (1996). <i>Horizontal
    and Vertical Structuring of Typed Graph Transformation Systems</i>.
  bibtex: '@book{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical
    Structuring of Typed Graph Transformation Systems}, author={Heckel, Reiko and
    Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}, year={1996} }'
  chicago: Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. <i>Horizontal
    and Vertical Structuring of Typed Graph Transformation Systems</i>, 1996.
  ieee: R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, <i>Horizontal and Vertical
    Structuring of Typed Graph Transformation Systems</i>. 1996.
  mla: Heckel, Reiko, et al. <i>Horizontal and Vertical Structuring of Typed Graph
    Transformation Systems</i>. 1996.
  short: R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring
    of Typed Graph Transformation Systems, 1996.
date_created: 2019-03-03T16:12:56Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Horizontal and Vertical Structuring of Typed Graph Transformation Systems
type: report
user_id: '52534'
year: '1996'
...
---
_id: '8271'
author:
- first_name: Tineke
  full_name: de Bunje, Tineke
  last_name: de Bunje
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
- first_name: Michael
  full_name: Heus, Michael
  last_name: Heus
- first_name: Aart
  full_name: Matsinger, Aart
  last_name: Matsinger
citation:
  ama: 'de Bunje T, Engels G, Groenewegen L, Heus M, Matsinger A. Towards Measurable
    Process Models. In: <i>Proceedings of the Workshop on Software Process Technology
    (EWSPT 1996), Nancy (France)</i>. Vol 1149. Berlin/Heidelberg: Springer; 1996:183-187.
    doi:<a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>'
  apa: 'de Bunje, T., Engels, G., Groenewegen, L., Heus, M., &#38; Matsinger, A. (1996).
    Towards Measurable Process Models. In <i>Proceedings of the Workshop on Software
    Process Technology (EWSPT 1996), Nancy (France)</i> (Vol. 1149, pp. 183–187).
    Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>'
  bibtex: '@inproceedings{de Bunje_Engels_Groenewegen_Heus_Matsinger_1996, place={Berlin/Heidelberg},
    title={Towards Measurable Process Models}, volume={1149}, DOI={<a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>},
    booktitle={Proceedings of the Workshop on Software Process Technology (EWSPT 1996),
    Nancy (France)}, publisher={Springer}, author={de Bunje, Tineke and Engels, Gregor
    and Groenewegen, Luuk and Heus, Michael and Matsinger, Aart}, year={1996}, pages={183–187}
    }'
  chicago: 'Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Michael Heus, and Aart
    Matsinger. “Towards Measurable Process Models.” In <i>Proceedings of the Workshop
    on Software Process Technology (EWSPT 1996), Nancy (France)</i>, 1149:183–87.
    Berlin/Heidelberg: Springer, 1996. <a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>.'
  ieee: T. de Bunje, G. Engels, L. Groenewegen, M. Heus, and A. Matsinger, “Towards
    Measurable Process Models,” in <i>Proceedings of the Workshop on Software Process
    Technology (EWSPT 1996), Nancy (France)</i>, 1996, vol. 1149, pp. 183–187.
  mla: de Bunje, Tineke, et al. “Towards Measurable Process Models.” <i>Proceedings
    of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)</i>,
    vol. 1149, Springer, 1996, pp. 183–87, doi:<a href="http://dx.doi.org/10.1007/BFb0017743">http://dx.doi.org/10.1007/BFb0017743</a>.
  short: 'T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings
    of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer,
    Berlin/Heidelberg, 1996, pp. 183–187.'
date_created: 2019-03-04T12:25:36Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BFb0017743
intvolume: '      1149'
language:
- iso: eng
page: 183-187
place: Berlin/Heidelberg
publication: Proceedings of the Workshop on Software Process Technology (EWSPT 1996),
  Nancy (France)
publisher: Springer
status: public
title: Towards Measurable Process Models
type: conference
user_id: '52534'
volume: 1149
year: '1996'
...
---
_id: '8272'
abstract:
- lang: eng
  text: The paper presents a conceptual framework for a module concept for graph transformation
    systems from a software engineering as well as from a theoretical point of view.
    The basic idea is to reuse concepts, which are known within or without the graph
    grammar field, to structure large specifications. These are the concept of distributed
    graph transformation systems, the concept of inheritance of specifications, and
    the import-export-interface concept. All these concepts are presented in a uniform
    framework based on the syntactical notion of a graph class specification and its
    semantics given by a graph transformation system. This is the basis for an explicit
    integration of these concepts and a corresponding specification language, to be
    discussed in a subsequent paper.
author:
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Ehrig H, Engels G. Pragmatic and Semantic Aspects of a Module Concept for
    Graph Transformation Systems. In: <i>Selected Papers from the 5th International
    Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
    VA (USA)</i>. Vol 1073. Berlin/Heidelberg: Springer; 1996:137-154.'
  apa: 'Ehrig, H., &#38; Engels, G. (1996). Pragmatic and Semantic Aspects of a Module
    Concept for Graph Transformation Systems. In <i>Selected papers from the 5th International
    Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
    VA (USA)</i> (Vol. 1073, pp. 137–154). Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Ehrig_Engels_1996, place={Berlin/Heidelberg}, title={Pragmatic
    and Semantic Aspects of a Module Concept for Graph Transformation Systems}, volume={1073},
    booktitle={Selected papers from the 5th International Workshop on Graph Gramars
    and Their Application to Computer Science, Williamsburg, VA (USA)}, publisher={Springer},
    author={Ehrig, Hartmut and Engels, Gregor}, year={1996}, pages={137–154} }'
  chicago: 'Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of
    a Module Concept for Graph Transformation Systems.” In <i>Selected Papers from
    the 5th International Workshop on Graph Gramars and Their Application to Computer
    Science, Williamsburg, VA (USA)</i>, 1073:137–54. Berlin/Heidelberg: Springer,
    1996.'
  ieee: H. Ehrig and G. Engels, “Pragmatic and Semantic Aspects of a Module Concept
    for Graph Transformation Systems,” in <i>Selected papers from the 5th International
    Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
    VA (USA)</i>, 1996, vol. 1073, pp. 137–154.
  mla: Ehrig, Hartmut, and Gregor Engels. “Pragmatic and Semantic Aspects of a Module
    Concept for Graph Transformation Systems.” <i>Selected Papers from the 5th International
    Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg,
    VA (USA)</i>, vol. 1073, Springer, 1996, pp. 137–54.
  short: 'H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop
    on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA),
    Springer, Berlin/Heidelberg, 1996, pp. 137–154.'
date_created: 2019-03-04T12:25:38Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: '      1073'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007%2F3-540-61228-9_84
page: 137-154
place: Berlin/Heidelberg
publication: Selected papers from the 5th International Workshop on Graph Gramars
  and Their Application to Computer Science, Williamsburg, VA (USA)
publisher: Springer
status: public
title: Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation
  Systems
type: conference
user_id: '52534'
volume: 1073
year: '1996'
...
---
_id: '8273'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Andreas
  full_name: Zamperoni, Andreas
  last_name: Zamperoni
citation:
  ama: 'Engels G, Zamperoni A. Comprehensive Support for Change: Generic, Multi-dimensional
    (Software) Engineering Frameworks (position paper). In: <i>Proceedings of the
    Workshop on Requirements Engineering in a Changing World (Satellite Event of the
    Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece)</i>.
    ; 1996:42-44.'
  apa: 'Engels, G., &#38; Zamperoni, A. (1996). Comprehensive Support for Change:
    Generic, Multi-dimensional (Software) Engineering Frameworks (position paper).
    In <i>Proceedings of the Workshop on Requirements Engineering in a Changing World
    (satellite event of the Conference on Advanced Information Systems Engineering
    (CAISE 1996)), Crete (Greece)</i> (pp. 42–44).'
  bibtex: '@inproceedings{Engels_Zamperoni_1996, title={Comprehensive Support for
    Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position
    paper)}, booktitle={Proceedings of the Workshop on Requirements Engineering in
    a Changing World (satellite event of the Conference on Advanced Information Systems
    Engineering (CAISE 1996)), Crete (Greece)}, author={Engels, Gregor and Zamperoni,
    Andreas}, year={1996}, pages={42–44} }'
  chicago: 'Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change:
    Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).”
    In <i>Proceedings of the Workshop on Requirements Engineering in a Changing World
    (Satellite Event of the Conference on Advanced Information Systems Engineering
    (CAISE 1996)), Crete (Greece)</i>, 42–44, 1996.'
  ieee: 'G. Engels and A. Zamperoni, “Comprehensive Support for Change: Generic, Multi-dimensional
    (Software) Engineering Frameworks (position paper),” in <i>Proceedings of the
    Workshop on Requirements Engineering in a Changing World (satellite event of the
    Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece)</i>,
    1996, pp. 42–44.'
  mla: 'Engels, Gregor, and Andreas Zamperoni. “Comprehensive Support for Change:
    Generic, Multi-Dimensional (Software) Engineering Frameworks (Position Paper).”
    <i>Proceedings of the Workshop on Requirements Engineering in a Changing World
    (Satellite Event of the Conference on Advanced Information Systems Engineering
    (CAISE 1996)), Crete (Greece)</i>, 1996, pp. 42–44.'
  short: 'G. Engels, A. Zamperoni, in: Proceedings of the Workshop on Requirements
    Engineering in a Changing World (Satellite Event of the Conference on Advanced
    Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.'
date_created: 2019-03-04T12:25:39Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 42-44
publication: Proceedings of the Workshop on Requirements Engineering in a Changing
  World (satellite event of the Conference on Advanced Information Systems Engineering
  (CAISE 1996)), Crete (Greece)
status: public
title: 'Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering
  Frameworks (position paper)'
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '8274'
abstract:
- lang: eng
  text: By means of a special sofnvare process model component we have been successful
    in specifring somare process model evolution, This component also handles much
    reuse of software process model fragments. To handle the reuse of the software
    as it is being produced by a software process, another extra component can be
    added to the model for that software process. It is argued why this extra component
    is comparable to the special component for evolution.
author:
- first_name: Luuk
  full_name: Groenewegen, Luuk
  last_name: Groenewegen
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Groenewegen L, Engels G. Reuse of Software Process Fragments is Reuse of Software,
    too. In: <i>Proceedings of the 10th International Software Process Workshop (ISPW
    1996), Ventron (France)</i>. Washington, DC, USA: IEEE Computer Society; 1996:68.'
  apa: 'Groenewegen, L., &#38; Engels, G. (1996). Reuse of Software Process Fragments
    is Reuse of Software, too. In <i>Proceedings of the 10th International Software
    Process Workshop (ISPW 1996), Ventron (France)</i> (p. 68). Washington, DC, USA:
    IEEE Computer Society.'
  bibtex: '@inproceedings{Groenewegen_Engels_1996, place={Washington, DC, USA}, title={Reuse
    of Software Process Fragments is Reuse of Software, too}, booktitle={Proceedings
    of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)},
    publisher={IEEE Computer Society}, author={Groenewegen, Luuk and Engels, Gregor},
    year={1996}, pages={68} }'
  chicago: 'Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments
    Is Reuse of Software, Too.” In <i>Proceedings of the 10th International Software
    Process Workshop (ISPW 1996), Ventron (France)</i>, 68. Washington, DC, USA: IEEE
    Computer Society, 1996.'
  ieee: L. Groenewegen and G. Engels, “Reuse of Software Process Fragments is Reuse
    of Software, too,” in <i>Proceedings of the 10th International Software Process
    Workshop (ISPW 1996), Ventron (France)</i>, 1996, p. 68.
  mla: Groenewegen, Luuk, and Gregor Engels. “Reuse of Software Process Fragments
    Is Reuse of Software, Too.” <i>Proceedings of the 10th International Software
    Process Workshop (ISPW 1996), Ventron (France)</i>, IEEE Computer Society, 1996,
    p. 68.
  short: 'L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software
    Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington,
    DC, USA, 1996, p. 68.'
date_created: 2019-03-04T12:25:40Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: '68'
place: Washington, DC, USA
publication: Proceedings of the 10th International Software Process Workshop (ISPW
  1996), Ventron (France)
publisher: IEEE Computer Society
status: public
title: Reuse of Software Process Fragments is Reuse of Software, too
type: conference
user_id: '52534'
year: '1996'
...
---
_id: '8275'
abstract:
- lang: eng
  text: This extended abstract describes a mechanism to automatically incorporate
    safety requirements into operational specifications written in Z. For every individual
    operation the global (i.e. operation independent) safety invariants are transformed
    into a predicate which is used to extend the original precondiction of the operation.
    The operation constructed this way shows the same beavior as the original one
    whenever its post state satisfies the invariant. Otherwise it refuses to do anything.
    The construction of the precondition can be carried out automatically and a corresponding
    tool development is in progress.
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Mirko
  full_name: Conrad, Mirko
  last_name: Conrad
- first_name: Gottfried
  full_name: Egger, Gottfried
  last_name: Egger
- first_name: Jörg
  full_name: Hiemer, Jörg
  last_name: Hiemer
citation:
  ama: 'Heckel R, Conrad M, Egger G, Hiemer J. Automatic Integration of Safety Invariants
    into Z Specifications. In: <i>Proceedings of the Workshop on Tools for System
    Development and Verifcation</i>. Vol 1. Bremen, Germany: Shaker Verlag; 1996:70-83.'
  apa: 'Heckel, R., Conrad, M., Egger, G., &#38; Hiemer, J. (1996). Automatic Integration
    of Safety Invariants into Z Specifications. In <i>Proceedings of the Workshop
    on Tools for System Development and Verifcation</i> (Vol. 1, pp. 70–83). Bremen,
    Germany: Shaker Verlag.'
  bibtex: '@inproceedings{Heckel_Conrad_Egger_Hiemer_1996, place={Bremen, Germany},
    title={Automatic Integration of Safety Invariants into Z Specifications}, volume={1},
    booktitle={Proceedings of the Workshop on Tools for System Development and Verifcation},
    publisher={Shaker Verlag}, author={Heckel, Reiko and Conrad, Mirko and Egger,
    Gottfried and Hiemer, Jörg}, year={1996}, pages={70–83} }'
  chicago: 'Heckel, Reiko, Mirko Conrad, Gottfried Egger, and Jörg Hiemer. “Automatic
    Integration of Safety Invariants into Z Specifications.” In <i>Proceedings of
    the Workshop on Tools for System Development and Verifcation</i>, 1:70–83. Bremen,
    Germany: Shaker Verlag, 1996.'
  ieee: R. Heckel, M. Conrad, G. Egger, and J. Hiemer, “Automatic Integration of Safety
    Invariants into Z Specifications,” in <i>Proceedings of the Workshop on Tools
    for System Development and Verifcation</i>, 1996, vol. 1, pp. 70–83.
  mla: Heckel, Reiko, et al. “Automatic Integration of Safety Invariants into Z Specifications.”
    <i>Proceedings of the Workshop on Tools for System Development and Verifcation</i>,
    vol. 1, Shaker Verlag, 1996, pp. 70–83.
  short: 'R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop
    on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany,
    1996, pp. 70–83.'
date_created: 2019-03-04T12:25:41Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: '         1'
language:
- iso: eng
main_file_link:
- url: http://tfs.cs.tu-berlin.de/
page: 70-83
place: Bremen, Germany
publication: Proceedings of the Workshop on Tools for System Development and Verifcation
publisher: Shaker Verlag
status: public
title: Automatic Integration of Safety Invariants into Z Specifications
type: conference
user_id: '52534'
volume: 1
year: '1996'
...
---
_id: '7404'
author:
- first_name: Annegret
  full_name: Habel, Annegret
  last_name: Habel
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Gabriele
  full_name: Taentzer, Gabriele
  last_name: Taentzer
citation:
  ama: Habel A, Heckel R, Taentzer G. Graph Grammars with Negative Application Conditions.
    <i>Fundamenta Informaticae</i>. 1996;26(3,4):287-313.
  apa: Habel, A., Heckel, R., &#38; Taentzer, G. (1996). Graph Grammars with Negative
    Application Conditions. <i>Fundamenta Informaticae</i>, <i>26</i>(3,4), 287–313.
  bibtex: '@article{Habel_Heckel_Taentzer_1996, title={Graph Grammars with Negative
    Application Conditions}, volume={26}, number={3,4}, journal={Fundamenta Informaticae},
    author={Habel, Annegret and Heckel, Reiko and Taentzer, Gabriele}, year={1996},
    pages={287–313} }'
  chicago: 'Habel, Annegret, Reiko Heckel, and Gabriele Taentzer. “Graph Grammars
    with Negative Application Conditions.” <i>Fundamenta Informaticae</i> 26, no.
    3,4 (1996): 287–313.'
  ieee: A. Habel, R. Heckel, and G. Taentzer, “Graph Grammars with Negative Application
    Conditions,” <i>Fundamenta Informaticae</i>, vol. 26, no. 3,4, pp. 287–313, 1996.
  mla: Habel, Annegret, et al. “Graph Grammars with Negative Application Conditions.”
    <i>Fundamenta Informaticae</i>, vol. 26, no. 3,4, 1996, pp. 287–313.
  short: A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
date_created: 2019-01-31T15:50:33Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '        26'
issue: 3,4
language:
- iso: eng
page: 287-313
publication: Fundamenta Informaticae
status: public
title: Graph Grammars with Negative Application Conditions
type: journal_article
user_id: '52534'
volume: 26
year: '1996'
...
---
_id: '7405'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Andrea
  full_name: Corradini, Andrea
  last_name: Corradini
- first_name: Hartmut
  full_name: Ehrig, Hartmut
  last_name: Ehrig
- first_name: Michael
  full_name: Löwe, Michael
  last_name: Löwe
citation:
  ama: Heckel R, Corradini A, Ehrig H, Löwe M. Horizontal and Vertical Structuring
    of Typed Graph Transformation Systems. <i>Mathematical Structures in Computer
    Science</i>. 1996;6(6):613-648.
  apa: Heckel, R., Corradini, A., Ehrig, H., &#38; Löwe, M. (1996). Horizontal and
    Vertical Structuring of Typed Graph Transformation Systems. <i>Mathematical Structures
    in Computer Science</i>, <i>6</i>(6), 613–648.
  bibtex: '@article{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical
    Structuring of Typed Graph Transformation Systems}, volume={6}, number={6}, journal={Mathematical
    Structures in Computer Science}, author={Heckel, Reiko and Corradini, Andrea and
    Ehrig, Hartmut and Löwe, Michael}, year={1996}, pages={613–648} }'
  chicago: 'Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. “Horizontal
    and Vertical Structuring of Typed Graph Transformation Systems.” <i>Mathematical
    Structures in Computer Science</i> 6, no. 6 (1996): 613–48.'
  ieee: R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, “Horizontal and Vertical Structuring
    of Typed Graph Transformation Systems,” <i>Mathematical Structures in Computer
    Science</i>, vol. 6, no. 6, pp. 613–648, 1996.
  mla: Heckel, Reiko, et al. “Horizontal and Vertical Structuring of Typed Graph Transformation
    Systems.” <i>Mathematical Structures in Computer Science</i>, vol. 6, no. 6, 1996,
    pp. 613–48.
  short: R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer
    Science 6 (1996) 613–648.
date_created: 2019-01-31T15:51:05Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
intvolume: '         6'
issue: '6'
language:
- iso: eng
page: 613-648
publication: Mathematical Structures in Computer Science
status: public
title: Horizontal and Vertical Structuring of Typed Graph Transformation Systems
type: journal_article
user_id: '52534'
volume: 6
year: '1996'
...
---
_id: '7406'
abstract:
- lang: eng
  text: We present the hybrid query language HQL/EER for an Extended Entity-Relationship
    model. As its main characteristic, this language allows a user to usebothgraphical
    and textual elements in the formulation of one and the same query. We demonstrate
    the look-and-feel of this query language by means of examples, and show how syntax
    and semantics of this language are formally defined using programmed graph rewriting
    systems. Although we present the language in the context of the EER model, the
    concept of hybrid languages is applicable in the context of other database models
    as well. We illustrate this claim by discussing a prototype implementation of
    a Hybrid Query Tool based on an object-oriented approach, namely the Object Modeling
    Technique (OMT).
author:
- first_name: Marc
  full_name: Andries, Marc
  last_name: Andries
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship
    Model. <i>Journal of Visual Languages and Computing</i>. 1996;7(3):321-352. doi:<a
    href="http://dx.doi.org/10.1006/jvlc.1996.0017">http://dx.doi.org/10.1006/jvlc.1996.0017</a>
  apa: Andries, M., &#38; Engels, G. (1996). A Hybrid Query Language for the Extended
    Entity Relationship Model. <i>Journal of Visual Languages and Computing</i>, <i>7</i>(3),
    321–352. <a href="http://dx.doi.org/10.1006/jvlc.1996.0017">http://dx.doi.org/10.1006/jvlc.1996.0017</a>
  bibtex: '@article{Andries_Engels_1996, title={A Hybrid Query Language for the Extended
    Entity Relationship Model}, volume={7}, DOI={<a href="http://dx.doi.org/10.1006/jvlc.1996.0017">http://dx.doi.org/10.1006/jvlc.1996.0017</a>},
    number={3}, journal={Journal of Visual Languages and Computing}, author={Andries,
    Marc and Engels, Gregor}, year={1996}, pages={321–352} }'
  chicago: 'Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended
    Entity Relationship Model.” <i>Journal of Visual Languages and Computing</i> 7,
    no. 3 (1996): 321–52. <a href="http://dx.doi.org/10.1006/jvlc.1996.0017">http://dx.doi.org/10.1006/jvlc.1996.0017</a>.'
  ieee: M. Andries and G. Engels, “A Hybrid Query Language for the Extended Entity
    Relationship Model,” <i>Journal of Visual Languages and Computing</i>, vol. 7,
    no. 3, pp. 321–352, 1996.
  mla: Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended
    Entity Relationship Model.” <i>Journal of Visual Languages and Computing</i>,
    vol. 7, no. 3, 1996, pp. 321–52, doi:<a href="http://dx.doi.org/10.1006/jvlc.1996.0017">http://dx.doi.org/10.1006/jvlc.1996.0017</a>.
  short: M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996)
    321–352.
date_created: 2019-01-31T15:51:35Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1006/jvlc.1996.0017
intvolume: '         7'
issue: '3'
language:
- iso: eng
page: 321-352
publication: Journal of Visual Languages and Computing
status: public
title: A Hybrid Query Language for the Extended Entity Relationship Model
type: journal_article
user_id: '52534'
volume: 7
year: '1996'
...
---
_id: '7514'
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Manfred
  full_name: Nagl, Manfred
  last_name: Nagl
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Bernhard
  full_name: Westfechtel, Bernhard
  last_name: Westfechtel
citation:
  ama: 'Engels G, Nagl M, Schäfer W, Westfechtel B. Tight Integration on One Document:
    The Programming Environment. In: <i>Building Tightly Integrated Software Development
    Environments: The IPSEN Approach</i>. Vol 1170. LNCS. Berlin/Heidelberg: Springer;
    1996:170-177.'
  apa: 'Engels, G., Nagl, M., Schäfer, W., &#38; Westfechtel, B. (1996). Tight Integration
    on One Document: The Programming Environment. In <i>Building Tightly Integrated
    Software Development Environments: The IPSEN Approach</i> (Vol. 1170, pp. 170–177).
    Berlin/Heidelberg: Springer.'
  bibtex: '@inbook{Engels_Nagl_Schäfer_Westfechtel_1996, place={Berlin/Heidelberg},
    series={LNCS}, title={Tight Integration on One Document: The Programming Environment},
    volume={1170}, booktitle={Building Tightly Integrated Software Development Environments:
    The IPSEN Approach}, publisher={Springer}, author={Engels, Gregor and Nagl, Manfred
    and Schäfer, Wilhelm and Westfechtel, Bernhard}, year={1996}, pages={170–177},
    collection={LNCS} }'
  chicago: 'Engels, Gregor, Manfred Nagl, Wilhelm Schäfer, and Bernhard Westfechtel.
    “Tight Integration on One Document: The Programming Environment.” In <i>Building
    Tightly Integrated Software Development Environments: The IPSEN Approach</i>,
    1170:170–77. LNCS. Berlin/Heidelberg: Springer, 1996.'
  ieee: 'G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on
    One Document: The Programming Environment,” in <i>Building Tightly Integrated
    Software Development Environments: The IPSEN Approach</i>, vol. 1170, Berlin/Heidelberg:
    Springer, 1996, pp. 170–177.'
  mla: 'Engels, Gregor, et al. “Tight Integration on One Document: The Programming
    Environment.” <i>Building Tightly Integrated Software Development Environments:
    The IPSEN Approach</i>, vol. 1170, Springer, 1996, pp. 170–77.'
  short: 'G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated
    Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg,
    1996, pp. 170–177.'
date_created: 2019-02-04T22:40:52Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
intvolume: '      1170'
language:
- iso: eng
page: 170-177
place: Berlin/Heidelberg
publication: 'Building Tightly Integrated Software Development Environments: The IPSEN
  Approach'
publisher: Springer
series_title: LNCS
status: public
title: 'Tight Integration on One Document: The Programming Environment'
type: book_chapter
user_id: '52534'
volume: 1170
year: '1996'
...
---
_id: '880'
author:
- first_name: Bernd
  full_name: Dreier, Bernd
  last_name: Dreier
- first_name: Annja
  full_name: Huber, Annja
  last_name: Huber
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
- first_name: Theo
  full_name: Ungerer, Theo
  last_name: Ungerer
- first_name: Markus
  full_name: Zahn, Markus
  last_name: Zahn
citation:
  ama: 'Dreier B, Huber A, Karl H, Ungerer T, Zahn M. ReGTime - Rent Gigaflops someTimes.
    In: <i>Trends in Distributed Systems: CORBA and Beyond, International Workshop
    TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings</i>. ; 1996:84--93.
    doi:<a href="https://doi.org/10.1007/3-540-61842-2_28">10.1007/3-540-61842-2_28</a>'
  apa: 'Dreier, B., Huber, A., Karl, H., Ungerer, T., &#38; Zahn, M. (1996). ReGTime
    - Rent Gigaflops someTimes. In <i>Trends in Distributed Systems: CORBA and Beyond,
    International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings</i>
    (pp. 84--93). <a href="https://doi.org/10.1007/3-540-61842-2_28">https://doi.org/10.1007/3-540-61842-2_28</a>'
  bibtex: '@inproceedings{Dreier_Huber_Karl_Ungerer_Zahn_1996, title={ReGTime - Rent
    Gigaflops someTimes}, DOI={<a href="https://doi.org/10.1007/3-540-61842-2_28">10.1007/3-540-61842-2_28</a>},
    booktitle={Trends in Distributed Systems: CORBA and Beyond, International Workshop
    TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings}, author={Dreier, Bernd
    and Huber, Annja and Karl, Holger and Ungerer, Theo and Zahn, Markus}, year={1996},
    pages={84--93} }'
  chicago: 'Dreier, Bernd, Annja Huber, Holger Karl, Theo Ungerer, and Markus Zahn.
    “ReGTime - Rent Gigaflops SomeTimes.” In <i>Trends in Distributed Systems: CORBA
    and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996,
    Proceedings</i>, 84--93, 1996. <a href="https://doi.org/10.1007/3-540-61842-2_28">https://doi.org/10.1007/3-540-61842-2_28</a>.'
  ieee: 'B. Dreier, A. Huber, H. Karl, T. Ungerer, and M. Zahn, “ReGTime - Rent Gigaflops
    someTimes,” in <i>Trends in Distributed Systems: CORBA and Beyond, International
    Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings</i>, 1996,
    pp. 84--93.'
  mla: 'Dreier, Bernd, et al. “ReGTime - Rent Gigaflops SomeTimes.” <i>Trends in Distributed
    Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany,
    October 1-2, 1996, Proceedings</i>, 1996, pp. 84--93, doi:<a href="https://doi.org/10.1007/3-540-61842-2_28">10.1007/3-540-61842-2_28</a>.'
  short: 'B. Dreier, A. Huber, H. Karl, T. Ungerer, M. Zahn, in: Trends in Distributed
    Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany,
    October 1-2, 1996, Proceedings, 1996, pp. 84--93.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:04:02Z
department:
- _id: '75'
doi: 10.1007/3-540-61842-2_28
page: 84--93
publication: 'Trends in Distributed Systems: CORBA and Beyond, International Workshop
  TreDS ''96, Aachen, Germany, October 1-2, 1996, Proceedings'
status: public
title: ReGTime - Rent Gigaflops someTimes
type: conference
user_id: '15572'
year: '1996'
...
---
_id: '16698'
author:
- first_name: Foued
  full_name: Ameur, Foued
  last_name: Ameur
- first_name: Paul
  full_name: Fischer, Paul
  last_name: Fischer
- first_name: Klaus -U.
  full_name: Höffgen, Klaus -U.
  last_name: Höffgen
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
citation:
  ama: Ameur F, Fischer P, Höffgen K-U, Meyer auf der Heide F. Trial and error. A
    new approach to space-bounded learning. <i>Acta Informatica</i>. 1996:621-630.
    doi:<a href="https://doi.org/10.1007/bf03036467">10.1007/bf03036467</a>
  apa: Ameur, F., Fischer, P., Höffgen, K.-U., &#38; Meyer auf der Heide, F. (1996).
    Trial and error. A new approach to space-bounded learning. <i>Acta Informatica</i>,
    621–630. <a href="https://doi.org/10.1007/bf03036467">https://doi.org/10.1007/bf03036467</a>
  bibtex: '@article{Ameur_Fischer_Höffgen_Meyer auf der Heide_1996, title={Trial and
    error. A new approach to space-bounded learning}, DOI={<a href="https://doi.org/10.1007/bf03036467">10.1007/bf03036467</a>},
    journal={Acta Informatica}, author={Ameur, Foued and Fischer, Paul and Höffgen,
    Klaus -U. and Meyer auf der Heide, Friedhelm}, year={1996}, pages={621–630} }'
  chicago: Ameur, Foued, Paul Fischer, Klaus -U. Höffgen, and Friedhelm Meyer auf
    der Heide. “Trial and Error. A New Approach to Space-Bounded Learning.” <i>Acta
    Informatica</i>, 1996, 621–30. <a href="https://doi.org/10.1007/bf03036467">https://doi.org/10.1007/bf03036467</a>.
  ieee: F. Ameur, P. Fischer, K.-U. Höffgen, and F. Meyer auf der Heide, “Trial and
    error. A new approach to space-bounded learning,” <i>Acta Informatica</i>, pp.
    621–630, 1996.
  mla: Ameur, Foued, et al. “Trial and Error. A New Approach to Space-Bounded Learning.”
    <i>Acta Informatica</i>, 1996, pp. 621–30, doi:<a href="https://doi.org/10.1007/bf03036467">10.1007/bf03036467</a>.
  short: F. Ameur, P. Fischer, K.-U. Höffgen, F. Meyer auf der Heide, Acta Informatica
    (1996) 621–630.
date_created: 2020-04-16T11:40:05Z
date_updated: 2022-01-06T06:52:54Z
department:
- _id: '63'
doi: 10.1007/bf03036467
language:
- iso: eng
page: 621-630
publication: Acta Informatica
publication_identifier:
  issn:
  - 0001-5903
  - 1432-0525
publication_status: published
status: public
title: Trial and error. A new approach to space-bounded learning
type: journal_article
user_id: '15415'
year: '1996'
...
---
_id: '16699'
author:
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Brigitte
  full_name: Oesterdiekhoff, Brigitte
  last_name: Oesterdiekhoff
- first_name: Rolf
  full_name: Wanka, Rolf
  last_name: Wanka
citation:
  ama: Meyer auf der Heide F, Oesterdiekhoff B, Wanka R. Strongly adaptive token distribution.
    <i>Algorithmica</i>. Published online 1996:413-427. doi:<a href="https://doi.org/10.1007/bf01955042">10.1007/bf01955042</a>
  apa: Meyer auf der Heide, F., Oesterdiekhoff, B., &#38; Wanka, R. (1996). Strongly
    adaptive token distribution. <i>Algorithmica</i>, 413–427. <a href="https://doi.org/10.1007/bf01955042">https://doi.org/10.1007/bf01955042</a>
  bibtex: '@article{Meyer auf der Heide_Oesterdiekhoff_Wanka_1996, title={Strongly
    adaptive token distribution}, DOI={<a href="https://doi.org/10.1007/bf01955042">10.1007/bf01955042</a>},
    journal={Algorithmica}, author={Meyer auf der Heide, Friedhelm and Oesterdiekhoff,
    Brigitte and Wanka, Rolf}, year={1996}, pages={413–427} }'
  chicago: Meyer auf der Heide, Friedhelm, Brigitte Oesterdiekhoff, and Rolf Wanka.
    “Strongly Adaptive Token Distribution.” <i>Algorithmica</i>, 1996, 413–27. <a
    href="https://doi.org/10.1007/bf01955042">https://doi.org/10.1007/bf01955042</a>.
  ieee: 'F. Meyer auf der Heide, B. Oesterdiekhoff, and R. Wanka, “Strongly adaptive
    token distribution,” <i>Algorithmica</i>, pp. 413–427, 1996, doi: <a href="https://doi.org/10.1007/bf01955042">10.1007/bf01955042</a>.'
  mla: Meyer auf der Heide, Friedhelm, et al. “Strongly Adaptive Token Distribution.”
    <i>Algorithmica</i>, 1996, pp. 413–27, doi:<a href="https://doi.org/10.1007/bf01955042">10.1007/bf01955042</a>.
  short: F. Meyer auf der Heide, B. Oesterdiekhoff, R. Wanka, Algorithmica (1996)
    413–427.
date_created: 2020-04-16T11:46:56Z
date_updated: 2022-01-06T06:52:54Z
department:
- _id: '63'
doi: 10.1007/bf01955042
language:
- iso: eng
page: 413-427
publication: Algorithmica
publication_identifier:
  issn:
  - 0178-4617
  - 1432-0541
publication_status: published
status: public
title: Strongly adaptive token distribution
type: journal_article
user_id: '15415'
year: '1996'
...
---
_id: '16700'
author:
- first_name: R. M.
  full_name: Karp, R. M.
  last_name: Karp
- first_name: M.
  full_name: Luby, M.
  last_name: Luby
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
citation:
  ama: Karp RM, Luby M, Meyer auf der Heide F. Efficient PRAM simulation on a distributed
    memory machine. <i>Algorithmica</i>. 1996:517-542. doi:<a href="https://doi.org/10.1007/bf01940878">10.1007/bf01940878</a>
  apa: Karp, R. M., Luby, M., &#38; Meyer auf der Heide, F. (1996). Efficient PRAM
    simulation on a distributed memory machine. <i>Algorithmica</i>, 517–542. <a href="https://doi.org/10.1007/bf01940878">https://doi.org/10.1007/bf01940878</a>
  bibtex: '@article{Karp_Luby_Meyer auf der Heide_1996, title={Efficient PRAM simulation
    on a distributed memory machine}, DOI={<a href="https://doi.org/10.1007/bf01940878">10.1007/bf01940878</a>},
    journal={Algorithmica}, author={Karp, R. M. and Luby, M. and Meyer auf der Heide,
    Friedhelm}, year={1996}, pages={517–542} }'
  chicago: Karp, R. M., M. Luby, and Friedhelm Meyer auf der Heide. “Efficient PRAM
    Simulation on a Distributed Memory Machine.” <i>Algorithmica</i>, 1996, 517–42.
    <a href="https://doi.org/10.1007/bf01940878">https://doi.org/10.1007/bf01940878</a>.
  ieee: R. M. Karp, M. Luby, and F. Meyer auf der Heide, “Efficient PRAM simulation
    on a distributed memory machine,” <i>Algorithmica</i>, pp. 517–542, 1996.
  mla: Karp, R. M., et al. “Efficient PRAM Simulation on a Distributed Memory Machine.”
    <i>Algorithmica</i>, 1996, pp. 517–42, doi:<a href="https://doi.org/10.1007/bf01940878">10.1007/bf01940878</a>.
  short: R.M. Karp, M. Luby, F. Meyer auf der Heide, Algorithmica (1996) 517–542.
date_created: 2020-04-16T11:50:27Z
date_updated: 2022-01-06T06:52:54Z
department:
- _id: '63'
doi: 10.1007/bf01940878
language:
- iso: eng
page: 517-542
publication: Algorithmica
publication_identifier:
  issn:
  - 0178-4617
  - 1432-0541
publication_status: published
status: public
title: Efficient PRAM simulation on a distributed memory machine
type: journal_article
user_id: '15415'
year: '1996'
...
---
_id: '16701'
author:
- first_name: Joseph
  full_name: Gil, Joseph
  last_name: Gil
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Avi
  full_name: Wigderson, Avi
  last_name: Wigderson
citation:
  ama: 'Gil J, Meyer auf der Heide F, Wigderson A. The Tree Model for Hashing: Lower
    and Upper Bounds. <i>SIAM Journal on Computing</i>. 1996:936-955. doi:<a href="https://doi.org/10.1137/s0097539793255722">10.1137/s0097539793255722</a>'
  apa: 'Gil, J., Meyer auf der Heide, F., &#38; Wigderson, A. (1996). The Tree Model
    for Hashing: Lower and Upper Bounds. <i>SIAM Journal on Computing</i>, 936–955.
    <a href="https://doi.org/10.1137/s0097539793255722">https://doi.org/10.1137/s0097539793255722</a>'
  bibtex: '@article{Gil_Meyer auf der Heide_Wigderson_1996, title={The Tree Model
    for Hashing: Lower and Upper Bounds}, DOI={<a href="https://doi.org/10.1137/s0097539793255722">10.1137/s0097539793255722</a>},
    journal={SIAM Journal on Computing}, author={Gil, Joseph and Meyer auf der Heide,
    Friedhelm and Wigderson, Avi}, year={1996}, pages={936–955} }'
  chicago: 'Gil, Joseph, Friedhelm Meyer auf der Heide, and Avi Wigderson. “The Tree
    Model for Hashing: Lower and Upper Bounds.” <i>SIAM Journal on Computing</i>,
    1996, 936–55. <a href="https://doi.org/10.1137/s0097539793255722">https://doi.org/10.1137/s0097539793255722</a>.'
  ieee: 'J. Gil, F. Meyer auf der Heide, and A. Wigderson, “The Tree Model for Hashing:
    Lower and Upper Bounds,” <i>SIAM Journal on Computing</i>, pp. 936–955, 1996.'
  mla: 'Gil, Joseph, et al. “The Tree Model for Hashing: Lower and Upper Bounds.”
    <i>SIAM Journal on Computing</i>, 1996, pp. 936–55, doi:<a href="https://doi.org/10.1137/s0097539793255722">10.1137/s0097539793255722</a>.'
  short: J. Gil, F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1996)
    936–955.
date_created: 2020-04-16T11:53:57Z
date_updated: 2022-01-06T06:52:54Z
department:
- _id: '63'
doi: 10.1137/s0097539793255722
language:
- iso: eng
page: 936-955
publication: SIAM Journal on Computing
publication_identifier:
  issn:
  - 0097-5397
  - 1095-7111
publication_status: published
status: public
title: 'The Tree Model for Hashing: Lower and Upper Bounds'
type: journal_article
user_id: '15415'
year: '1996'
...
---
_id: '16702'
citation:
  ama: Meyer auf der Heide F, Monien B, eds. <i>Automata, Languages and Programming,
    23rd International Colloquium, ICALP96</i>. Berlin, Heidelberg; 1996. doi:<a href="https://doi.org/10.1007/3-540-61440-0">10.1007/3-540-61440-0</a>
  apa: Meyer auf der Heide, F., &#38; Monien, B. (Eds.). (1996). <i>Automata, Languages
    and Programming, 23rd International Colloquium, ICALP96</i>. Berlin, Heidelberg.
    <a href="https://doi.org/10.1007/3-540-61440-0">https://doi.org/10.1007/3-540-61440-0</a>
  bibtex: '@book{Meyer auf der Heide_Monien_1996, place={Berlin, Heidelberg}, title={Automata,
    Languages and Programming, 23rd International Colloquium, ICALP96}, DOI={<a href="https://doi.org/10.1007/3-540-61440-0">10.1007/3-540-61440-0</a>},
    year={1996} }'
  chicago: Meyer auf der Heide, Friedhelm, and Burkhard Monien, eds. <i>Automata,
    Languages and Programming, 23rd International Colloquium, ICALP96</i>. Berlin,
    Heidelberg, 1996. <a href="https://doi.org/10.1007/3-540-61440-0">https://doi.org/10.1007/3-540-61440-0</a>.
  ieee: F. Meyer auf der Heide and B. Monien, Eds., <i>Automata, Languages and Programming,
    23rd International Colloquium, ICALP96</i>. Berlin, Heidelberg, 1996.
  mla: Meyer auf der Heide, Friedhelm, and Burkhard Monien, editors. <i>Automata,
    Languages and Programming, 23rd International Colloquium, ICALP96</i>. 1996, doi:<a
    href="https://doi.org/10.1007/3-540-61440-0">10.1007/3-540-61440-0</a>.
  short: F. Meyer auf der Heide, B. Monien, eds., Automata, Languages and Programming,
    23rd International Colloquium, ICALP96, Berlin, Heidelberg, 1996.
date_created: 2020-04-16T13:25:51Z
date_updated: 2022-01-06T06:52:54Z
department:
- _id: '63'
doi: 10.1007/3-540-61440-0
editor:
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Burkhard
  full_name: Monien, Burkhard
  last_name: Monien
language:
- iso: eng
place: Berlin, Heidelberg
publication_identifier:
  isbn:
  - '9783540614401'
  - '9783540685807'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Automata, Languages and Programming, 23rd International Colloquium, ICALP96
type: book_editor
user_id: '15415'
year: '1996'
...
---
_id: '16703'
author:
- first_name: Petra
  full_name: Berenbrink, Petra
  last_name: Berenbrink
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Volker
  full_name: Stemann, Volker
  last_name: Stemann
citation:
  ama: 'Berenbrink P, Meyer auf der Heide F, Stemann V. Fault-tolerant shared memory
    simulations. In: <i>STACS 96</i>. Berlin, Heidelberg; 1996. doi:<a href="https://doi.org/10.1007/3-540-60922-9_16">10.1007/3-540-60922-9_16</a>'
  apa: Berenbrink, P., Meyer auf der Heide, F., &#38; Stemann, V. (1996). Fault-tolerant
    shared memory simulations. In <i>STACS 96</i>. Berlin, Heidelberg. <a href="https://doi.org/10.1007/3-540-60922-9_16">https://doi.org/10.1007/3-540-60922-9_16</a>
  bibtex: '@inbook{Berenbrink_Meyer auf der Heide_Stemann_1996, place={Berlin, Heidelberg},
    title={Fault-tolerant shared memory simulations}, DOI={<a href="https://doi.org/10.1007/3-540-60922-9_16">10.1007/3-540-60922-9_16</a>},
    booktitle={STACS 96}, author={Berenbrink, Petra and Meyer auf der Heide, Friedhelm
    and Stemann, Volker}, year={1996} }'
  chicago: Berenbrink, Petra, Friedhelm Meyer auf der Heide, and Volker Stemann. “Fault-Tolerant
    Shared Memory Simulations.” In <i>STACS 96</i>. Berlin, Heidelberg, 1996. <a href="https://doi.org/10.1007/3-540-60922-9_16">https://doi.org/10.1007/3-540-60922-9_16</a>.
  ieee: P. Berenbrink, F. Meyer auf der Heide, and V. Stemann, “Fault-tolerant shared
    memory simulations,” in <i>STACS 96</i>, Berlin, Heidelberg, 1996.
  mla: Berenbrink, Petra, et al. “Fault-Tolerant Shared Memory Simulations.” <i>STACS
    96</i>, 1996, doi:<a href="https://doi.org/10.1007/3-540-60922-9_16">10.1007/3-540-60922-9_16</a>.
  short: 'P. Berenbrink, F. Meyer auf der Heide, V. Stemann, in: STACS 96, Berlin,
    Heidelberg, 1996.'
date_created: 2020-04-16T13:32:22Z
date_updated: 2022-01-06T06:52:54Z
department:
- _id: '63'
doi: 10.1007/3-540-60922-9_16
language:
- iso: eng
place: Berlin, Heidelberg
publication: STACS 96
publication_identifier:
  isbn:
  - '9783540609223'
  - '9783540497233'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Fault-tolerant shared memory simulations
type: book_chapter
user_id: '15415'
year: '1996'
...
---
_id: '16816'
author:
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
citation:
  ama: 'Domik G. Computer Visualization - Concepts, Trends and Current Research. In:
    G. Jeffery K, Kr{\’{a}}l J, Bartosek M, eds. <i>{SOFSEM} ’96: Theory and Practice
    of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics,
    Milovy, Czech Republic, November 23-30, 1996, Proceedings</i>. Vol 1175. Lecture
    Notes in Computer Science. Springer; 1996:178-196. doi:<a href="https://doi.org/10.1007/BFb0037404">10.1007/BFb0037404</a>'
  apa: 'Domik, G. (1996). Computer Visualization - Concepts, Trends and Current Research.
    In K. G. Jeffery, J. Kr{\’{a}}l, &#38; M. Bartosek (Eds.), <i>{SOFSEM} ’96: Theory
    and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice
    of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings</i>
    (Vol. 1175, pp. 178–196). Springer. <a href="https://doi.org/10.1007/BFb0037404">https://doi.org/10.1007/BFb0037404</a>'
  bibtex: '@inproceedings{Domik_1996, series={Lecture Notes in Computer Science},
    title={Computer Visualization - Concepts, Trends and Current Research}, volume={1175},
    DOI={<a href="https://doi.org/10.1007/BFb0037404">10.1007/BFb0037404</a>}, booktitle={{SOFSEM}
    ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory
    and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings},
    publisher={Springer}, author={Domik, Gitta}, editor={G. Jeffery, Keith and Kr{\’{a}}l,
    Jaroslav and Bartosek, MiroslavEditors}, year={1996}, pages={178–196}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Domik, Gitta. “Computer Visualization - Concepts, Trends and Current Research.”
    In <i>{SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current
    Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November
    23-30, 1996, Proceedings</i>, edited by Keith G. Jeffery, Jaroslav Kr{\’{a}}l,
    and Miroslav Bartosek, 1175:178–96. Lecture Notes in Computer Science. Springer,
    1996. <a href="https://doi.org/10.1007/BFb0037404">https://doi.org/10.1007/BFb0037404</a>.'
  ieee: 'G. Domik, “Computer Visualization - Concepts, Trends and Current Research,”
    in <i>{SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current
    Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November
    23-30, 1996, Proceedings</i>, 1996, vol. 1175, pp. 178–196.'
  mla: 'Domik, Gitta. “Computer Visualization - Concepts, Trends and Current Research.”
    <i>{SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends
    in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30,
    1996, Proceedings</i>, edited by Keith G. Jeffery et al., vol. 1175, Springer,
    1996, pp. 178–96, doi:<a href="https://doi.org/10.1007/BFb0037404">10.1007/BFb0037404</a>.'
  short: 'G. Domik, in: K. G. Jeffery, J. Kr{\’{a}}l, M. Bartosek (Eds.), {SOFSEM}
    ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory
    and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings,
    Springer, 1996, pp. 178–196.'
date_created: 2020-04-22T09:06:54Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '65'
doi: 10.1007/BFb0037404
editor:
- first_name: Keith
  full_name: G. Jeffery, Keith
  last_name: G. Jeffery
- first_name: Jaroslav
  full_name: Kr{\'{a}}l, Jaroslav
  last_name: Kr{\'{a}}l
- first_name: Miroslav
  full_name: Bartosek, Miroslav
  last_name: Bartosek
intvolume: '      1175'
language:
- iso: eng
page: 178-196
publication: '{SOFSEM} ''96: Theory and Practice of Informatics, 23rd Seminar on Current
  Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30,
  1996, Proceedings'
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Computer Visualization - Concepts, Trends and Current Research
type: conference
user_id: '14955'
volume: 1175
year: '1996'
...
---
_id: '16895'
author:
- first_name: B.
  full_name: Gutkauf, B.
  last_name: Gutkauf
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
citation:
  ama: 'Gutkauf B, Domik G. Benutzermodellierung als Basis für adaptive multimediale
    Präsentations- und Interaktionssysteme. In: <i>Proceedings 4. GI Workshop Adaptivität 
    Und Benutzermodellierung in Interaktiven Softwaresystemen</i>. Dortmund, Germany;
    1996.'
  apa: Gutkauf, B., &#38; Domik, G. (1996). Benutzermodellierung als Basis für adaptive
    multimediale Präsentations- und Interaktionssysteme. In <i>Proceedings 4. GI Workshop
    Adaptivität  und Benutzermodellierung in interaktiven Softwaresystemen</i>. Dortmund,
    Germany.
  bibtex: '@inproceedings{Gutkauf_Domik_1996, place={Dortmund, Germany}, title={Benutzermodellierung
    als Basis für adaptive multimediale Präsentations- und Interaktionssysteme}, booktitle={Proceedings
    4. GI Workshop Adaptivität  und Benutzermodellierung in interaktiven Softwaresystemen},
    author={Gutkauf, B. and Domik, Gitta}, year={1996} }'
  chicago: Gutkauf, B., and Gitta Domik. “Benutzermodellierung Als Basis Für Adaptive
    Multimediale Präsentations- Und Interaktionssysteme.” In <i>Proceedings 4. GI
    Workshop Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen</i>.
    Dortmund, Germany, 1996.
  ieee: B. Gutkauf and G. Domik, “Benutzermodellierung als Basis für adaptive multimediale
    Präsentations- und Interaktionssysteme,” in <i>Proceedings 4. GI Workshop Adaptivität 
    und Benutzermodellierung in interaktiven Softwaresystemen</i>, 1996.
  mla: Gutkauf, B., and Gitta Domik. “Benutzermodellierung Als Basis Für Adaptive
    Multimediale Präsentations- Und Interaktionssysteme.” <i>Proceedings 4. GI Workshop
    Adaptivität  Und Benutzermodellierung in Interaktiven Softwaresystemen</i>, 1996.
  short: 'B. Gutkauf, G. Domik, in: Proceedings 4. GI Workshop Adaptivität  Und Benutzermodellierung
    in Interaktiven Softwaresystemen, Dortmund, Germany, 1996.'
date_created: 2020-04-28T08:33:57Z
date_updated: 2022-01-06T06:52:58Z
department:
- _id: '65'
language:
- iso: eng
place: Dortmund, Germany
publication: Proceedings 4. GI Workshop Adaptivität  und Benutzermodellierung in interaktiven
  Softwaresystemen
status: public
title: Benutzermodellierung als Basis für adaptive multimediale Präsentations- und
  Interaktionssysteme
type: conference
user_id: '90'
year: '1996'
...
