[{"department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-20T14:11:26Z","citation":{"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>.","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.","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.","short":"A. Cherchago, 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.” <i>Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)</i>, 1998.","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.","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} }"},"publication":"Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)","user_id":"52534","language":[{"iso":"eng"}],"_id":"7845","date_updated":"2022-01-06T07:03:47Z","author":[{"last_name":"Cherchago","first_name":"Alexey","full_name":"Cherchago, Alexey"}],"title":"A generalized schema of a decision-making process of a SCENAR-therapeutist","year":"1998","status":"public"},{"doi":"http://dx.doi.org/10.1007/BFb0053578","user_id":"52534","volume":1382,"page":"138-153","language":[{"iso":"eng"}],"_id":"7847","series_title":"LNCS","publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","intvolume":"      1382","title":"Compositional Verification of Reactive Systems Specified by Graph Transformation","status":"public","year":"1998","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"type":"conference","department":[{"_id":"66"}],"place":"Berlin/Heidelberg","date_created":"2019-02-20T14:11:57Z","publication":"Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)","citation":{"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>.","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>","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} }","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>","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.","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>.","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."}},{"page":"17-28","_id":"7848","language":[{"iso":"eng"}],"publisher":"Society for Design and Process Science","user_id":"52534","year":"1998","title":"Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets","status":"public","author":[{"full_name":"Padberg, Julia","last_name":"Padberg","first_name":"Julia"},{"last_name":"Jansen","first_name":"Lars","full_name":"Jansen, Lars"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"}],"date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-20T14:12:20Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)","citation":{"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.","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} }","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.","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.","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.","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."}},{"department":[{"_id":"66"}],"type":"report","date_created":"2019-03-03T16:12:59Z","report_number":"06/98","citation":{"ieee":"G. Engels and S. Kolmschlag, <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.","mla":"Engels, Gregor, and Silvia Kolmschlag. <i>Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken</i>. University of Paderborn, C-LAB, 1998.","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} }","ama":"Engels G, Kolmschlag S. <i>Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken</i>. 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.","chicago":"Engels, Gregor, and Silvia Kolmschlag. <i>Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken</i>. University of Paderborn, C-LAB, 1998."},"user_id":"52534","_id":"8202","language":[{"iso":"eng"}],"publisher":"University of Paderborn, C-LAB","date_updated":"2022-01-06T07:03:52Z","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"first_name":"Silvia","last_name":"Kolmschlag","full_name":"Kolmschlag, Silvia"}],"title":"Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken","status":"public","year":"1998"},{"language":[{"iso":"eng"}],"_id":"8280","publisher":"GI","page":"13-24","user_id":"52534","author":[{"first_name":"Silvia","last_name":"Kolmschlag","full_name":"Kolmschlag, Silvia"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"}],"title":"Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken","year":"1998","status":"public","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-04T12:25:47Z","department":[{"_id":"66"}],"type":"conference","citation":{"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.","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.","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.","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.","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."},"publication":"Proceedings of the workshop on \"Integration heterogener Softwaresysteme\" (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)"},{"_id":"8281","publisher":"Elsevier","language":[{"iso":"eng"}],"series_title":"Electronic Notes in Theoretical Computer Science","user_id":"52534","volume":11,"year":"1998","title":"Structured Transition Systems as Lax Coalgebras","status":"public","author":[{"full_name":"Corradini, Andrea","last_name":"Corradini","first_name":"Andrea"},{"first_name":"Martin","last_name":"Große-Rhode","full_name":"Große-Rhode, Martin"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_updated":"2022-01-06T07:03:53Z","intvolume":"        11","date_created":"2019-03-04T12:25:48Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)","citation":{"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.","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.","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.","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."}},{"citation":{"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.","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.","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} }","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.","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.","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.","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."},"publication":"Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-04T12:25:50Z","place":"Berlin/Heidelberg","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Hoffmann","first_name":"Berthold","full_name":"Hoffmann, Berthold"},{"last_name":"Knirsch","first_name":"Peter","full_name":"Knirsch, Peter"},{"full_name":"Kuske, Sabine","first_name":"Sabine","last_name":"Kuske"}],"year":"1998","title":"Simple Modules for Grace","status":"public","volume":"1764 ","user_id":"52534","language":[{"iso":"eng"}],"_id":"8282","series_title":"LNCS","publisher":"Springer","page":"215-224"},{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-04T12:25:51Z","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."}],"publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","citation":{"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.","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.","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>.","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.","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.","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} }","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."},"user_id":"52534","language":[{"iso":"eng"}],"_id":"8283","date_updated":"2022-01-06T07:03:53Z","status":"public","title":"Graph Transformation and Other Rule-Based Formalisms with Incomplete Information","year":"1998","author":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Padberg, Julia","first_name":"Julia","last_name":"Padberg"},{"full_name":"Rozenberg, Grzegorz","first_name":"Grzegorz","last_name":"Rozenberg"}]},{"intvolume":"      1764","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"full_name":"Llabrés, Mercé","last_name":"Llabrés","first_name":"Mercé"},{"full_name":"Orejas, Fernando","last_name":"Orejas","first_name":"Fernando"},{"full_name":"Padberg, Julia","first_name":"Julia","last_name":"Padberg"},{"full_name":"Rozenberg, Grzegorz","last_name":"Rozenberg","first_name":"Grzegorz"}],"title":"Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information","status":"public","year":"1998","volume":1764,"doi":"http://dx.doi.org/10.1007/b75045","user_id":"52534","_id":"8284","publisher":"Springer","language":[{"iso":"eng"}],"series_title":"LNCS","page":"85-102","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: <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>","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} }","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>.","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.","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>.","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>","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."},"publication":"Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)","department":[{"_id":"66"}],"type":"conference","place":"Berlin/Heidelberg","date_created":"2019-03-04T12:25:52Z"},{"language":[{"iso":"eng"}],"_id":"8285","publisher":"University of Paderborn","page":"122-131","user_id":"52534","author":[{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Taentzer","first_name":"Gabriele","full_name":"Taentzer, Gabriele"}],"title":"Classification and Comparison of Modularity Concepts for Graph Transformation Systems","year":"1998","status":"public","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-04T12:25:53Z","department":[{"_id":"66"}],"type":"conference","citation":{"apa":"Ehrig, H., Engels, G., Heckel, R., &#38; Taentzer, G. (1998). Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i> (pp. 122–131). University of Paderborn.","ieee":"H. Ehrig, G. Engels, R. Heckel, and G. Taentzer, “Classification and Comparison of Modularity Concepts for Graph Transformation Systems,” in <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>, 1998, no. tr-ri-98-201, pp. 122–131.","short":"H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.","chicago":"Ehrig, Hartmut, Gregor Engels, Reiko Heckel, and Gabriele Taentzer. “Classification and Comparison of Modularity Concepts for Graph Transformation Systems.” In <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>, 122–31. University of Paderborn, 1998.","mla":"Ehrig, Hartmut, et al. “Classification and Comparison of Modularity Concepts for Graph Transformation Systems.” <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>, no. tr-ri-98-201, University of Paderborn, 1998, pp. 122–31.","ama":"Ehrig H, Engels G, Heckel R, Taentzer G. Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In: <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>. University of Paderborn; 1998:122-131.","bibtex":"@inproceedings{Ehrig_Engels_Heckel_Taentzer_1998, title={Classification and Comparison of Modularity Concepts for Graph Transformation Systems}, number={tr-ri-98-201}, booktitle={Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)}, publisher={University of Paderborn}, author={Ehrig, Hartmut and Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele}, year={1998}, pages={122–131} }"},"issue":"tr-ri-98-201","publication":"Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT '98), Paderborn (Germany)","abstract":[{"text":"This paper presents a systematic approach for classifying and comparing modularity concepts that have been proposed for graph transformation systems. The approach is based on the following observation: Modules and module interconnections consist of basic specifications (forming, e.g., a module's body, import, or export interface), and relations between such specifications, like the implementation relation between export and body of a module. Hence, a natural approach for characterizing a module concept is to answer the following three questions: 1. What are the basic specifications? 2. Which relations between specifications are used? 3. How are specifications and relations combined to modules and interconnections? In this paper, these questions are considered in some detail for the following module concepts for graph transformation systems.","lang":"eng"}]},{"language":[{"iso":"eng"}],"_id":"8286","user_id":"52534","author":[{"last_name":"Gadducci","first_name":"Fabio","full_name":"Gadducci, Fabio"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Manuel","last_name":"Koch","full_name":"Koch, Manuel"}],"title":"Model Checking Graph-Interpreted Temporal Formulas","year":"1998","status":"public","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-04T12:25:54Z","place":"Paderborn","department":[{"_id":"66"}],"type":"conference","citation":{"short":"F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.","chicago":"Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Model Checking Graph-Interpreted Temporal Formulas.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn, 1998.","ieee":"F. Gadducci, R. Heckel, and M. Koch, “Model Checking Graph-Interpreted Temporal Formulas,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","apa":"Gadducci, F., Heckel, R., &#38; Koch, M. (1998). Model Checking Graph-Interpreted Temporal Formulas. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn.","bibtex":"@inproceedings{Gadducci_Heckel_Koch_1998, place={Paderborn}, title={Model Checking Graph-Interpreted Temporal Formulas}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1998} }","ama":"Gadducci F, Heckel R, Koch M. Model Checking Graph-Interpreted Temporal Formulas. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn; 1998.","mla":"Gadducci, Fabio, et al. “Model Checking Graph-Interpreted Temporal Formulas.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998."},"publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)"},{"author":[{"first_name":"Fabio","last_name":"Gadducci","full_name":"Gadducci, Fabio"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Llabrés, Mercé","last_name":"Llabrés","first_name":"Mercé"}],"status":"public","year":"1998","title":"DPO Derivations via Disconnected Rules","date_updated":"2022-01-06T07:03:53Z","_id":"8287","language":[{"iso":"eng"}],"user_id":"52534","citation":{"ieee":"F. Gadducci, R. Heckel, and M. Llabrés, “DPO Derivations via Disconnected Rules,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","apa":"Gadducci, F., Heckel, R., &#38; Llabrés, M. (1998). DPO Derivations via Disconnected Rules. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>.","chicago":"Gadducci, Fabio, Reiko Heckel, and Mercé Llabrés. “DPO Derivations via Disconnected Rules.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","short":"F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.","mla":"Gadducci, Fabio, et al. “DPO Derivations via Disconnected Rules.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","bibtex":"@inproceedings{Gadducci_Heckel_Llabrés_1998, title={DPO Derivations via Disconnected Rules}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1998} }","ama":"Gadducci F, Heckel R, Llabrés M. DPO Derivations via Disconnected Rules. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. ; 1998."},"publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","date_created":"2019-03-04T12:25:55Z","department":[{"_id":"66"}],"type":"conference"},{"abstract":[{"lang":"eng","text":"The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to employ such active database mechanisms, the rule processing component of traditional active database systems needs to be modified. This paper introduces a new model for event processing and presents a new algorithm for the composition of complex events in a mobile database environment. Furthermore, the model also takes into account the possibility of broadcast data. To validate the feasibility of the model, a prototype has been built using object-oriented technology."}],"citation":{"chicago":"Sauer, Stefan, and Olaf Zukunft. “Event Processing in Mobile and Active Database Systems Using Broadcasts.” In <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>, 420–26. Washington, DC, USA: IEEE Computer Society, 1998.","short":"S. Sauer, O. Zukunft, in: Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria), IEEE Computer Society, Washington, DC, USA, 1998, pp. 420–426.","ieee":"S. Sauer and O. Zukunft, “Event Processing in Mobile and Active Database Systems Using Broadcasts,” in <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>, 1998, pp. 420–426.","apa":"Sauer, S., &#38; Zukunft, O. (1998). Event Processing in Mobile and Active Database Systems Using Broadcasts. In <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i> (pp. 420–426). Washington, DC, USA: IEEE Computer Society.","bibtex":"@inproceedings{Sauer_Zukunft_1998, place={Washington, DC, USA}, title={Event Processing in Mobile and Active Database Systems Using Broadcasts}, booktitle={Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Zukunft, Olaf}, year={1998}, pages={420–426} }","ama":"Sauer S, Zukunft O. Event Processing in Mobile and Active Database Systems Using Broadcasts. In: <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>. Washington, DC, USA: IEEE Computer Society; 1998:420-426.","mla":"Sauer, Stefan, and Olaf Zukunft. “Event Processing in Mobile and Active Database Systems Using Broadcasts.” <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>, IEEE Computer Society, 1998, pp. 420–26."},"publication":"Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)","department":[{"_id":"66"}],"type":"conference","place":"Washington, DC, USA","date_created":"2019-03-04T12:25:57Z","date_updated":"2022-01-06T07:03:53Z","author":[{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"},{"first_name":"Olaf","last_name":"Zukunft","full_name":"Zukunft, Olaf"}],"title":"Event Processing in Mobile and Active Database Systems Using Broadcasts","status":"public","year":"1998","user_id":"52534","_id":"8288","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society","page":"420-426"},{"publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","citation":{"bibtex":"@inproceedings{Ehrig_Heckel_Llabrés_Orejas_1998, title={Construction and Characterisation of Double-Pullback Graph Transitions}, 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 Llabrés, Mercé and Orejas, Fernando}, year={1998} }","ama":"Ehrig H, Heckel R, Llabrés M, Orejas F. Construction and Characterisation of Double-Pullback Graph Transitions. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. ; 1998.","mla":"Ehrig, Hartmut, et al. “Construction and Characterisation of Double-Pullback Graph Transitions.” <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, Mercé Llabrés, and Fernando Orejas. “Construction and Characterisation of Double-Pullback Graph Transitions.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","short":"H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.","ieee":"H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, “Construction and Characterisation of Double-Pullback Graph Transitions,” 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., Llabrés, M., &#38; Orejas, F. (1998). Construction and Characterisation of Double-Pullback Graph Transitions. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-04T12:25:58Z","date_updated":"2022-01-06T07:03:53Z","status":"public","title":"Construction and Characterisation of Double-Pullback Graph Transitions","year":"1998","author":[{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Llabrés, Mercé","last_name":"Llabrés","first_name":"Mercé"},{"last_name":"Orejas","first_name":"Fernando","full_name":"Orejas, Fernando"}],"user_id":"52534","_id":"8289","language":[{"iso":"eng"}]},{"type":"dissertation","department":[{"_id":"66"}],"date_created":"2019-02-06T14:30:48Z","citation":{"short":"R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, 1998.","chicago":"Heckel, Reiko. <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>, 1998.","apa":"Heckel, R. (1998). <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>.","ieee":"R. Heckel, <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>. 1998.","ama":"Heckel R. <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>.; 1998.","bibtex":"@book{Heckel_1998, title={Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems}, author={Heckel, Reiko}, year={1998} }","mla":"Heckel, Reiko. <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>. 1998."},"user_id":"52534","_id":"7587","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:40Z","year":"1998","status":"public","title":"Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}]},{"_id":"7795","publisher":"Springer","series_title":"Informatik: Forschung und Entwicklung","language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1007/s004500050085","user_id":"52534","editor":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"}],"volume":12,"year":"1997","status":"public","title":"Themenheft: Softwaretechnik","date_updated":"2022-01-06T07:03:46Z","intvolume":"        12","place":"Berlin/Heidelberg","date_created":"2019-02-19T19:15:50Z","type":"conference_editor","department":[{"_id":"66"}],"issue":"4","citation":{"bibtex":"@book{Engels_1997, place={Berlin/Heidelberg}, series={Informatik: Forschung und Entwicklung}, title={Themenheft: Softwaretechnik}, volume={12}, DOI={<a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>}, number={4}, publisher={Springer}, year={1997}, collection={Informatik: Forschung und Entwicklung} }","ama":"Engels G, ed. <i>Themenheft: Softwaretechnik</i>. Vol 12. Berlin/Heidelberg: Springer; 1997. doi:<a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>","mla":"Engels, Gregor, editor. <i>Themenheft: Softwaretechnik</i>. Vol. 12, no. 4, Springer, 1997, doi:<a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>.","short":"G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.","chicago":"Engels, Gregor, ed. <i>Themenheft: Softwaretechnik</i>. Vol. 12. Informatik: Forschung Und Entwicklung. Berlin/Heidelberg: Springer, 1997. <a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>.","ieee":"G. Engels, Ed., <i>Themenheft: Softwaretechnik</i>, vol. 12, no. 4. Berlin/Heidelberg: Springer, 1997.","apa":"Engels, G. (Ed.). (1997). <i>Themenheft: Softwaretechnik</i> (Vol. 12). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>"}},{"doi":"http://dx.doi.org/10.1007/3-540-63531-9","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"      1301","title":"A View-Oriented Approach to System Modelling Using Graph Transformations","year":"1997","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Taentzer, Gabriele","first_name":"Gabriele","last_name":"Taentzer"},{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"}],"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-20T14:06:52Z","abstract":[{"lang":"eng","text":"The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specification technique based on graph transformations which supports such a development approach. The use of graphs and graph transformations supports an intuitive understanding and an integration of static and dynamic aspects on a well-defined semantical base. On this background, formal notions of view and view relation are developed and the behaviour of views is described by a loose semantics. We define a construction for automatic view integration which assumes that the dependencies between different views are described by a reference model. The views and the reference model are kept consistent manually, which is the task of a model manager. All concepts and results are illustrated at the well-known example of a banking system."}],"publication":"Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)","user_id":"52534","editor":[{"full_name":"Jazayeri, M.","last_name":"Jazayeri","first_name":"M."},{"first_name":"H.","last_name":"Schauer","full_name":"Schauer, H."}],"volume":1301,"page":"327-343","_id":"7839","publisher":"Springer","status":"public","place":"Berlin/Heidelberg","citation":{"mla":"Engels, Gregor, et al. “A View-Oriented Approach to System Modelling Using Graph Transformations.” <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, edited by M. Jazayeri and H. Schauer, vol. 1301, Springer, 1997, pp. 327–43, doi:<a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>.","ama":"Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>. Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:<a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>","bibtex":"@inproceedings{Engels_Heckel_Taentzer_Ehrig_1997, place={Berlin/Heidelberg}, title={A View-Oriented Approach to System Modelling Using Graph Transformations}, volume={1301}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>}, booktitle={Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, editor={Jazayeri, M. and Schauer, H.Editors}, year={1997}, pages={327–343} }","apa":"Engels, G., Heckel, R., Taentzer, G., &#38; Ehrig, H. (1997). A View-Oriented Approach to System Modelling Using Graph Transformations. In M. Jazayeri &#38; H. Schauer (Eds.), <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i> (Vol. 1301, pp. 327–343). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>","ieee":"G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A View-Oriented Approach to System Modelling Using Graph Transformations,” in <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, 1997, vol. 1301, pp. 327–343.","chicago":"Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A View-Oriented Approach to System Modelling Using Graph Transformations.” In <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, edited by M. Jazayeri and H. Schauer, 1301:327–43. Berlin/Heidelberg: Springer, 1997. <a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>.","short":"G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343."}},{"_id":"7840","publisher":"Physik-Verlag","language":[{"iso":"eng"}],"user_id":"52534","volume":32,"status":"public","year":"1997","title":"Thermooptische Effekte in Nd:YAG-Slablasern","author":[{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"first_name":"Stefan","last_name":"Knoke","full_name":"Knoke, Stefan"},{"full_name":"Schöne, Wolfram","first_name":"Wolfram","last_name":"Schöne"},{"full_name":"Tünnermann, Andreas","last_name":"Tünnermann","first_name":"Andreas"},{"full_name":"Welling, H.","first_name":"H.","last_name":"Welling"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"        32","place":"Weinheim, Germany","date_created":"2019-02-20T14:07:44Z","type":"conference","department":[{"_id":"66"}],"publication":"Verhandlungen der Deutschen Physikalischen Gesellschaft","issue":"3","citation":{"ieee":"R. Depke, S. Knoke, W. Schöne, A. Tünnermann, and H. Welling, “Thermooptische Effekte in Nd:YAG-Slablasern,” in <i>Verhandlungen der Deutschen Physikalischen Gesellschaft</i>, 1997, vol. 32, no. 3.","apa":"Depke, R., Knoke, S., Schöne, W., Tünnermann, A., &#38; Welling, H. (1997). Thermooptische Effekte in Nd:YAG-Slablasern. In <i>Verhandlungen der Deutschen Physikalischen Gesellschaft</i> (Vol. 32). Weinheim, Germany: Physik-Verlag.","mla":"Depke, Ralph, et al. “Thermooptische Effekte in Nd:YAG-Slablasern.” <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft</i>, vol. 32, no. 3, Physik-Verlag, 1997.","bibtex":"@inproceedings{Depke_Knoke_Schöne_Tünnermann_Welling_1997, place={Weinheim, Germany}, title={Thermooptische Effekte in Nd:YAG-Slablasern}, volume={32}, number={3}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft}, publisher={Physik-Verlag}, author={Depke, Ralph and Knoke, Stefan and Schöne, Wolfram and Tünnermann, Andreas and Welling, H.}, year={1997} }","ama":"Depke R, Knoke S, Schöne W, Tünnermann A, Welling H. Thermooptische Effekte in Nd:YAG-Slablasern. In: <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft</i>. Vol 32. Weinheim, Germany: Physik-Verlag; 1997.","short":"R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.","chicago":"Depke, Ralph, Stefan Knoke, Wolfram Schöne, Andreas Tünnermann, and H. Welling. “Thermooptische Effekte in Nd:YAG-Slablasern.” In <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft</i>, Vol. 32. Weinheim, Germany: Physik-Verlag, 1997."},"abstract":[{"lang":"ger","text":"Vorteile von Laserkristallen in Slab-Geometrie gegenüber Stäben liegen in einer Reduktion der thermisch induzierten Linsenwirkung und der spannungsinduzierten Depolarisation durch einen zick-zack-förmigen Strahlverlauf innerhalb des Kristalls. Durch die Analyse der durch die Anordnung der Pumpquellen und die Dotierungskonzentration bestimmten Temperatur- und Spannungsverteilungen mit Hilfe eines Finite-Element-Modells und die Berechnung der resultierenden optischen Eigenschaften lassen sich die genannten Zielgrößen optimieren. Die Verfahren wurden auf am Laser Zentrum Hannover e.V. entwickelte Nd:YAG-Stab- und Slablaser angewandt und ermöglichten die Entwicklung diodengepumpter Festkörperlaser-Systeme mit Ausgangsleistungen von mehr als 750W bei guter Strahlqualität. Modellerweiterungen unter Berücksichtigung der Wechselwirkung zwischen Lasermoden und aktivem Material werden diskutiert. Diese Arbeit wird gefördert durch das BMBF, FKZ: 13 N 6361"}]},{"type":"conference","department":[{"_id":"66"}],"place":"London, UK","date_created":"2019-02-20T14:08:31Z","publication":"Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)","citation":{"mla":"Heckel, Reiko, et al. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i>, Springer, 1997, pp. 219–28, doi:<a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>.","bibtex":"@inproceedings{Heckel_Ehrig_Wolter_Corradini_1997, place={London, UK}, series={LNCS}, title={Integrating the Specification Techniques of Graph Transformation and Temporal Logic}, DOI={<a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>}, booktitle={Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)}, publisher={Springer}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={1997}, pages={219–228}, collection={LNCS} }","ama":"Heckel R, Ehrig H, Wolter U, Corradini A. Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In: <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i>. LNCS. London, UK: Springer; 1997:219-228. doi:<a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>","ieee":"R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Integrating the Specification Techniques of Graph Transformation and Temporal Logic,” in <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i>, 1997, pp. 219–228.","apa":"Heckel, R., Ehrig, H., Wolter, U., &#38; Corradini, A. (1997). Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i> (pp. 219–228). London, UK: Springer. <a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>","chicago":"Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” In <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i>, 219–28. LNCS. London, UK: Springer, 1997. <a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>.","short":"R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228."},"doi":"http://dx.doi.org/10.1007/BFb0029965","user_id":"52534","page":"219-228","publisher":"Springer","_id":"7841","language":[{"iso":"eng"}],"series_title":"LNCS","date_updated":"2022-01-06T07:03:47Z","year":"1997","title":"Integrating the Specification Techniques of Graph Transformation and Temporal Logic","status":"public","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"first_name":"Uwe","last_name":"Wolter","full_name":"Wolter, Uwe"},{"full_name":"Corradini, Andrea","last_name":"Corradini","first_name":"Andrea"}]},{"date_created":"2019-02-20T14:09:17Z","type":"conference","department":[{"_id":"66"}],"publication":"Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)","issue":"3","citation":{"mla":"Knoke, Stefan, et al. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher Ausgangsleistung.” <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>, vol. 32, no. 3, Physik-Verlag, 1997.","ama":"Knoke S, Depke R, Schöne W, Brozek OS, Tünnermann A, Welling H. Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In: <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>. Vol 32. Physik-Verlag; 1997.","bibtex":"@inproceedings{Knoke_Depke_Schöne_Brozek_Tünnermann_Welling_1997, title={Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung}, volume={32}, number={3}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)}, publisher={Physik-Verlag}, author={Knoke, Stefan and Depke, Ralph and Schöne, Wolfram and Brozek, O.S. and Tünnermann, Andreas and Welling, H.}, year={1997} }","apa":"Knoke, S., Depke, R., Schöne, W., Brozek, O. S., Tünnermann, A., &#38; Welling, H. (1997). Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In <i>Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i> (Vol. 32). Physik-Verlag.","ieee":"S. Knoke, R. Depke, W. Schöne, O. S. Brozek, A. Tünnermann, and H. Welling, “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung,” in <i>Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>, 1997, vol. 32, no. 3.","chicago":"Knoke, Stefan, Ralph Depke, Wolfram Schöne, O.S. Brozek, Andreas Tünnermann, and H. Welling. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher Ausgangsleistung.” In <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>, Vol. 32. Physik-Verlag, 1997.","short":"S. Knoke, R. Depke, W. Schöne, O.S. Brozek, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), Physik-Verlag, 1997."},"language":[{"iso":"eng"}],"_id":"7842","publisher":"Physik-Verlag","user_id":"52534","volume":32,"year":"1997","status":"public","title":"Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung","author":[{"first_name":"Stefan","last_name":"Knoke","full_name":"Knoke, Stefan"},{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"full_name":"Schöne, Wolfram","first_name":"Wolfram","last_name":"Schöne"},{"last_name":"Brozek","first_name":"O.S.","full_name":"Brozek, O.S."},{"full_name":"Tünnermann, Andreas","first_name":"Andreas","last_name":"Tünnermann"},{"first_name":"H.","last_name":"Welling","full_name":"Welling, H."}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"        32"}]