[{"language":[{"iso":"eng"}],"_id":"21785","user_id":"14955","department":[{"_id":"65"}],"status":"public","type":"conference","publication":"Proceedings. Computer Graphics International (Cat. No.98EX149)","title":"Visualization of geographic data using VRML-an Internet client, for a geographic information system (GIS)","doi":"10.1109/CGI.1998.694258","date_updated":"2022-01-06T06:55:13Z","date_created":"2021-04-25T17:35:27Z","author":[{"first_name":"J.","last_name":"D. Stuwe","full_name":"D. Stuwe, J."},{"first_name":"C.","full_name":"Lenz, C.","last_name":"Lenz"},{"last_name":"Domik","id":"90","full_name":"Domik, Gitta","first_name":"Gitta"}],"volume":1,"year":"1998","citation":{"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 <i>Proceedings. Computer Graphics International (Cat. No.98EX149)</i>, 1:111–12, 1998. <a href=\"https://doi.org/10.1109/CGI.1998.694258\">https://doi.org/10.1109/CGI.1998.694258</a>.","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 <i>Proceedings. Computer Graphics International (Cat. No.98EX149)</i>, 1998, vol. 1, pp. 111–112.","ama":"D. Stuwe J, Lenz C, Domik G. Visualization of geographic data using VRML-an Internet client, for a geographic information system (GIS). In: <i>Proceedings. Computer Graphics International (Cat. No.98EX149)</i>. Vol 1. ; 1998:111-112. doi:<a href=\"https://doi.org/10.1109/CGI.1998.694258\">10.1109/CGI.1998.694258</a>","apa":"D. Stuwe, J., Lenz, C., &#38; Domik, G. (1998). Visualization of geographic data using VRML-an Internet client, for a geographic information system (GIS). In <i>Proceedings. Computer Graphics International (Cat. No.98EX149)</i> (Vol. 1, pp. 111–112). <a href=\"https://doi.org/10.1109/CGI.1998.694258\">https://doi.org/10.1109/CGI.1998.694258</a>","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={<a href=\"https://doi.org/10.1109/CGI.1998.694258\">10.1109/CGI.1998.694258</a>}, booktitle={Proceedings. Computer Graphics International (Cat. No.98EX149)}, author={D. Stuwe, J. and Lenz, C. and Domik, Gitta}, year={1998}, pages={111–112} }","short":"J. D. Stuwe, C. Lenz, G. Domik, in: Proceedings. Computer Graphics International (Cat. No.98EX149), 1998, pp. 111–112.","mla":"D. Stuwe, J., et al. “Visualization of Geographic Data Using VRML-an Internet Client, for a Geographic Information System (GIS).” <i>Proceedings. Computer Graphics International (Cat. No.98EX149)</i>, vol. 1, 1998, pp. 111–12, doi:<a href=\"https://doi.org/10.1109/CGI.1998.694258\">10.1109/CGI.1998.694258</a>."},"page":"111-112","intvolume":"         1"},{"publication_identifier":{"isbn":["978-3-540-69792-3"]},"citation":{"ama":"Scheideler C. <i>Universal Routing Strategies for Interconnection Networks</i>. Vol 1390.; 1998. doi:<a href=\"https://doi.org/10.1007/BFb0052928\">10.1007/BFb0052928</a>","chicago":"Scheideler, Christian. <i>Universal Routing Strategies for Interconnection Networks</i>. Vol. 1390. Lecture Notes in Computer Science, 1998. <a href=\"https://doi.org/10.1007/BFb0052928\">https://doi.org/10.1007/BFb0052928</a>.","ieee":"C. Scheideler, <i>Universal Routing Strategies for Interconnection Networks</i>, vol. 1390. 1998.","bibtex":"@book{Scheideler_1998, series={Lecture Notes in Computer Science}, title={Universal Routing Strategies for Interconnection Networks}, volume={1390}, DOI={<a href=\"https://doi.org/10.1007/BFb0052928\">10.1007/BFb0052928</a>}, author={Scheideler, Christian}, year={1998}, collection={Lecture Notes in Computer Science} }","short":"C. Scheideler, Universal Routing Strategies for Interconnection Networks, 1998.","mla":"Scheideler, Christian. <i>Universal Routing Strategies for Interconnection Networks</i>. Vol. 1390, 1998, doi:<a href=\"https://doi.org/10.1007/BFb0052928\">10.1007/BFb0052928</a>.","apa":"Scheideler, C. (1998). <i>Universal Routing Strategies for Interconnection Networks</i> (Vol. 1390). <a href=\"https://doi.org/10.1007/BFb0052928\">https://doi.org/10.1007/BFb0052928</a>"},"intvolume":"      1390","year":"1998","author":[{"last_name":"Scheideler","id":"20792","full_name":"Scheideler, Christian","first_name":"Christian"}],"date_created":"2018-04-03T09:38:18Z","volume":1390,"date_updated":"2022-01-06T06:55:17Z","doi":"10.1007/BFb0052928","title":"Universal Routing Strategies for Interconnection Networks","type":"book","status":"public","user_id":"14955","series_title":"Lecture Notes in Computer Science","department":[{"_id":"79"},{"_id":"63"}],"_id":"2185","language":[{"iso":"eng"}]},{"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."}],"editor":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"full_name":"Orejas, Fernando","last_name":"Orejas","first_name":"Fernando"},{"full_name":"Wirsing, M.","last_name":"Wirsing","first_name":"M."}],"status":"public","type":"conference_editor","language":[{"iso":"eng"}],"_id":"7793","user_id":"52534","series_title":"Dagstuhl-Seminar-Report","department":[{"_id":"66"}],"year":"1998","citation":{"apa":"Engels, G., Ehrig, H., Orejas, F., &#38; Wirsing, M. (Eds.). (1998). <i>Semi-Formal and Formal Specification Techniques</i> (Vol. 218). Schloss Dagstuhl, Leibniz Center for Informatics.","short":"G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.","mla":"Engels, Gregor, et al., editors. <i>Semi-Formal and Formal Specification Techniques</i>. Vol. 218, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.","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} }","ama":"Engels G, Ehrig H, Orejas F, Wirsing M, eds. <i>Semi-Formal and Formal Specification Techniques</i>. Vol 218. Schloss Dagstuhl, Leibniz Center for Informatics; 1998.","chicago":"Engels, Gregor, Hartmut Ehrig, Fernando Orejas, and M. Wirsing, eds. <i>Semi-Formal and Formal Specification Techniques</i>. Vol. 218. Dagstuhl-Seminar-Report. Schloss Dagstuhl, Leibniz Center for Informatics, 1998.","ieee":"G. Engels, H. Ehrig, F. Orejas, and M. Wirsing, Eds., <i>Semi-Formal and Formal Specification Techniques</i>, vol. 218. Schloss Dagstuhl, Leibniz Center for Informatics, 1998."},"intvolume":"       218","title":"Semi-Formal and Formal Specification Techniques","date_updated":"2022-01-06T07:03:46Z","publisher":"Schloss Dagstuhl, Leibniz Center for Informatics","date_created":"2019-02-19T19:14:00Z","volume":218},{"editor":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"first_name":"Hans-Jörg","full_name":"Kreowski, Hans-Jörg","last_name":"Kreowski"},{"first_name":"Grzegorz","last_name":"Rozenberg","full_name":"Rozenberg, Grzegorz"}],"status":"public","type":"conference_editor","language":[{"iso":"eng"}],"_id":"7794","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","year":"1998","place":"Berlin/Heidelberg","intvolume":"      1764","citation":{"ama":"Engels G, Ehrig H, Kreowski H-J, Rozenberg G, eds. <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i>. Vol 1764. Berlin/Heidelberg: Springer; 1998.","chicago":"Engels, Gregor, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, eds. <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i>. Vol. 1764. LNCS. Berlin/Heidelberg: Springer, 1998.","ieee":"G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds., <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i>, vol. 1764. Berlin/Heidelberg: Springer, 1998.","apa":"Engels, G., Ehrig, H., Kreowski, H.-J., &#38; Rozenberg, G. (Eds.). (1998). <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i> (Vol. 1764). Berlin/Heidelberg: Springer.","mla":"Engels, Gregor, et al., editors. <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i>. Vol. 1764, Springer, 1998.","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} }","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."},"title":"6th International Workshop on Theory and Applications of Graph Transformations (TAGT '98), Paderborn, Selected Papers","publisher":"Springer","date_updated":"2022-01-06T07:03:46Z","volume":1764,"date_created":"2019-02-19T19:14:51Z"},{"publisher":"GI","date_updated":"2022-01-06T07:03:47Z","volume":18,"author":[{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"},{"last_name":"Wagner","full_name":"Wagner, Annika","first_name":"Annika"}],"date_created":"2019-02-20T14:09:54Z","title":"Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen","issue":"3","year":"1998","intvolume":"        18","page":"12-19","citation":{"ama":"Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In: <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i>. Vol 18. GI; 1998:12-19.","ieee":"R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen,” in <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i>, 1998, vol. 18, no. 3, pp. 12–19.","chicago":"Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika Wagner. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.” In <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i>, 18:12–19. GI, 1998.","mla":"Depke, Ralph, et al. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.” <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i>, vol. 18, no. 3, GI, 1998, pp. 12–19.","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} }","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.","apa":"Depke, R., Engels, G., Mehner, K., Sauer, S., &#38; Wagner, A. (1998). Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i> (Vol. 18, pp. 12–19). GI."},"_id":"7843","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)","type":"conference","status":"public"},{"date_updated":"2022-01-06T07:03:47Z","publisher":"Society for Design and Process Science","volume":4,"author":[{"first_name":"Klaus","full_name":"Didrich, Klaus","last_name":"Didrich"},{"first_name":"Annika","full_name":"Wagner, Annika","last_name":"Wagner"}],"date_created":"2019-02-20T14:10:57Z","title":"Integration of Single Pushout Transformation and Functional Programming","year":"1998","intvolume":"         4","page":"65-73","citation":{"apa":"Didrich, K., &#38; Wagner, A. (1998). Integration of Single Pushout Transformation and Functional Programming. In <i>Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i> (Vol. 4, pp. 65–73). Society for Design and Process Science.","mla":"Didrich, Klaus, and Annika Wagner. “Integration of Single Pushout Transformation and Functional Programming.” <i>Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i>, 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.","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} }","ieee":"K. Didrich and A. Wagner, “Integration of Single Pushout Transformation and Functional Programming,” in <i>Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i>, 1998, vol. 4, pp. 65–73.","chicago":"Didrich, Klaus, and Annika Wagner. “Integration of Single Pushout Transformation and Functional Programming.” In <i>Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i>, 4:65–73. Society for Design and Process Science, 1998.","ama":"Didrich K, Wagner A. Integration of Single Pushout Transformation and Functional Programming. In: <i>Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i>. Vol 4. Society for Design and Process Science; 1998:65-73."},"_id":"7844","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)","type":"conference","status":"public"},{"author":[{"last_name":"Cherchago","full_name":"Cherchago, Alexey","first_name":"Alexey"}],"date_created":"2019-02-20T14:11:26Z","date_updated":"2022-01-06T07:03:47Z","title":"A generalized schema of a decision-making process of a SCENAR-therapeutist","citation":{"ama":"Cherchago A. A generalized schema of a decision-making process of a SCENAR-therapeutist. In: <i>Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)</i>. ; 1998.","chicago":"Cherchago, Alexey. “A Generalized Schema of a Decision-Making Process of a SCENAR-Therapeutist.” In <i>Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)</i>, 1998.","ieee":"A. Cherchago, “A generalized schema of a decision-making process of a SCENAR-therapeutist,” in <i>Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)</i>, 1998.","mla":"Cherchago, Alexey. “A Generalized Schema of a Decision-Making Process of a SCENAR-Therapeutist.” <i>Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)</i>, 1998.","short":"A. Cherchago, in: Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.","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} }","apa":"Cherchago, A. (1998). A generalized schema of a decision-making process of a SCENAR-therapeutist. In <i>Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)</i>."},"year":"1998","department":[{"_id":"66"}],"user_id":"52534","_id":"7845","language":[{"iso":"eng"}],"publication":"Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)","type":"conference","status":"public"},{"doi":"http://dx.doi.org/10.1007/BFb0053578","title":"Compositional Verification of Reactive Systems Specified by Graph Transformation","date_created":"2019-02-20T14:11:57Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"volume":1382,"publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","citation":{"chicago":"Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” In <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i>, 1382:138–53. LNCS. Berlin/Heidelberg: Springer, 1998. <a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>.","ieee":"R. Heckel, “Compositional Verification of Reactive Systems Specified by Graph Transformation,” in <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i>, 1998, vol. 1382, pp. 138–153.","ama":"Heckel R. Compositional Verification of Reactive Systems Specified by Graph Transformation. In: <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i>. Vol 1382. LNCS. Berlin/Heidelberg: Springer; 1998:138-153. doi:<a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>","apa":"Heckel, R. (1998). Compositional Verification of Reactive Systems Specified by Graph Transformation. In <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i> (Vol. 1382, pp. 138–153). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>","mla":"Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” <i>Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)</i>, vol. 1382, Springer, 1998, pp. 138–53, doi:<a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>.","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.","bibtex":"@inproceedings{Heckel_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional Verification of Reactive Systems Specified by Graph Transformation}, volume={1382}, DOI={<a href=\"http://dx.doi.org/10.1007/BFb0053578\">http://dx.doi.org/10.1007/BFb0053578</a>}, 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} }"},"page":"138-153","intvolume":"      1382","place":"Berlin/Heidelberg","year":"1998","language":[{"iso":"eng"}],"series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"_id":"7847","status":"public","type":"conference","publication":"Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)"},{"publisher":"Society for Design and Process Science","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-20T14:12:20Z","author":[{"first_name":"Julia","last_name":"Padberg","full_name":"Padberg, Julia"},{"full_name":"Jansen, Lars","last_name":"Jansen","first_name":"Lars"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"first_name":"Hartmut","full_name":"Ehrig, Hartmut","last_name":"Ehrig"}],"title":"Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets","year":"1998","page":"17-28","citation":{"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.","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} }","mla":"Padberg, Julia, et al. “Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets.” <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i>, Society for Design and Process Science, 1998, pp. 17–28.","apa":"Padberg, J., Jansen, L., Heckel, R., &#38; Ehrig, H. (1998). Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets. In <i>Proceedings of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i> (pp. 17–28). Society for Design and Process Science.","chicago":"Padberg, Julia, Lars Jansen, Reiko Heckel, and Hartmut Ehrig. “Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets.” In <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i>, 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 <i>Proceedings of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i>, 1998, pp. 17–28.","ama":"Padberg J, Jansen L, Heckel R, Ehrig H. Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets. In: <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)</i>. Society for Design and Process Science; 1998:17-28."},"_id":"7848","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)","type":"conference","status":"public"},{"date_updated":"2022-01-06T07:03:50Z","volume":35,"author":[{"first_name":"Stefan","id":"28836","full_name":"Krauter, Stefan","last_name":"Krauter","orcid":"0000-0002-3594-260X"},{"first_name":"R.","last_name":"Stephan","full_name":"Stephan, R."}],"date_created":"2019-02-26T14:52:32Z","title":"Establishing PV-Education in Rio de Janeiro","issue":"2","year":"1998","intvolume":"        35","page":"139-146","citation":{"mla":"Krauter, Stefan, and R. Stephan. “Establishing PV-Education in Rio de Janeiro.” <i>International Journal of Electrical Engineering Education</i>, vol. 35, no. 2, 1998, pp. 139–46.","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} }","short":"S. Krauter, R. Stephan, International Journal of Electrical Engineering Education 35 (1998) 139–146.","apa":"Krauter, S., &#38; Stephan, R. (1998). Establishing PV-Education in Rio de Janeiro. <i>International Journal of Electrical Engineering Education</i>, <i>35</i>(2), 139–146.","ieee":"S. Krauter and R. Stephan, “Establishing PV-Education in Rio de Janeiro,” <i>International Journal of Electrical Engineering Education</i>, vol. 35, no. 2, pp. 139–146, 1998.","chicago":"Krauter, Stefan, and R. Stephan. “Establishing PV-Education in Rio de Janeiro.” <i>International Journal of Electrical Engineering Education</i> 35, no. 2 (1998): 139–46.","ama":"Krauter S, Stephan R. Establishing PV-Education in Rio de Janeiro. <i>International Journal of Electrical Engineering Education</i>. 1998;35(2):139-146."},"_id":"8109","department":[{"_id":"53"}],"user_id":"16148","extern":"1","language":[{"iso":"eng"}],"publication":"International Journal of Electrical Engineering Education","type":"journal_article","status":"public"},{"date_updated":"2022-01-06T07:03:50Z","date_created":"2019-02-26T14:57:27Z","author":[{"full_name":"Salhi, M.","last_name":"Salhi","first_name":"M."},{"first_name":"C.","last_name":"Triebel","full_name":"Triebel, C."},{"full_name":"Lemoine, R.","last_name":"Lemoine","first_name":"R."},{"full_name":"Krauter, Stefan","id":"28836","last_name":"Krauter","orcid":"0000-0002-3594-260X","first_name":"Stefan"},{"first_name":"S.","full_name":"Schroer, S.","last_name":"Schroer"},{"first_name":"R. G.","last_name":"Araújo:","full_name":"Araújo:, R. G."}],"title":"Hybrid Thermal Insulating PV Facade Elements","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."},"year":"1998","citation":{"ama":"Salhi M, Triebel C, Lemoine R, Krauter S, Schroer S, Araújo: RG. Hybrid Thermal Insulating PV Facade Elements. In: <i>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.</i> ; 1998.","chicago":"Salhi, M., C. Triebel, R. Lemoine, Stefan Krauter, S. Schroer, and R. G. Araújo: “Hybrid Thermal Insulating PV Facade Elements.” In <i>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.</i>, 1998.","ieee":"M. Salhi, C. Triebel, R. Lemoine, S. Krauter, S. Schroer, and R. G. Araújo:, “Hybrid Thermal Insulating PV Facade Elements,” in <i>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.</i>, 1998.","apa":"Salhi, M., Triebel, C., Lemoine, R., Krauter, S., Schroer, S., &#38; Araújo:, R. G. (1998). Hybrid Thermal Insulating PV Facade Elements. In <i>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.</i>","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.","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} }","mla":"Salhi, M., et al. “Hybrid Thermal Insulating PV Facade Elements.” <i>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.</i>, 1998."},"_id":"8110","department":[{"_id":"53"}],"user_id":"16148","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.","type":"conference","status":"public"},{"date_updated":"2022-01-06T07:03:50Z","publisher":"VDI–Verlag","date_created":"2019-02-26T15:00:47Z","author":[{"full_name":"Krauter, Stefan","id":"28836","orcid":"0000-0002-3594-260X","last_name":"Krauter","first_name":"Stefan"}],"title":"Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken unter Berücksichtigung der Reduktion des anthropogenen CO2–Ausstoßes","year":"1998","place":"Düsseldorf","citation":{"apa":"Krauter, S. (1998). <i>Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken unter Berücksichtigung der Reduktion des anthropogenen CO2–Ausstoßes</i>. Düsseldorf: VDI–Verlag.","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.","mla":"Krauter, Stefan. <i>Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken Unter Berücksichtigung Der Reduktion Des Anthropogenen CO2–Ausstoßes</i>. VDI–Verlag, 1998.","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} }","ama":"Krauter S. <i>Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken Unter Berücksichtigung Der Reduktion Des Anthropogenen CO2–Ausstoßes</i>. Düsseldorf: VDI–Verlag; 1998.","chicago":"Krauter, Stefan. <i>Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken Unter Berücksichtigung Der Reduktion Des Anthropogenen CO2–Ausstoßes</i>. Fortschritts–Berichte. Düsseldorf: VDI–Verlag, 1998.","ieee":"S. Krauter, <i>Fortschritts–Berichte: Energetische Bilanzierung von Photovoltaik–Kraftwerken unter Berücksichtigung der Reduktion des anthropogenen CO2–Ausstoßes</i>. Düsseldorf: VDI–Verlag, 1998."},"_id":"8111","series_title":"Fortschritts–Berichte","user_id":"16148","department":[{"_id":"53"}],"alternative_title":["Fortschritts–Berichte"],"extern":"1","language":[{"iso":"eng"}],"type":"book","status":"public"},{"title":"Thermisch aktive PV-Module zur Fassadenintegration","conference":{"name":"Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland)"},"date_updated":"2022-01-06T07:03:51Z","author":[{"first_name":"Stefan","last_name":"Krauter","orcid":"0000-0002-3594-260X","id":"28836","full_name":"Krauter, Stefan"},{"full_name":"Schroer, S.","last_name":"Schroer","first_name":"S."},{"first_name":"R. G.","full_name":"Araújo, R. G.","last_name":"Araújo"},{"first_name":"R.","last_name":"Stephan","full_name":"Stephan, R."}],"date_created":"2019-02-27T06:53:29Z","year":"1998","citation":{"ieee":"S. Krauter, S. Schroer, R. G. Araújo, and R. Stephan, “Thermisch aktive PV-Module zur Fassadenintegration,” in <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375</i>, 1998.","chicago":"Krauter, Stefan, S. Schroer, R. G. Araújo, and R. Stephan. “Thermisch Aktive PV-Module Zur Fassadenintegration.” In <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375</i>, 1998.","ama":"Krauter S, Schroer S, Araújo RG, Stephan R. Thermisch aktive PV-Module zur Fassadenintegration. In: <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375</i>. ; 1998.","mla":"Krauter, Stefan, et al. “Thermisch Aktive PV-Module Zur Fassadenintegration.” <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375</i>, 1998.","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} }","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.","apa":"Krauter, S., Schroer, S., Araújo, R. G., &#38; Stephan, R. (1998). Thermisch aktive PV-Module zur Fassadenintegration. In <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375</i>."},"language":[{"iso":"eng"}],"extern":"1","_id":"8115","user_id":"16148","department":[{"_id":"53"}],"status":"public","type":"conference","publication":"Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 368–375"},{"type":"conference","publication":"Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872","status":"public","_id":"8116","user_id":"16148","department":[{"_id":"53"}],"language":[{"iso":"eng"}],"extern":"1","year":"1998","citation":{"ieee":"S. Krauter <i>et al.</i>, “Aufbau einer universitären Ausbildungsmöglichkeit für photovoltische Energiesysteme in Rio de Janeiro,” in <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872</i>, 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 <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872</i>, 1998.","ama":"Krauter S, Araujo RG, Stephan R, et al. Aufbau einer universitären Ausbildungsmöglichkeit für photovoltische Energiesysteme in Rio de Janeiro. In: <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872</i>. ; 1998.","apa":"Krauter, S., Araujo, R. G., Stephan, R., Hanitsch, R., Onneken, K., Schroer, S., &#38; Quaschning, V. (1998). Aufbau einer universitären Ausbildungsmöglichkeit für photovoltische Energiesysteme in Rio de Janeiro. In <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872</i>.","mla":"Krauter, Stefan, et al. “Aufbau Einer Universitären Ausbildungsmöglichkeit Für Photovoltische Energiesysteme in Rio de Janeiro.” <i>Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland), S. 868–872</i>, 1998.","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} }","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."},"date_updated":"2022-01-06T07:03:51Z","date_created":"2019-02-27T06:57:56Z","author":[{"id":"28836","full_name":"Krauter, Stefan","last_name":"Krauter","orcid":"0000-0002-3594-260X","first_name":"Stefan"},{"first_name":"R. G.","last_name":"Araujo","full_name":"Araujo, R. G."},{"full_name":"Stephan, R.","last_name":"Stephan","first_name":"R."},{"first_name":"Rolf","last_name":"Hanitsch","full_name":"Hanitsch, Rolf"},{"first_name":"K.","full_name":"Onneken, K.","last_name":"Onneken"},{"first_name":"S.","full_name":"Schroer, S.","last_name":"Schroer"},{"first_name":"Volker","last_name":"Quaschning","full_name":"Quaschning, Volker"}],"title":"Aufbau einer universitären Ausbildungsmöglichkeit für photovoltische Energiesysteme in Rio de Janeiro","conference":{"name":"Elftes Internationales Sonnenforum, 26.−30. Juli 1998, Köln (Deutschland)"}},{"user_id":"52534","department":[{"_id":"66"}],"_id":"8202","language":[{"iso":"eng"}],"report_number":"06/98","type":"report","status":"public","date_created":"2019-03-03T16:12:59Z","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"Silvia","full_name":"Kolmschlag, Silvia","last_name":"Kolmschlag"}],"publisher":"University of Paderborn, C-LAB","date_updated":"2022-01-06T07:03:52Z","title":"Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken","citation":{"chicago":"Engels, Gregor, and Silvia Kolmschlag. <i>Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken</i>. University of Paderborn, C-LAB, 1998.","ieee":"G. Engels and S. Kolmschlag, <i>Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken</i>. University of Paderborn, C-LAB, 1998.","ama":"Engels G, Kolmschlag S. <i>Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken</i>. University of Paderborn, C-LAB; 1998.","apa":"Engels, G., &#38; Kolmschlag, S. (1998). <i>Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken</i>. 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} }","short":"G. Engels, S. Kolmschlag, Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken, University of Paderborn, C-LAB, 1998.","mla":"Engels, Gregor, and Silvia Kolmschlag. <i>Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken</i>. University of Paderborn, C-LAB, 1998."},"year":"1998"},{"status":"public","type":"conference","publication":"Proceedings of the workshop on \"Integration heterogener Softwaresysteme\" (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"8280","citation":{"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.","mla":"Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität Eines Electronic Commerce Systems Durch Evolutionstechniken.” <i>Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i>, GI, 1998, pp. 13–24.","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} }","apa":"Kolmschlag, S., &#38; Engels, G. (1998). Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken. In <i>Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i> (pp. 13–24). GI.","ieee":"S. Kolmschlag and G. Engels, “Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken,” in <i>Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i>, 1998, pp. 13–24.","chicago":"Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität Eines Electronic Commerce Systems Durch Evolutionstechniken.” In <i>Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i>, 13–24. GI, 1998.","ama":"Kolmschlag S, Engels G. Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken. In: <i>Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i>. GI; 1998:13-24."},"page":"13-24","year":"1998","title":"Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken","date_created":"2019-03-04T12:25:47Z","author":[{"full_name":"Kolmschlag, Silvia","last_name":"Kolmschlag","first_name":"Silvia"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"date_updated":"2022-01-06T07:03:53Z","publisher":"GI"},{"publication":"Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)","type":"conference","status":"public","_id":"8281","department":[{"_id":"66"}],"series_title":"Electronic Notes in Theoretical Computer Science","user_id":"52534","language":[{"iso":"eng"}],"year":"1998","intvolume":"        11","citation":{"ama":"Corradini A, Große-Rhode M, Heckel R. Structured Transition Systems as Lax Coalgebras. In: <i>Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)</i>. 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 <i>Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)</i>, 1998, vol. 11.","chicago":"Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “Structured Transition Systems as Lax Coalgebras.” In <i>Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)</i>, Vol. 11. Electronic Notes in Theoretical Computer Science. Elsevier, 1998.","apa":"Corradini, A., Große-Rhode, M., &#38; Heckel, R. (1998). Structured Transition Systems as Lax Coalgebras. In <i>Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)</i> (Vol. 11). Elsevier.","mla":"Corradini, Andrea, et al. “Structured Transition Systems as Lax Coalgebras.” <i>Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)</i>, vol. 11, Elsevier, 1998.","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} }","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_updated":"2022-01-06T07:03:53Z","publisher":"Elsevier","volume":11,"date_created":"2019-03-04T12:25:48Z","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"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"title":"Structured Transition Systems as Lax Coalgebras"},{"status":"public","publication":"Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","_id":"8282","page":"215-224","citation":{"ama":"Heckel R, Hoffmann B, Knirsch P, Kuske S. Simple Modules for Grace. In: <i>Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Vol 1764. LNCS. Berlin/Heidelberg: Springer; 1998:215-224.","chicago":"Heckel, Reiko, Berthold Hoffmann, Peter Knirsch, and Sabine Kuske. “Simple Modules for Grace.” In <i>Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1764:215–24. LNCS. Berlin/Heidelberg: Springer, 1998.","ieee":"R. Heckel, B. Hoffmann, P. Knirsch, and S. Kuske, “Simple Modules for Grace,” in <i>Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998, vol. 1764, pp. 215–224.","apa":"Heckel, R., Hoffmann, B., Knirsch, P., &#38; Kuske, S. (1998). Simple Modules for Grace. In <i>Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i> (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} }","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.","mla":"Heckel, Reiko, et al. “Simple Modules for Grace.” <i>Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, vol. 1764, Springer, 1998, pp. 215–24."},"place":"Berlin/Heidelberg","year":"1998","title":"Simple Modules for Grace","volume":"1764 ","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"first_name":"Berthold","last_name":"Hoffmann","full_name":"Hoffmann, Berthold"},{"full_name":"Knirsch, Peter","last_name":"Knirsch","first_name":"Peter"},{"full_name":"Kuske, Sabine","last_name":"Kuske","first_name":"Sabine"}],"date_created":"2019-03-04T12:25:50Z","date_updated":"2022-01-06T07:03:53Z","publisher":"Springer"},{"title":"Graph Transformation and Other Rule-Based Formalisms with Incomplete Information","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-04T12:25:51Z","author":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"full_name":"Padberg, Julia","last_name":"Padberg","first_name":"Julia"},{"last_name":"Rozenberg","full_name":"Rozenberg, Grzegorz","first_name":"Grzegorz"}],"year":"1998","citation":{"ieee":"H. Ehrig, R. Heckel, J. Padberg, and G. Rozenberg, “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","chicago":"Ehrig, Hartmut, Reiko Heckel, Julia Padberg, and Grzegorz Rozenberg. “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","ama":"Ehrig H, Heckel R, Padberg J, Rozenberg G. Graph Transformation and Other Rule-Based Formalisms with Incomplete Information. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. ; 1998.","apa":"Ehrig, H., Heckel, R., Padberg, J., &#38; Rozenberg, G. (1998). Graph Transformation and Other Rule-Based Formalisms with Incomplete Information. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>.","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} }","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.","mla":"Ehrig, Hartmut, et al. “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998."},"language":[{"iso":"eng"}],"_id":"8283","user_id":"52534","department":[{"_id":"66"}],"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."}],"status":"public","type":"conference","publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)"},{"title":"Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information","doi":"http://dx.doi.org/10.1007/b75045","date_updated":"2022-01-06T07:03:53Z","publisher":"Springer","date_created":"2019-03-04T12:25:52Z","author":[{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"full_name":"Llabrés, Mercé","last_name":"Llabrés","first_name":"Mercé"},{"first_name":"Fernando","last_name":"Orejas","full_name":"Orejas, Fernando"},{"first_name":"Julia","last_name":"Padberg","full_name":"Padberg, Julia"},{"first_name":"Grzegorz","full_name":"Rozenberg, Grzegorz","last_name":"Rozenberg"}],"volume":1764,"place":"Berlin/Heidelberg","year":"1998","citation":{"mla":"Ehrig, Hartmut, et al. “Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.” <i>Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, vol. 1764, Springer, 1998, pp. 85–102, doi:<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>.","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={<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>}, 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} }","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.","apa":"Ehrig, H., Heckel, R., Llabrés, M., Orejas, F., Padberg, J., &#38; Rozenberg, G. (1998). Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. In <i>Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i> (Vol. 1764, pp. 85–102). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>","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 <i>Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, 1764:85–102. LNCS. Berlin/Heidelberg: Springer, 1998. <a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>.","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 <i>Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, 1998, vol. 1764, pp. 85–102.","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: <i>Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>. Vol 1764. LNCS. Berlin/Heidelberg: Springer; 1998:85-102. doi:<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>"},"intvolume":"      1764","page":"85-102","language":[{"iso":"eng"}],"_id":"8284","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)"}]