---
_id: '21785'
author:
- first_name: J.
full_name: D. Stuwe, J.
last_name: D. Stuwe
- first_name: C.
full_name: Lenz, C.
last_name: Lenz
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
citation:
ama: 'D. Stuwe J, Lenz C, Domik G. Visualization of geographic data using VRML-an
Internet client, for a geographic information system (GIS). In: Proceedings.
Computer Graphics International (Cat. No.98EX149). Vol 1. ; 1998:111-112.
doi:10.1109/CGI.1998.694258'
apa: D. Stuwe, J., Lenz, C., & Domik, G. (1998). Visualization of geographic
data using VRML-an Internet client, for a geographic information system (GIS).
In Proceedings. Computer Graphics International (Cat. No.98EX149) (Vol.
1, pp. 111–112). https://doi.org/10.1109/CGI.1998.694258
bibtex: '@inproceedings{D. Stuwe_Lenz_Domik_1998, title={Visualization of geographic
data using VRML-an Internet client, for a geographic information system (GIS)},
volume={1}, DOI={10.1109/CGI.1998.694258},
booktitle={Proceedings. Computer Graphics International (Cat. No.98EX149)}, author={D.
Stuwe, J. and Lenz, C. and Domik, Gitta}, year={1998}, pages={111–112} }'
chicago: D. Stuwe, J., C. Lenz, and Gitta Domik. “Visualization of Geographic Data
Using VRML-an Internet Client, for a Geographic Information System (GIS).” In
Proceedings. Computer Graphics International (Cat. No.98EX149), 1:111–12,
1998. https://doi.org/10.1109/CGI.1998.694258.
ieee: J. D. Stuwe, C. Lenz, and G. Domik, “Visualization of geographic data using
VRML-an Internet client, for a geographic information system (GIS),” in Proceedings.
Computer Graphics International (Cat. No.98EX149), 1998, vol. 1, pp. 111–112.
mla: D. Stuwe, J., et al. “Visualization of Geographic Data Using VRML-an Internet
Client, for a Geographic Information System (GIS).” Proceedings. Computer Graphics
International (Cat. No.98EX149), vol. 1, 1998, pp. 111–12, doi:10.1109/CGI.1998.694258.
short: 'J. D. Stuwe, C. Lenz, G. Domik, in: Proceedings. Computer Graphics International
(Cat. No.98EX149), 1998, pp. 111–112.'
date_created: 2021-04-25T17:35:27Z
date_updated: 2022-01-06T06:55:13Z
department:
- _id: '65'
doi: 10.1109/CGI.1998.694258
intvolume: ' 1'
language:
- iso: eng
page: 111-112
publication: Proceedings. Computer Graphics International (Cat. No.98EX149)
status: public
title: Visualization of geographic data using VRML-an Internet client, for a geographic
information system (GIS)
type: conference
user_id: '14955'
volume: 1
year: '1998'
...
---
_id: '2185'
author:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: Scheideler C. Universal Routing Strategies for Interconnection Networks.
Vol 1390.; 1998. doi:10.1007/BFb0052928
apa: Scheideler, C. (1998). Universal Routing Strategies for Interconnection
Networks (Vol. 1390). https://doi.org/10.1007/BFb0052928
bibtex: '@book{Scheideler_1998, series={Lecture Notes in Computer Science}, title={Universal
Routing Strategies for Interconnection Networks}, volume={1390}, DOI={10.1007/BFb0052928},
author={Scheideler, Christian}, year={1998}, collection={Lecture Notes in Computer
Science} }'
chicago: Scheideler, Christian. Universal Routing Strategies for Interconnection
Networks. Vol. 1390. Lecture Notes in Computer Science, 1998. https://doi.org/10.1007/BFb0052928.
ieee: C. Scheideler, Universal Routing Strategies for Interconnection Networks,
vol. 1390. 1998.
mla: Scheideler, Christian. Universal Routing Strategies for Interconnection
Networks. Vol. 1390, 1998, doi:10.1007/BFb0052928.
short: C. Scheideler, Universal Routing Strategies for Interconnection Networks,
1998.
date_created: 2018-04-03T09:38:18Z
date_updated: 2022-01-06T06:55:17Z
department:
- _id: '79'
- _id: '63'
doi: 10.1007/BFb0052928
intvolume: ' 1390'
language:
- iso: eng
publication_identifier:
isbn:
- 978-3-540-69792-3
series_title: Lecture Notes in Computer Science
status: public
title: Universal Routing Strategies for Interconnection Networks
type: book
user_id: '14955'
volume: 1390
year: '1998'
...
---
_id: '7793'
abstract:
- lang: eng
text: 'During the last 20 years several different formal and semi-formal specification
techniques have been successfully developed and used. Applications comprise the
specification of simple programs, data types and processes as well as complex
hardware and software systems. The variety of specification techniques ranges
from formal set theoretical, algebraic, and logic approaches for specifying sequential
systems and from Petri-nets, process algebras, automata, and graph grammars for
specifying concurrent and distributed behaviors to semi-formal software engineering
methods for developing complex systems. Formal and semi-formal approaches have
their advantages and disadvantages: the informal diagrammatic methods are easier
to understand and to apply but they can be ambiguous. Due to the different nature
of the employed diagrams and descriptions it is often difficult to get a comprehensive
view of all functional and dynamic properties. On the other hand, the formal approaches
are more difficult to learn and require mathematical training. But they provide
mathematical rigor for analysis and prototyping of designs. Verification is possible
only with formal techniques. Since a few years many researchers and research groups
are putting more and more effort in closing this gap by integrating semi-formal
and formal specification techniques. Their studies and experiences show the added
value of combining semi-formal and formal techniques and at the same time open
a whole range of new problems and questions which cannot be asked when studying
formalisms in isolation. In this seminar more than 40 scientists came together
in 28 talks and two panel discussions to study possibilities and solutions for
integrating and validating different formal and semi-formal specification techniques.
Similarities and differences of formal and semi-formal specification formalisms
as well as possibilities for combining such techniques were discussed. Most talks
of this seminar analysed, compared, or integrated at least two such methods. On
behalf of all participants the organizers would like to thank the staff of Schloss
Dagstuhl for providing an excellent environment to the conference. The support
of the TMR programme of the European Community is gratefully acknowledged. Due
to this programme it was possible to fund the participation of several young researchers
and of three key note speakers.'
citation:
ama: Engels G, Ehrig H, Orejas F, Wirsing M, eds. Semi-Formal and Formal Specification
Techniques. Vol 218. Schloss Dagstuhl, Leibniz Center for Informatics; 1998.
apa: Engels, G., Ehrig, H., Orejas, F., & Wirsing, M. (Eds.). (1998). Semi-Formal
and Formal Specification Techniques (Vol. 218). Schloss Dagstuhl, Leibniz
Center for Informatics.
bibtex: '@book{Engels_Ehrig_Orejas_Wirsing_1998, series={Dagstuhl-Seminar-Report},
title={Semi-Formal and Formal Specification Techniques}, volume={218}, publisher={Schloss
Dagstuhl, Leibniz Center for Informatics}, year={1998}, collection={Dagstuhl-Seminar-Report}
}'
chicago: Engels, Gregor, Hartmut Ehrig, Fernando Orejas, and M. Wirsing, eds. Semi-Formal
and Formal Specification Techniques. Vol. 218. Dagstuhl-Seminar-Report. Schloss
Dagstuhl, Leibniz Center for Informatics, 1998.
ieee: G. Engels, H. Ehrig, F. Orejas, and M. Wirsing, Eds., Semi-Formal and Formal
Specification Techniques, vol. 218. Schloss Dagstuhl, Leibniz Center for Informatics,
1998.
mla: Engels, Gregor, et al., editors. Semi-Formal and Formal Specification Techniques.
Vol. 218, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
short: G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal
Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
date_created: 2019-02-19T19:14:00Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Fernando
full_name: Orejas, Fernando
last_name: Orejas
- first_name: M.
full_name: Wirsing, M.
last_name: Wirsing
intvolume: ' 218'
language:
- iso: eng
publisher: Schloss Dagstuhl, Leibniz Center for Informatics
series_title: Dagstuhl-Seminar-Report
status: public
title: Semi-Formal and Formal Specification Techniques
type: conference_editor
user_id: '52534'
volume: 218
year: '1998'
...
---
_id: '7794'
citation:
ama: 'Engels G, Ehrig H, Kreowski H-J, Rozenberg G, eds. 6th International Workshop
on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected
Papers. Vol 1764. Berlin/Heidelberg: Springer; 1998.'
apa: 'Engels, G., Ehrig, H., Kreowski, H.-J., & Rozenberg, G. (Eds.). (1998).
6th International Workshop on Theory and Applications of Graph Transformations
(TAGT ’98), Paderborn, Selected Papers (Vol. 1764). Berlin/Heidelberg: Springer.'
bibtex: '@book{Engels_Ehrig_Kreowski_Rozenberg_1998, place={Berlin/Heidelberg},
series={LNCS}, title={6th International Workshop on Theory and Applications of
Graph Transformations (TAGT ’98), Paderborn, Selected Papers}, volume={1764},
publisher={Springer}, year={1998}, collection={LNCS} }'
chicago: 'Engels, Gregor, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg,
eds. 6th International Workshop on Theory and Applications of Graph Transformations
(TAGT ’98), Paderborn, Selected Papers. Vol. 1764. LNCS. Berlin/Heidelberg:
Springer, 1998.'
ieee: 'G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds., 6th International
Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn,
Selected Papers, vol. 1764. Berlin/Heidelberg: Springer, 1998.'
mla: Engels, Gregor, et al., editors. 6th International Workshop on Theory and
Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers.
Vol. 1764, Springer, 1998.
short: G. Engels, H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds., 6th International
Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn,
Selected Papers, Springer, Berlin/Heidelberg, 1998.
date_created: 2019-02-19T19:14:51Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Hans-Jörg
full_name: Kreowski, Hans-Jörg
last_name: Kreowski
- first_name: Grzegorz
full_name: Rozenberg, Grzegorz
last_name: Rozenberg
intvolume: ' 1764'
language:
- iso: eng
place: Berlin/Heidelberg
publisher: Springer
series_title: LNCS
status: public
title: 6th International Workshop on Theory and Applications of Graph Transformations
(TAGT '98), Paderborn, Selected Papers
type: conference_editor
user_id: '52534'
volume: 1764
year: '1998'
...
---
_id: '7843'
author:
- first_name: Ralph
full_name: Depke, Ralph
last_name: Depke
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Katharina
full_name: Mehner, Katharina
last_name: Mehner
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Ansatz zur Verbesserung
des Entwicklungsprozesses von Multimedia-Anwendungen. In: Proceedings of the
GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany). Vol 18. GI;
1998:12-19.'
apa: Depke, R., Engels, G., Mehner, K., Sauer, S., & Wagner, A. (1998). Ein
Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen.
In Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)
(Vol. 18, pp. 12–19). GI.
bibtex: '@inproceedings{Depke_Engels_Mehner_Sauer_Wagner_1998, title={Ein Ansatz
zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen}, volume={18},
number={3}, booktitle={Proceedings of the GI-Fachtagung on Softwaretechnik (1998),
Paderborn (Germany)}, publisher={GI}, author={Depke, Ralph and Engels, Gregor
and Mehner, Katharina and Sauer, Stefan and Wagner, Annika}, year={1998}, pages={12–19}
}'
chicago: Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika
Wagner. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.”
In Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany),
18:12–19. GI, 1998.
ieee: R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Ansatz zur Verbesserung
des Entwicklungsprozesses von Multimedia-Anwendungen,” in Proceedings of the
GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), 1998, vol. 18,
no. 3, pp. 12–19.
mla: Depke, Ralph, et al. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses
von Multimedia-Anwendungen.” Proceedings of the GI-Fachtagung on Softwaretechnik
(1998), Paderborn (Germany), vol. 18, no. 3, GI, 1998, pp. 12–19.
short: 'R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, in: Proceedings of
the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), GI, 1998, pp.
12–19.'
date_created: 2019-02-20T14:09:54Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 18'
issue: '3'
language:
- iso: eng
page: 12-19
publication: Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn
(Germany)
publisher: GI
status: public
title: Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen
type: conference
user_id: '52534'
volume: 18
year: '1998'
...
---
_id: '7844'
author:
- first_name: Klaus
full_name: Didrich, Klaus
last_name: Didrich
- first_name: Annika
full_name: Wagner, Annika
last_name: Wagner
citation:
ama: 'Didrich K, Wagner A. Integration of Single Pushout Transformation and Functional
Programming. In: Proceedings of the World Conference on Integrated Design and
Process Technology (IDPT 1998), Berlin (Germany). Vol 4. Society for Design
and Process Science; 1998:65-73.'
apa: Didrich, K., & Wagner, A. (1998). Integration of Single Pushout Transformation
and Functional Programming. In Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany) (Vol. 4, pp. 65–73).
Society for Design and Process Science.
bibtex: '@inproceedings{Didrich_Wagner_1998, title={Integration of Single Pushout
Transformation and Functional Programming}, volume={4}, booktitle={Proceedings
of the World Conference on Integrated Design and Process Technology (IDPT 1998),
Berlin (Germany)}, publisher={Society for Design and Process Science}, author={Didrich,
Klaus and Wagner, Annika}, year={1998}, pages={65–73} }'
chicago: Didrich, Klaus, and Annika Wagner. “Integration of Single Pushout Transformation
and Functional Programming.” In Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), 4:65–73. Society
for Design and Process Science, 1998.
ieee: K. Didrich and A. Wagner, “Integration of Single Pushout Transformation and
Functional Programming,” in Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), 1998, vol. 4,
pp. 65–73.
mla: Didrich, Klaus, and Annika Wagner. “Integration of Single Pushout Transformation
and Functional Programming.” Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), vol. 4, Society
for Design and Process Science, 1998, pp. 65–73.
short: 'K. Didrich, A. Wagner, in: Proceedings of the World Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design
and Process Science, 1998, pp. 65–73.'
date_created: 2019-02-20T14:10:57Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
intvolume: ' 4'
language:
- iso: eng
page: 65-73
publication: Proceedings of the World Conference on Integrated Design and Process
Technology (IDPT 1998), Berlin (Germany)
publisher: Society for Design and Process Science
status: public
title: Integration of Single Pushout Transformation and Functional Programming
type: conference
user_id: '52534'
volume: 4
year: '1998'
...
---
_id: '7845'
author:
- first_name: Alexey
full_name: Cherchago, Alexey
last_name: Cherchago
citation:
ama: 'Cherchago A. A generalized schema of a decision-making process of a SCENAR-therapeutist.
In: Proceedings of the Scientific and Technical Conference on Medical Information
Systems (MIS 1998), Taganrog (Russia). ; 1998.'
apa: Cherchago, A. (1998). A generalized schema of a decision-making process of
a SCENAR-therapeutist. In Proceedings of the Scientific and Technical Conference
on Medical Information Systems (MIS 1998), Taganrog (Russia).
bibtex: '@inproceedings{Cherchago_1998, title={A generalized schema of a decision-making
process of a SCENAR-therapeutist}, booktitle={Proceedings of the Scientific and
Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)},
author={Cherchago, Alexey}, year={1998} }'
chicago: Cherchago, Alexey. “A Generalized Schema of a Decision-Making Process of
a SCENAR-Therapeutist.” In Proceedings of the Scientific and Technical Conference
on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
ieee: A. Cherchago, “A generalized schema of a decision-making process of a SCENAR-therapeutist,”
in Proceedings of the Scientific and Technical Conference on Medical Information
Systems (MIS 1998), Taganrog (Russia), 1998.
mla: Cherchago, Alexey. “A Generalized Schema of a Decision-Making Process of a
SCENAR-Therapeutist.” Proceedings of the Scientific and Technical Conference
on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
short: 'A. Cherchago, in: Proceedings of the Scientific and Technical Conference
on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.'
date_created: 2019-02-20T14:11:26Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the Scientific and Technical Conference on Medical Information
Systems (MIS 1998), Taganrog (Russia)
status: public
title: A generalized schema of a decision-making process of a SCENAR-therapeutist
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '7847'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Heckel R. Compositional Verification of Reactive Systems Specified by Graph
Transformation. In: Proceedgins of the First International Conference on Fundamental
Approaches to Software Engineering (FASE 1998), Lisbon (Portugal). Vol 1382.
LNCS. Berlin/Heidelberg: Springer; 1998:138-153. doi:http://dx.doi.org/10.1007/BFb0053578'
apa: 'Heckel, R. (1998). Compositional Verification of Reactive Systems Specified
by Graph Transformation. In Proceedgins of the First International Conference
on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)
(Vol. 1382, pp. 138–153). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0053578'
bibtex: '@inproceedings{Heckel_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional
Verification of Reactive Systems Specified by Graph Transformation}, volume={1382},
DOI={http://dx.doi.org/10.1007/BFb0053578},
booktitle={Proceedgins of the First International Conference on Fundamental Approaches
to Software Engineering (FASE 1998), Lisbon (Portugal)}, publisher={Springer},
author={Heckel, Reiko}, year={1998}, pages={138–153}, collection={LNCS} }'
chicago: 'Heckel, Reiko. “Compositional Verification of Reactive Systems Specified
by Graph Transformation.” In Proceedgins of the First International Conference
on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal),
1382:138–53. LNCS. Berlin/Heidelberg: Springer, 1998. http://dx.doi.org/10.1007/BFb0053578.'
ieee: R. Heckel, “Compositional Verification of Reactive Systems Specified by Graph
Transformation,” in Proceedgins of the First International Conference on Fundamental
Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), 1998, vol.
1382, pp. 138–153.
mla: Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by
Graph Transformation.” Proceedgins of the First International Conference on
Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal),
vol. 1382, Springer, 1998, pp. 138–53, doi:http://dx.doi.org/10.1007/BFb0053578.
short: 'R. Heckel, in: Proceedgins of the First International Conference on Fundamental
Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg,
1998, pp. 138–153.'
date_created: 2019-02-20T14:11:57Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BFb0053578
intvolume: ' 1382'
language:
- iso: eng
page: 138-153
place: Berlin/Heidelberg
publication: Proceedgins of the First International Conference on Fundamental Approaches
to Software Engineering (FASE 1998), Lisbon (Portugal)
publisher: Springer
series_title: LNCS
status: public
title: Compositional Verification of Reactive Systems Specified by Graph Transformation
type: conference
user_id: '52534'
volume: 1382
year: '1998'
...
---
_id: '7848'
author:
- first_name: Julia
full_name: Padberg, Julia
last_name: Padberg
- first_name: Lars
full_name: Jansen, Lars
last_name: Jansen
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
citation:
ama: 'Padberg J, Jansen L, Heckel R, Ehrig H. Interoperability in Train Control
Systems: Specification of Scenarios Using Open Nets. In: Proceedings of the
Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany).
Society for Design and Process Science; 1998:17-28.'
apa: 'Padberg, J., Jansen, L., Heckel, R., & Ehrig, H. (1998). Interoperability
in Train Control Systems: Specification of Scenarios Using Open Nets. In Proceedings
of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin
(Germany) (pp. 17–28). Society for Design and Process Science.'
bibtex: '@inproceedings{Padberg_Jansen_Heckel_Ehrig_1998, title={Interoperability
in Train Control Systems: Specification of Scenarios Using Open Nets}, booktitle={Proceedings
of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin
(Germany)}, publisher={Society for Design and Process Science}, author={Padberg,
Julia and Jansen, Lars and Heckel, Reiko and Ehrig, Hartmut}, year={1998}, pages={17–28}
}'
chicago: 'Padberg, Julia, Lars Jansen, Reiko Heckel, and Hartmut Ehrig. “Interoperability
in Train Control Systems: Specification of Scenarios Using Open Nets.” In Proceedings
of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin
(Germany), 17–28. Society for Design and Process Science, 1998.'
ieee: 'J. Padberg, L. Jansen, R. Heckel, and H. Ehrig, “Interoperability in Train
Control Systems: Specification of Scenarios Using Open Nets,” in Proceedings
of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin
(Germany), 1998, pp. 17–28.'
mla: 'Padberg, Julia, et al. “Interoperability in Train Control Systems: Specification
of Scenarios Using Open Nets.” Proceedings of the Conference on Integrated
Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design
and Process Science, 1998, pp. 17–28.'
short: 'J. Padberg, L. Jansen, R. Heckel, H. Ehrig, in: Proceedings of the Conference
on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), Society
for Design and Process Science, 1998, pp. 17–28.'
date_created: 2019-02-20T14:12:20Z
date_updated: 2022-01-06T07:03:47Z
department:
- _id: '66'
language:
- iso: eng
page: 17-28
publication: Proceedings of the conference on Integrated Design and Process Technology
(IDPT 1998), Berlin (Germany)
publisher: Society for Design and Process Science
status: public
title: 'Interoperability in Train Control Systems: Specification of Scenarios Using
Open Nets'
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8109'
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
- first_name: R.
full_name: Stephan, R.
last_name: Stephan
citation:
ama: Krauter S, Stephan R. Establishing PV-Education in Rio de Janeiro. International
Journal of Electrical Engineering Education. 1998;35(2):139-146.
apa: Krauter, S., & Stephan, R. (1998). Establishing PV-Education in Rio de
Janeiro. International Journal of Electrical Engineering Education, 35(2),
139–146.
bibtex: '@article{Krauter_Stephan_1998, title={Establishing PV-Education in Rio
de Janeiro}, volume={35}, number={2}, journal={International Journal of Electrical
Engineering Education}, author={Krauter, Stefan and Stephan, R.}, year={1998},
pages={139–146} }'
chicago: 'Krauter, Stefan, and R. Stephan. “Establishing PV-Education in Rio de
Janeiro.” International Journal of Electrical Engineering Education 35,
no. 2 (1998): 139–46.'
ieee: S. Krauter and R. Stephan, “Establishing PV-Education in Rio de Janeiro,”
International Journal of Electrical Engineering Education, vol. 35, no.
2, pp. 139–146, 1998.
mla: Krauter, Stefan, and R. Stephan. “Establishing PV-Education in Rio de Janeiro.”
International Journal of Electrical Engineering Education, vol. 35, no.
2, 1998, pp. 139–46.
short: S. Krauter, R. Stephan, International Journal of Electrical Engineering Education
35 (1998) 139–146.
date_created: 2019-02-26T14:52:32Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '53'
extern: '1'
intvolume: ' 35'
issue: '2'
language:
- iso: eng
page: 139-146
publication: International Journal of Electrical Engineering Education
status: public
title: Establishing PV-Education in Rio de Janeiro
type: journal_article
user_id: '16148'
volume: 35
year: '1998'
...
---
_id: '8110'
author:
- first_name: M.
full_name: Salhi, M.
last_name: Salhi
- first_name: C.
full_name: Triebel, C.
last_name: Triebel
- first_name: R.
full_name: Lemoine, R.
last_name: Lemoine
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
- first_name: S.
full_name: Schroer, S.
last_name: Schroer
- first_name: R. G.
full_name: Araújo:, R. G.
last_name: 'Araújo:'
citation:
ama: 'Salhi M, Triebel C, Lemoine R, Krauter S, Schroer S, Araújo: RG. Hybrid Thermal
Insulating PV Facade Elements. In: Proceedings of the 2nd World Conference
on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC), Wien
(Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594. ; 1998.'
apa: Salhi, M., Triebel, C., Lemoine, R., Krauter, S., Schroer, S., & Araújo:,
R. G. (1998). Hybrid Thermal Insulating PV Facade Elements. In Proceedings
of the 2nd World Conference on Photovoltaic Energy Conversion (Joint Congress
of IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594.
bibtex: '@inproceedings{Salhi_Triebel_Lemoine_Krauter_Schroer_Araújo:_1998, title={Hybrid
Thermal Insulating PV Facade Elements}, booktitle={Proceedings of the 2nd World
Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC),
Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594.}, author={Salhi, M.
and Triebel, C. and Lemoine, R. and Krauter, Stefan and Schroer, S. and Araújo:,
R. G.}, year={1998} }'
chicago: 'Salhi, M., C. Triebel, R. Lemoine, Stefan Krauter, S. Schroer, and R.
G. Araújo: “Hybrid Thermal Insulating PV Facade Elements.” In Proceedings of
the 2nd World Conference on Photovoltaic Energy Conversion (Joint Congress of
IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594.,
1998.'
ieee: M. Salhi, C. Triebel, R. Lemoine, S. Krauter, S. Schroer, and R. G. Araújo:,
“Hybrid Thermal Insulating PV Facade Elements,” in Proceedings of the 2nd World
Conference on Photovoltaic Energy Conversion (Joint Congress of IEEE/PVSEC/EUPVSEC),
Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594., 1998.
mla: Salhi, M., et al. “Hybrid Thermal Insulating PV Facade Elements.” Proceedings
of the 2nd World Conference on Photovoltaic Energy Conversion (Joint Congress
of IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594.,
1998.
short: 'M. Salhi, C. Triebel, R. Lemoine, S. Krauter, S. Schroer, R.G. Araújo:,
in: Proceedings of the 2nd World Conference on Photovoltaic Energy Conversion
(Joint Congress of IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol.
3, S. 2591–2594., 1998.'
conference:
name: 2nd World Conference on Photovoltaic Energy Conversion (Joint Congress of
IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol. 3, S. 2591–2594.
date_created: 2019-02-26T14:57:27Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
publication: Proceedings of the 2nd World Conference on Photovoltaic Energy Conversion
(Joint Congress of IEEE/PVSEC/EUPVSEC), Wien (Österreich), 3.–7. Juni 1998, Vol.
3, S. 2591–2594.
status: public
title: Hybrid Thermal Insulating PV Facade Elements
type: conference
user_id: '16148'
year: '1998'
...
---
_id: '8111'
alternative_title:
- Fortschritts–Berichte
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
citation:
ama: 'Krauter S. Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken
Unter Berücksichtigung Der Reduktion Des Anthropogenen CO2–Ausstoßes. Düsseldorf:
VDI–Verlag; 1998.'
apa: 'Krauter, S. (1998). Fortschritts–Berichte: Energetische Bilanzierung von
Photovoltaik–Kraftwerken unter Berücksichtigung der Reduktion des anthropogenen
CO2–Ausstoßes. Düsseldorf: VDI–Verlag.'
bibtex: '@book{Krauter_1998, place={Düsseldorf}, series={Fortschritts–Berichte},
title={Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken
unter Berücksichtigung der Reduktion des anthropogenen CO2–Ausstoßes}, publisher={VDI–Verlag},
author={Krauter, Stefan}, year={1998}, collection={Fortschritts–Berichte} }'
chicago: 'Krauter, Stefan. Fortschritts–Berichte: Energetische Bilanzierung von
Photovoltaik–Kraftwerken Unter Berücksichtigung Der Reduktion Des Anthropogenen
CO2–Ausstoßes. Fortschritts–Berichte. Düsseldorf: VDI–Verlag, 1998.'
ieee: 'S. Krauter, Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken
unter Berücksichtigung der Reduktion des anthropogenen CO2–Ausstoßes. Düsseldorf:
VDI–Verlag, 1998.'
mla: 'Krauter, Stefan. Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken
Unter Berücksichtigung Der Reduktion Des Anthropogenen CO2–Ausstoßes. VDI–Verlag,
1998.'
short: 'S. Krauter, Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken
Unter Berücksichtigung Der Reduktion Des Anthropogenen CO2–Ausstoßes, VDI–Verlag,
Düsseldorf, 1998.'
date_created: 2019-02-26T15:00:47Z
date_updated: 2022-01-06T07:03:50Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
place: Düsseldorf
publisher: VDI–Verlag
series_title: Fortschritts–Berichte
status: public
title: 'Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken
unter Berücksichtigung der Reduktion des anthropogenen CO2–Ausstoßes'
type: book
user_id: '16148'
year: '1998'
...
---
_id: '8115'
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
- first_name: S.
full_name: Schroer, S.
last_name: Schroer
- first_name: R. G.
full_name: Araújo, R. G.
last_name: Araújo
- first_name: R.
full_name: Stephan, R.
last_name: Stephan
citation:
ama: 'Krauter S, Schroer S, Araújo RG, Stephan R. Thermisch aktive PV-Module zur
Fassadenintegration. In: Elftes Internationales Sonnenforum, 26.−30. Juli 1998,
Köln (Deutschland), S. 368–375. ; 1998.'
apa: Krauter, S., Schroer, S., Araújo, R. G., & Stephan, R. (1998). Thermisch
aktive PV-Module zur Fassadenintegration. In Elftes Internationales Sonnenforum,
26.−30. Juli 1998, Köln (Deutschland), S. 368–375.
bibtex: '@inproceedings{Krauter_Schroer_Araújo_Stephan_1998, title={Thermisch aktive
PV-Module zur Fassadenintegration}, booktitle={Elftes Internationales Sonnenforum,
26.−30. Juli 1998, Köln (Deutschland), S. 368–375}, author={Krauter, Stefan and
Schroer, S. and Araújo, R. G. and Stephan, R.}, year={1998} }'
chicago: Krauter, Stefan, S. Schroer, R. G. Araújo, and R. Stephan. “Thermisch Aktive
PV-Module Zur Fassadenintegration.” In Elftes Internationales Sonnenforum,
26.−30. Juli 1998, Köln (Deutschland), S. 368–375, 1998.
ieee: S. Krauter, S. Schroer, R. G. Araújo, and R. Stephan, “Thermisch aktive PV-Module
zur Fassadenintegration,” in Elftes Internationales Sonnenforum, 26.−30. Juli
1998, Köln (Deutschland), S. 368–375, 1998.
mla: Krauter, Stefan, et al. “Thermisch Aktive PV-Module Zur Fassadenintegration.”
Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland),
S. 368–375, 1998.
short: 'S. Krauter, S. Schroer, R.G. Araújo, R. Stephan, in: Elftes Internationales
Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375, 1998.'
conference:
name: Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland)
date_created: 2019-02-27T06:53:29Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
publication: Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland),
S. 368–375
status: public
title: Thermisch aktive PV-Module zur Fassadenintegration
type: conference
user_id: '16148'
year: '1998'
...
---
_id: '8116'
author:
- first_name: Stefan
full_name: Krauter, Stefan
id: '28836'
last_name: Krauter
orcid: 0000-0002-3594-260X
- first_name: R. G.
full_name: Araujo, R. G.
last_name: Araujo
- first_name: R.
full_name: Stephan, R.
last_name: Stephan
- first_name: Rolf
full_name: Hanitsch, Rolf
last_name: Hanitsch
- first_name: K.
full_name: Onneken, K.
last_name: Onneken
- first_name: S.
full_name: Schroer, S.
last_name: Schroer
- first_name: Volker
full_name: Quaschning, Volker
last_name: Quaschning
citation:
ama: 'Krauter S, Araujo RG, Stephan R, et al. Aufbau einer universitären Ausbildungsmöglichkeit
für photovoltische Energiesysteme in Rio de Janeiro. In: Elftes Internationales
Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872. ; 1998.'
apa: Krauter, S., Araujo, R. G., Stephan, R., Hanitsch, R., Onneken, K., Schroer,
S., & Quaschning, V. (1998). Aufbau einer universitären Ausbildungsmöglichkeit
für photovoltische Energiesysteme in Rio de Janeiro. In Elftes Internationales
Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872.
bibtex: '@inproceedings{Krauter_Araujo_Stephan_Hanitsch_Onneken_Schroer_Quaschning_1998,
title={Aufbau einer universitären Ausbildungsmöglichkeit für photovoltische Energiesysteme
in Rio de Janeiro}, booktitle={Elftes Internationales Sonnenforum, 26.−30. Juli
1998, Köln (Deutschland), S. 868–872}, author={Krauter, Stefan and Araujo, R.
G. and Stephan, R. and Hanitsch, Rolf and Onneken, K. and Schroer, S. and Quaschning,
Volker}, year={1998} }'
chicago: Krauter, Stefan, R. G. Araujo, R. Stephan, Rolf Hanitsch, K. Onneken, S.
Schroer, and Volker Quaschning. “Aufbau Einer Universitären Ausbildungsmöglichkeit
Für Photovoltische Energiesysteme in Rio de Janeiro.” In Elftes Internationales
Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872, 1998.
ieee: S. Krauter et al., “Aufbau einer universitären Ausbildungsmöglichkeit
für photovoltische Energiesysteme in Rio de Janeiro,” in Elftes Internationales
Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872, 1998.
mla: Krauter, Stefan, et al. “Aufbau Einer Universitären Ausbildungsmöglichkeit
Für Photovoltische Energiesysteme in Rio de Janeiro.” Elftes Internationales
Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872, 1998.
short: 'S. Krauter, R.G. Araujo, R. Stephan, R. Hanitsch, K. Onneken, S. Schroer,
V. Quaschning, in: Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln
(Deutschland), S. 868–872, 1998.'
conference:
name: Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland)
date_created: 2019-02-27T06:57:56Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '53'
extern: '1'
language:
- iso: eng
publication: Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland),
S. 868–872
status: public
title: Aufbau einer universitären Ausbildungsmöglichkeit für photovoltische Energiesysteme
in Rio de Janeiro
type: conference
user_id: '16148'
year: '1998'
...
---
_id: '8202'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Silvia
full_name: Kolmschlag, Silvia
last_name: Kolmschlag
citation:
ama: Engels G, Kolmschlag S. Electronic Commerce Systeme Als Anwendungsbeispiel
Für Evolutionstechniken. University of Paderborn, C-LAB; 1998.
apa: Engels, G., & Kolmschlag, S. (1998). Electronic Commerce Systeme als
Anwendungsbeispiel für Evolutionstechniken. University of Paderborn, C-LAB.
bibtex: '@book{Engels_Kolmschlag_1998, title={Electronic Commerce Systeme als Anwendungsbeispiel
für Evolutionstechniken}, publisher={University of Paderborn, C-LAB}, author={Engels,
Gregor and Kolmschlag, Silvia}, year={1998} }'
chicago: Engels, Gregor, and Silvia Kolmschlag. Electronic Commerce Systeme Als
Anwendungsbeispiel Für Evolutionstechniken. University of Paderborn, C-LAB,
1998.
ieee: G. Engels and S. Kolmschlag, Electronic Commerce Systeme als Anwendungsbeispiel
für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
mla: Engels, Gregor, and Silvia Kolmschlag. Electronic Commerce Systeme Als Anwendungsbeispiel
Für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
short: G. Engels, S. Kolmschlag, Electronic Commerce Systeme Als Anwendungsbeispiel
Für Evolutionstechniken, University of Paderborn, C-LAB, 1998.
date_created: 2019-03-03T16:12:59Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, C-LAB
report_number: 06/98
status: public
title: Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken
type: report
user_id: '52534'
year: '1998'
...
---
_id: '8280'
author:
- first_name: Silvia
full_name: Kolmschlag, Silvia
last_name: Kolmschlag
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Kolmschlag S, Engels G. Unterstützung der Flexibilität eines Electronic Commerce
Systems durch Evolutionstechniken. In: Proceedings of the Workshop on “Integration
Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik
1998), Magdeburg (Germany). GI; 1998:13-24.'
apa: Kolmschlag, S., & Engels, G. (1998). Unterstützung der Flexibilität eines
Electronic Commerce Systems durch Evolutionstechniken. In Proceedings of the
workshop on “Integration heterogener Softwaresysteme” (satellite event of the
GI-Jahrestagung Informatik 1998), Magdeburg (Germany) (pp. 13–24). GI.
bibtex: '@inproceedings{Kolmschlag_Engels_1998, title={Unterstützung der Flexibilität
eines Electronic Commerce Systems durch Evolutionstechniken}, booktitle={Proceedings
of the workshop on “Integration heterogener Softwaresysteme” (satellite event
of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)}, publisher={GI},
author={Kolmschlag, Silvia and Engels, Gregor}, year={1998}, pages={13–24} }'
chicago: Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität
Eines Electronic Commerce Systems Durch Evolutionstechniken.” In Proceedings
of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event
of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), 13–24. GI, 1998.
ieee: S. Kolmschlag and G. Engels, “Unterstützung der Flexibilität eines Electronic
Commerce Systems durch Evolutionstechniken,” in Proceedings of the workshop
on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung
Informatik 1998), Magdeburg (Germany), 1998, pp. 13–24.
mla: Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität Eines
Electronic Commerce Systems Durch Evolutionstechniken.” Proceedings of the
Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the
GI-Jahrestagung Informatik 1998), Magdeburg (Germany), GI, 1998, pp. 13–24.
short: 'S. Kolmschlag, G. Engels, in: Proceedings of the Workshop on “Integration
Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik
1998), Magdeburg (Germany), GI, 1998, pp. 13–24.'
date_created: 2019-03-04T12:25:47Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 13-24
publication: Proceedings of the workshop on "Integration heterogener Softwaresysteme"
(satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)
publisher: GI
status: public
title: Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8281'
author:
- first_name: Andrea
full_name: Corradini, Andrea
last_name: Corradini
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
citation:
ama: 'Corradini A, Große-Rhode M, Heckel R. Structured Transition Systems as Lax
Coalgebras. In: Proceedings of the First Workshop on Coalgebraic Methods in
Computer Science (CMCS 1998), Lisbon (Portugal). Vol 11. Electronic Notes
in Theoretical Computer Science. Elsevier; 1998.'
apa: Corradini, A., Große-Rhode, M., & Heckel, R. (1998). Structured Transition
Systems as Lax Coalgebras. In Proceedings of the First Workshop on Coalgebraic
Methods in Computer Science (CMCS 1998), Lisbon (Portugal) (Vol. 11). Elsevier.
bibtex: '@inproceedings{Corradini_Große-Rhode_Heckel_1998, series={Electronic Notes
in Theoretical Computer Science}, title={Structured Transition Systems as Lax
Coalgebras}, volume={11}, booktitle={Proceedings of the First Workshop on Coalgebraic
Methods in Computer Science (CMCS 1998), Lisbon (Portugal)}, publisher={Elsevier},
author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1998},
collection={Electronic Notes in Theoretical Computer Science} }'
chicago: Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “Structured Transition
Systems as Lax Coalgebras.” In Proceedings of the First Workshop on Coalgebraic
Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Vol. 11. Electronic
Notes in Theoretical Computer Science. Elsevier, 1998.
ieee: A. Corradini, M. Große-Rhode, and R. Heckel, “Structured Transition Systems
as Lax Coalgebras,” in Proceedings of the First Workshop on Coalgebraic Methods
in Computer Science (CMCS 1998), Lisbon (Portugal), 1998, vol. 11.
mla: Corradini, Andrea, et al. “Structured Transition Systems as Lax Coalgebras.”
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science
(CMCS 1998), Lisbon (Portugal), vol. 11, Elsevier, 1998.
short: 'A. Corradini, M. Große-Rhode, R. Heckel, in: Proceedings of the First Workshop
on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Elsevier,
1998.'
date_created: 2019-03-04T12:25:48Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
intvolume: ' 11'
language:
- iso: eng
publication: Proceedings of the First Workshop on Coalgebraic Methods in Computer
Science (CMCS 1998), Lisbon (Portugal)
publisher: Elsevier
series_title: Electronic Notes in Theoretical Computer Science
status: public
title: Structured Transition Systems as Lax Coalgebras
type: conference
user_id: '52534'
volume: 11
year: '1998'
...
---
_id: '8282'
author:
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Berthold
full_name: Hoffmann, Berthold
last_name: Hoffmann
- first_name: Peter
full_name: Knirsch, Peter
last_name: Knirsch
- first_name: Sabine
full_name: Kuske, Sabine
last_name: Kuske
citation:
ama: 'Heckel R, Hoffmann B, Knirsch P, Kuske S. Simple Modules for Grace. In: Selected
Papers of the 6th International Workshop on Theory and Application of Graph Transformation
(TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg: Springer;
1998:215-224.'
apa: 'Heckel, R., Hoffmann, B., Knirsch, P., & Kuske, S. (1998). Simple Modules
for Grace. In Selected papers of the 6th International Workshop on Theory and
Application of Graph Transformation (TAGT 1998), Paderborn (Germany) (Vol.
1764, pp. 215–224). Berlin/Heidelberg: Springer.'
bibtex: '@inproceedings{Heckel_Hoffmann_Knirsch_Kuske_1998, place={Berlin/Heidelberg},
series={LNCS}, title={Simple Modules for Grace}, volume={1764}, booktitle={Selected
papers of the 6th International Workshop on Theory and Application of Graph Transformation
(TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Heckel, Reiko
and Hoffmann, Berthold and Knirsch, Peter and Kuske, Sabine}, year={1998}, pages={215–224},
collection={LNCS} }'
chicago: 'Heckel, Reiko, Berthold Hoffmann, Peter Knirsch, and Sabine Kuske. “Simple
Modules for Grace.” In Selected Papers of the 6th International Workshop on
Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany),
1764:215–24. LNCS. Berlin/Heidelberg: Springer, 1998.'
ieee: R. Heckel, B. Hoffmann, P. Knirsch, and S. Kuske, “Simple Modules for Grace,”
in Selected papers of the 6th International Workshop on Theory and Application
of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998, vol. 1764,
pp. 215–224.
mla: Heckel, Reiko, et al. “Simple Modules for Grace.” Selected Papers of the
6th International Workshop on Theory and Application of Graph Transformation (TAGT
1998), Paderborn (Germany), vol. 1764, Springer, 1998, pp. 215–24.
short: 'R. Heckel, B. Hoffmann, P. Knirsch, S. Kuske, in: Selected Papers of the
6th International Workshop on Theory and Application of Graph Transformation (TAGT
1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 215–224.'
date_created: 2019-03-04T12:25:50Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
page: 215-224
place: Berlin/Heidelberg
publication: Selected papers of the 6th International Workshop on Theory and Application
of Graph Transformation (TAGT 1998), Paderborn (Germany)
publisher: Springer
series_title: LNCS
status: public
title: Simple Modules for Grace
type: conference
user_id: '52534'
volume: '1764 '
year: '1998'
...
---
_id: '8283'
abstract:
- lang: eng
text: A general framework is presented for extending graph transformation and other
rule-based formalisms in such a way that transformations with incomplete information
can be handled. This extension is motivated by the need to model the behaviour
of open systems in different application areas using graph transformations and
Petri nets. The following two problems are central within this general framework.
1. Characterization of transformations with incomplete information. 2. Recovery
of information from incomplete transformations. A solution for these problems
is presented for algebraic graph transformations and Petri nets using the new
concepts of graph transitions based on double pullbacks and open nets based on
autonomous actions for open places. Moreover, the problems are discussed for DNA-computing
and other rule-based formalisms.
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Julia
full_name: Padberg, Julia
last_name: Padberg
- first_name: Grzegorz
full_name: Rozenberg, Grzegorz
last_name: Rozenberg
citation:
ama: 'Ehrig H, Heckel R, Padberg J, Rozenberg G. Graph Transformation and Other
Rule-Based Formalisms with Incomplete Information. In: Proceedings of the 6th
International Workshop on Theory and Application of Graph Transformation (TAGT
1998), Paderborn (Germany). ; 1998.'
apa: Ehrig, H., Heckel, R., Padberg, J., & Rozenberg, G. (1998). Graph Transformation
and Other Rule-Based Formalisms with Incomplete Information. In Proceedings
of the 6th International Workshop on Theory and Application of Graph Transformation
(TAGT 1998), Paderborn (Germany).
bibtex: '@inproceedings{Ehrig_Heckel_Padberg_Rozenberg_1998, title={Graph Transformation
and Other Rule-Based Formalisms with Incomplete Information}, booktitle={Proceedings
of the 6th International Workshop on Theory and Application of Graph Transformation
(TAGT 1998), Paderborn (Germany)}, author={Ehrig, Hartmut and Heckel, Reiko and
Padberg, Julia and Rozenberg, Grzegorz}, year={1998} }'
chicago: Ehrig, Hartmut, Reiko Heckel, Julia Padberg, and Grzegorz Rozenberg. “Graph
Transformation and Other Rule-Based Formalisms with Incomplete Information.” In
Proceedings of the 6th International Workshop on Theory and Application of
Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
ieee: H. Ehrig, R. Heckel, J. Padberg, and G. Rozenberg, “Graph Transformation and
Other Rule-Based Formalisms with Incomplete Information,” in Proceedings of
the 6th International Workshop on Theory and Application of Graph Transformation
(TAGT 1998), Paderborn (Germany), 1998.
mla: Ehrig, Hartmut, et al. “Graph Transformation and Other Rule-Based Formalisms
with Incomplete Information.” Proceedings of the 6th International Workshop
on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany),
1998.
short: 'H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg, in: Proceedings of the 6th
International Workshop on Theory and Application of Graph Transformation (TAGT
1998), Paderborn (Germany), 1998.'
date_created: 2019-03-04T12:25:51Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
language:
- iso: eng
publication: Proceedings of the 6th International Workshop on Theory and Application
of Graph Transformation (TAGT 1998), Paderborn (Germany)
status: public
title: Graph Transformation and Other Rule-Based Formalisms with Incomplete Information
type: conference
user_id: '52534'
year: '1998'
...
---
_id: '8284'
author:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Reiko
full_name: Heckel, Reiko
last_name: Heckel
- first_name: Mercé
full_name: Llabrés, Mercé
last_name: Llabrés
- first_name: Fernando
full_name: Orejas, Fernando
last_name: Orejas
- first_name: Julia
full_name: Padberg, Julia
last_name: Padberg
- first_name: Grzegorz
full_name: Rozenberg, Grzegorz
last_name: Rozenberg
citation:
ama: 'Ehrig H, Heckel R, Llabrés M, Orejas F, Padberg J, Rozenberg G. Double-Pullback
Graph Transitions: A Rule-Based Framework with Incomplete Information. In: Selected
Papers from the 6th International Workshop on Theory and Application of Graph
Transformations (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg:
Springer; 1998:85-102. doi:http://dx.doi.org/10.1007/b75045'
apa: 'Ehrig, H., Heckel, R., Llabrés, M., Orejas, F., Padberg, J., & Rozenberg,
G. (1998). Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete
Information. In Selected papers from the 6th International Workshop on Theory
and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)
(Vol. 1764, pp. 85–102). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b75045'
bibtex: '@inproceedings{Ehrig_Heckel_Llabrés_Orejas_Padberg_Rozenberg_1998, place={Berlin/Heidelberg},
series={LNCS}, title={Double-Pullback Graph Transitions: A Rule-Based Framework
with Incomplete Information}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045},
booktitle={Selected papers from the 6th International Workshop on Theory and Application
of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer},
author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando
and Padberg, Julia and Rozenberg, Grzegorz}, year={1998}, pages={85–102}, collection={LNCS}
}'
chicago: 'Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, Fernando Orejas, Julia Padberg,
and Grzegorz Rozenberg. “Double-Pullback Graph Transitions: A Rule-Based Framework
with Incomplete Information.” In Selected Papers from the 6th International
Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn
(Germany), 1764:85–102. LNCS. Berlin/Heidelberg: Springer, 1998. http://dx.doi.org/10.1007/b75045.'
ieee: 'H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, and G. Rozenberg,
“Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information,”
in Selected papers from the 6th International Workshop on Theory and Application
of Graph Transformations (TAGT 1998), Paderborn (Germany), 1998, vol. 1764,
pp. 85–102.'
mla: 'Ehrig, Hartmut, et al. “Double-Pullback Graph Transitions: A Rule-Based Framework
with Incomplete Information.” Selected Papers from the 6th International Workshop
on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany),
vol. 1764, Springer, 1998, pp. 85–102, doi:http://dx.doi.org/10.1007/b75045.'
short: 'H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, G. Rozenberg, in:
Selected Papers from the 6th International Workshop on Theory and Application
of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg,
1998, pp. 85–102.'
date_created: 2019-03-04T12:25:52Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/b75045
intvolume: ' 1764'
language:
- iso: eng
page: 85-102
place: Berlin/Heidelberg
publication: Selected papers from the 6th International Workshop on Theory and Application
of Graph Transformations (TAGT 1998), Paderborn (Germany)
publisher: Springer
series_title: LNCS
status: public
title: 'Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete
Information'
type: conference
user_id: '52534'
volume: 1764
year: '1998'
...