[{"title":"Combining Graph Transformations with Temporal Logic","author":[{"last_name":"Gadducci","full_name":"Gadducci, Fabio","first_name":"Fabio"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Manuel","last_name":"Koch","full_name":"Koch, Manuel"}],"date_created":"2019-03-04T12:25:44Z","date_updated":"2022-01-06T07:03:53Z","citation":{"ama":"Gadducci F, Heckel R, Koch M. Combining Graph Transformations with Temporal Logic. In: <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux; 1997.","ieee":"F. Gadducci, R. Heckel, and M. Koch, “Combining Graph Transformations with Temporal Logic,” in <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","chicago":"Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Combining Graph Transformations with Temporal Logic.” In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux, 1997.","apa":"Gadducci, F., Heckel, R., &#38; Koch, M. (1997). Combining Graph Transformations with Temporal Logic. In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux.","short":"F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.","bibtex":"@inproceedings{Gadducci_Heckel_Koch_1997, place={Bordeaux}, title={Combining Graph Transformations with Temporal Logic}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1997} }","mla":"Gadducci, Fabio, et al. “Combining Graph Transformations with Temporal Logic.” <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997."},"year":"1997","place":"Bordeaux","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"8277","status":"public","type":"conference","publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)"},{"year":"1997","place":"Berlin/Heidelberg","page":"223-237","intvolume":"      1376","citation":{"ieee":"F. Gadducci and R. Heckel, “An Inductive View of Graph Transformation,” in <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i>, 1997, vol. 1376, pp. 223–237.","chicago":"Gadducci, Fabio, and Reiko Heckel. “An Inductive View of Graph Transformation.” In <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i>, 1376:223–37. LNCS. Berlin/Heidelberg: Springer, 1997.","ama":"Gadducci F, Heckel R. An Inductive View of Graph Transformation. In: <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i>. Vol 1376. LNCS. Berlin/Heidelberg: Springer; 1997:223-237.","apa":"Gadducci, F., &#38; Heckel, R. (1997). An Inductive View of Graph Transformation. In <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i> (Vol. 1376, pp. 223–237). Berlin/Heidelberg: Springer.","bibtex":"@inproceedings{Gadducci_Heckel_1997, place={Berlin/Heidelberg}, series={LNCS}, title={An Inductive View of Graph Transformation}, volume={1376}, booktitle={Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)}, publisher={Springer}, author={Gadducci, Fabio and Heckel, Reiko}, year={1997}, pages={223–237}, collection={LNCS} }","short":"F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.","mla":"Gadducci, Fabio, and Reiko Heckel. “An Inductive View of Graph Transformation.” <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i>, vol. 1376, Springer, 1997, pp. 223–37."},"title":"An Inductive View of Graph Transformation","date_updated":"2022-01-06T07:03:53Z","publisher":"Springer","volume":1376,"author":[{"first_name":"Fabio","last_name":"Gadducci","full_name":"Gadducci, Fabio"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_created":"2019-03-04T12:25:45Z","status":"public","publication":"Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)","type":"conference","language":[{"iso":"eng"}],"_id":"8278","department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS"},{"_id":"8279","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)","type":"conference","status":"public","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"date_created":"2019-03-04T12:25:46Z","title":"Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration","year":"1997","citation":{"apa":"Heckel, R. (1997). Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>.","short":"R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.","mla":"Heckel, Reiko. “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration.” <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","bibtex":"@inproceedings{Heckel_1997, title={Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Heckel, Reiko}, year={1997} }","ieee":"R. Heckel, “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration,” in <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","chicago":"Heckel, Reiko. “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration.” In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","ama":"Heckel R. Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. In: <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. ; 1997."}},{"publication":"International Journal on Software Engineering and Knowledge Engineering (IJSEKE)","type":"journal_article","status":"public","_id":"7402","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"issue":"4","year":"1997","intvolume":"         7","page":"397-400","citation":{"apa":"Engels, G., &#38; Jürgen Schneider, H. (1997). Guest Editors’ Introduction. <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>, <i>7</i>(4), 397–400. <a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>","short":"G. Engels, H. Jürgen Schneider, International Journal on Software Engineering and Knowledge Engineering (IJSEKE) 7 (1997) 397–400.","bibtex":"@article{Engels_Jürgen Schneider_1997, title={Guest Editors’ Introduction}, volume={7}, DOI={<a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>}, number={4}, journal={International Journal on Software Engineering and Knowledge Engineering (IJSEKE)}, author={Engels, Gregor and Jürgen Schneider, Hans}, year={1997}, pages={397–400} }","mla":"Engels, Gregor, and Hans Jürgen Schneider. “Guest Editors’ Introduction.” <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 7, no. 4, 1997, pp. 397–400, doi:<a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>.","ama":"Engels G, Jürgen Schneider H. Guest Editors’ Introduction. <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>. 1997;7(4):397-400. doi:<a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>","ieee":"G. Engels and H. Jürgen Schneider, “Guest Editors’ Introduction,” <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 7, no. 4, pp. 397–400, 1997.","chicago":"Engels, Gregor, and Hans Jürgen Schneider. “Guest Editors’ Introduction.” <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i> 7, no. 4 (1997): 397–400. <a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>."},"date_updated":"2022-01-06T07:03:36Z","volume":7,"date_created":"2019-01-31T15:48:56Z","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"last_name":"Jürgen Schneider","full_name":"Jürgen Schneider, Hans","first_name":"Hans"}],"title":"Guest Editors' Introduction","doi":"http://dx.doi.org/10.1142/S0218194097000230"},{"issue":"4","year":"1997","citation":{"ieee":"G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A Combined Reference Model- and View-Based Approach to System Specification,” <i>Int. Journal of Software and Knowledge Engeneering</i>, vol. 7, no. 4, pp. 457–477, 1997.","chicago":"Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A Combined Reference Model- and View-Based Approach to System Specification.” <i>Int. Journal of Software and Knowledge Engeneering</i> 7, no. 4 (1997): 457–77.","ama":"Engels G, Heckel R, Taentzer G, Ehrig H. A Combined Reference Model- and View-Based Approach to System Specification. <i>Int Journal of Software and Knowledge Engeneering</i>. 1997;7(4):457-477.","short":"G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 457–477.","bibtex":"@article{Engels_Heckel_Taentzer_Ehrig_1997, title={A Combined Reference Model- and View-Based Approach to System Specification}, volume={7}, number={4}, journal={Int. Journal of Software and Knowledge Engeneering}, author={Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, year={1997}, pages={457–477} }","mla":"Engels, Gregor, et al. “A Combined Reference Model- and View-Based Approach to System Specification.” <i>Int. Journal of Software and Knowledge Engeneering</i>, vol. 7, no. 4, 1997, pp. 457–77.","apa":"Engels, G., Heckel, R., Taentzer, G., &#38; Ehrig, H. (1997). A Combined Reference Model- and View-Based Approach to System Specification. <i>Int. Journal of Software and Knowledge Engeneering</i>, <i>7</i>(4), 457–477."},"page":"457-477","intvolume":"         7","date_updated":"2022-01-06T07:03:36Z","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"full_name":"Taentzer, Gabriele","last_name":"Taentzer","first_name":"Gabriele"},{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"}],"date_created":"2019-01-31T15:49:57Z","volume":7,"title":"A Combined Reference Model- and View-Based Approach to System Specification","type":"journal_article","publication":"Int. Journal of Software and Knowledge Engeneering","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 allows to satisfy the general requirements of an intuitive understanding and the integration of static and dynamic aspects on a well-defined and sound 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. View relations are shown to preserve the behaviour of views. Moreover, we define a construction for the automatic integration of views 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. In case of more than two views more general scenarios are developed and discussed. We are able to show that the automatic view integration is compatible with the loose semantics, i.e., the behaviour of the system model is exactly the integration of the behaviours of the views. All concepts and results are illustrated at the well-known example of a banking system."}],"status":"public","_id":"7403","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"type":"book_chapter","publication":"Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations","abstract":[{"lang":"eng","text":"The algebraic approaches to graph transformation are based on the concept of gluing of graphs corresponding to pushouts in suitable categories of graphs and graph morphisms. This allows one to give not only an explicit algebraic or set theoretical description of the constructions but also to use concepts and results from category theory in order to build up a rich theory and to give elegant proofs even in complex situations. In the previous chapter we have presented an overview of the basic notions and problems common to the two algebraic approaches the double pushout DPO approach and the single pushout SPO approach and their solutions in the DPO approach. In this chapter we introduce the SPO approach to graph transformation and some of its main results. We study application conditions for graph productions and the transformation of more general structures than graphs in the SPO approach where similar generalizations have been or could be studied also in the DPO approach. Finally we present a detailed comparison of the DPO and the SPO approach especially concerning the solutions to the problems discussed for both approaches in the previous chapter."}],"status":"public","_id":"7515","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"year":"1997","place":"Singapore","citation":{"ieee":"H. Ehrig <i>et al.</i>, “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach,” in <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>, Singapore: World Scientific, 1997, pp. 247–312.","chicago":"Ehrig, Hartmut, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, and Andrea Corradini. “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach.” In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>, 247–312. Singapore: World Scientific, 1997.","ama":"Ehrig H, Heckel R, Korff M, et al. Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>. Singapore: World Scientific; 1997:247-312.","short":"H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, A. Corradini, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 247–312.","mla":"Ehrig, Hartmut, et al. “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach.” <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>, World Scientific, 1997, pp. 247–312.","bibtex":"@inbook{Ehrig_Heckel_Korff_Löwe_Ribeiro_Wagner_Corradini_1997, place={Singapore}, title={Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, publisher={World Scientific}, author={Ehrig, Hartmut and Heckel, Reiko and Korff, Martin and Löwe, Michael and Ribeiro, Leila and Wagner, Annika and Corradini, Andrea}, year={1997}, pages={247–312} }","apa":"Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., &#38; Corradini, A. (1997). Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i> (pp. 247–312). Singapore: World Scientific."},"page":"247-312","date_updated":"2022-01-06T07:03:39Z","publisher":"World Scientific","author":[{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Korff","full_name":"Korff, Martin","first_name":"Martin"},{"last_name":"Löwe","full_name":"Löwe, Michael","first_name":"Michael"},{"first_name":"Leila","last_name":"Ribeiro","full_name":"Ribeiro, Leila"},{"last_name":"Wagner","full_name":"Wagner, Annika","first_name":"Annika"},{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"}],"date_created":"2019-02-04T22:41:33Z","title":"Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach"},{"place":"Berlin/Heidelberg","year":"1997","citation":{"bibtex":"@inbook{Engels_Rekers_Andries_1997, place={Berlin/Heidelberg}, title={How to represent a visual specification}, booktitle={Visual Language Theory}, publisher={Springer}, author={Engels, Gregor and Rekers, Jan and Andries, Marc}, year={1997}, pages={241–255} }","mla":"Engels, Gregor, et al. “How to Represent a Visual Specification.” <i>Visual Language Theory</i>, Springer, 1997, pp. 241–55.","short":"G. Engels, J. Rekers, M. Andries, in: Visual Language Theory, Springer, Berlin/Heidelberg, 1997, pp. 241–255.","apa":"Engels, G., Rekers, J., &#38; Andries, M. (1997). How to represent a visual specification. In <i>Visual Language Theory</i> (pp. 241–255). Berlin/Heidelberg: Springer.","ama":"Engels G, Rekers J, Andries M. How to represent a visual specification. In: <i>Visual Language Theory</i>. Berlin/Heidelberg: Springer; 1997:241-255.","chicago":"Engels, Gregor, Jan Rekers, and Marc Andries. “How to Represent a Visual Specification.” In <i>Visual Language Theory</i>, 241–55. Berlin/Heidelberg: Springer, 1997.","ieee":"G. Engels, J. Rekers, and M. Andries, “How to represent a visual specification,” in <i>Visual Language Theory</i>, Berlin/Heidelberg: Springer, 1997, pp. 241–255."},"page":"241-255","publisher":"Springer","date_updated":"2022-01-06T07:03:39Z","date_created":"2019-02-04T22:42:34Z","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"Jan","full_name":"Rekers, Jan","last_name":"Rekers"},{"last_name":"Andries","full_name":"Andries, Marc","first_name":"Marc"}],"title":"How to represent a visual specification","type":"book_chapter","publication":"Visual Language Theory","status":"public","_id":"7516","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"publication":"Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations","type":"book_chapter","abstract":[{"text":"The algebraic approaches to graph transformation are based on the concept of gluing of graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This allows one not only to give an explicit algebraic or set theoretical description of the constructions, but also to use concepts and results from category theory in order to build up a rich theory and to give elegant proofs even in complex situations. In this chapter we start with an overwiev of the basic notions common to the two algebraic approaches, the double-pushout (DPO) approach and the singlepushout (SPO) approach; next we present the classical theory and some recent development of the double-pushout approach. The next chapter is devoted instead to the single-pushout approach, and it is closed by a comparison between the two approaches.","lang":"eng"}],"status":"public","_id":"7517","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"place":"Singapore","year":"1997","page":"163-245","citation":{"apa":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., &#38; Löwe, M. (1997). Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i> (pp. 163–245). Singapore: World Scientific.","short":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 163–245.","mla":"Corradini, Andrea, et al. “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach.” <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i>, World Scientific, 1997, pp. 163–245.","bibtex":"@inbook{Corradini_Montanari_Rossi_Ehrig_Heckel_Löwe_1997, place={Singapore}, title={Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations}, publisher={World Scientific}, author={Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, Hartmut and Heckel, Reiko and Löwe, Michael}, year={1997}, pages={163–245} }","chicago":"Corradini, Andrea, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Löwe. “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach.” In <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i>, 163–245. Singapore: World Scientific, 1997.","ieee":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe, “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach,” in <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i>, Singapore: World Scientific, 1997, pp. 163–245.","ama":"Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, Löwe M. Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In: <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i>. Singapore: World Scientific; 1997:163-245."},"date_updated":"2022-01-06T07:03:39Z","publisher":"World Scientific","author":[{"first_name":"Andrea","full_name":"Corradini, Andrea","last_name":"Corradini"},{"last_name":"Montanari","full_name":"Montanari, Ugo","first_name":"Ugo"},{"full_name":"Rossi, Francesca","last_name":"Rossi","first_name":"Francesca"},{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"first_name":"Michael","full_name":"Löwe, Michael","last_name":"Löwe"}],"date_created":"2019-02-04T22:48:43Z","title":"Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach"},{"publication_status":"published","publication_identifier":{"issn":["1016-3328","1420-8954"]},"citation":{"ama":"Grigoriev D, Karpinski M, Meyer auf der Heide F, Smolensky R. A lower bound for randomized algebraic decision trees. <i>computational complexity</i>. 1997:357-375. doi:<a href=\"https://doi.org/10.1007/bf01270387\">10.1007/bf01270387</a>","chicago":"Grigoriev, Dima, Marek Karpinski, Friedhelm Meyer auf der Heide, and Roman Smolensky. “A Lower Bound for Randomized Algebraic Decision Trees.” <i>Computational Complexity</i>, 1997, 357–75. <a href=\"https://doi.org/10.1007/bf01270387\">https://doi.org/10.1007/bf01270387</a>.","ieee":"D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, and R. Smolensky, “A lower bound for randomized algebraic decision trees,” <i>computational complexity</i>, pp. 357–375, 1997.","apa":"Grigoriev, D., Karpinski, M., Meyer auf der Heide, F., &#38; Smolensky, R. (1997). A lower bound for randomized algebraic decision trees. <i>Computational Complexity</i>, 357–375. <a href=\"https://doi.org/10.1007/bf01270387\">https://doi.org/10.1007/bf01270387</a>","bibtex":"@article{Grigoriev_Karpinski_Meyer auf der Heide_Smolensky_1997, title={A lower bound for randomized algebraic decision trees}, DOI={<a href=\"https://doi.org/10.1007/bf01270387\">10.1007/bf01270387</a>}, journal={computational complexity}, author={Grigoriev, Dima and Karpinski, Marek and Meyer auf der Heide, Friedhelm and Smolensky, Roman}, year={1997}, pages={357–375} }","mla":"Grigoriev, Dima, et al. “A Lower Bound for Randomized Algebraic Decision Trees.” <i>Computational Complexity</i>, 1997, pp. 357–75, doi:<a href=\"https://doi.org/10.1007/bf01270387\">10.1007/bf01270387</a>.","short":"D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, Computational Complexity (1997) 357–375."},"page":"357-375","year":"1997","date_created":"2020-04-15T10:42:43Z","author":[{"first_name":"Dima","full_name":"Grigoriev, Dima","last_name":"Grigoriev"},{"full_name":"Karpinski, Marek","last_name":"Karpinski","first_name":"Marek"},{"full_name":"Meyer auf der Heide, Friedhelm","id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"first_name":"Roman","full_name":"Smolensky, Roman","last_name":"Smolensky"}],"date_updated":"2022-01-06T06:52:52Z","doi":"10.1007/bf01270387","title":"A lower bound for randomized algebraic decision trees","type":"journal_article","publication":"computational complexity","status":"public","user_id":"15415","department":[{"_id":"63"}],"_id":"16564","language":[{"iso":"eng"}]},{"publication":"Information and Computation","type":"journal_article","status":"public","department":[{"_id":"63"}],"user_id":"15415","_id":"16565","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0890-5401"]},"publication_status":"published","page":"103-120","citation":{"ama":"Czumaj A, Meyer auf der Heide F, Stemann V. Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures. <i>Information and Computation</i>. 1997:103-120. doi:<a href=\"https://doi.org/10.1006/inco.1997.2642\">10.1006/inco.1997.2642</a>","chicago":"Czumaj, Artur, Friedhelm Meyer auf der Heide, and Volker Stemann. “Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures.” <i>Information and Computation</i>, 1997, 103–20. <a href=\"https://doi.org/10.1006/inco.1997.2642\">https://doi.org/10.1006/inco.1997.2642</a>.","ieee":"A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures,” <i>Information and Computation</i>, pp. 103–120, 1997.","apa":"Czumaj, A., Meyer auf der Heide, F., &#38; Stemann, V. (1997). Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures. <i>Information and Computation</i>, 103–120. <a href=\"https://doi.org/10.1006/inco.1997.2642\">https://doi.org/10.1006/inco.1997.2642</a>","mla":"Czumaj, Artur, et al. “Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures.” <i>Information and Computation</i>, 1997, pp. 103–20, doi:<a href=\"https://doi.org/10.1006/inco.1997.2642\">10.1006/inco.1997.2642</a>.","short":"A. Czumaj, F. Meyer auf der Heide, V. Stemann, Information and Computation (1997) 103–120.","bibtex":"@article{Czumaj_Meyer auf der Heide_Stemann_1997, title={Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures}, DOI={<a href=\"https://doi.org/10.1006/inco.1997.2642\">10.1006/inco.1997.2642</a>}, journal={Information and Computation}, author={Czumaj, Artur and Meyer auf der Heide, Friedhelm and Stemann, Volker}, year={1997}, pages={103–120} }"},"year":"1997","date_created":"2020-04-15T11:20:09Z","author":[{"first_name":"Artur","last_name":"Czumaj","full_name":"Czumaj, Artur"},{"last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523","first_name":"Friedhelm"},{"full_name":"Stemann, Volker","last_name":"Stemann","first_name":"Volker"}],"date_updated":"2022-01-06T06:52:52Z","doi":"10.1006/inco.1997.2642","title":"Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures"},{"doi":"10.1007/s002240000071","title":"Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks","date_created":"2020-04-15T11:31:05Z","author":[{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","id":"15523","full_name":"Meyer auf der Heide, Friedhelm"},{"first_name":"M.","last_name":"Storch","full_name":"Storch, M."},{"first_name":"Rolf","full_name":"Wanka, Rolf","last_name":"Wanka"}],"date_updated":"2022-01-06T06:52:52Z","citation":{"short":"F. Meyer auf der Heide, M. Storch, R. Wanka, Theory of Computing Systems (1997) 627–644.","bibtex":"@article{Meyer auf der Heide_Storch_Wanka_1997, title={Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks}, DOI={<a href=\"https://doi.org/10.1007/s002240000071\">10.1007/s002240000071</a>}, journal={Theory of Computing Systems}, author={Meyer auf der Heide, Friedhelm and Storch, M. and Wanka, Rolf}, year={1997}, pages={627–644} }","mla":"Meyer auf der Heide, Friedhelm, et al. “Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks.” <i>Theory of Computing Systems</i>, 1997, pp. 627–44, doi:<a href=\"https://doi.org/10.1007/s002240000071\">10.1007/s002240000071</a>.","apa":"Meyer auf der Heide, F., Storch, M., &#38; Wanka, R. (1997). Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks. <i>Theory of Computing Systems</i>, 627–644. <a href=\"https://doi.org/10.1007/s002240000071\">https://doi.org/10.1007/s002240000071</a>","ama":"Meyer auf der Heide F, Storch M, Wanka R. Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks. <i>Theory of Computing Systems</i>. Published online 1997:627-644. doi:<a href=\"https://doi.org/10.1007/s002240000071\">10.1007/s002240000071</a>","chicago":"Meyer auf der Heide, Friedhelm, M. Storch, and Rolf Wanka. “Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks.” <i>Theory of Computing Systems</i>, 1997, 627–44. <a href=\"https://doi.org/10.1007/s002240000071\">https://doi.org/10.1007/s002240000071</a>.","ieee":"F. Meyer auf der Heide, M. Storch, and R. Wanka, “Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks,” <i>Theory of Computing Systems</i>, pp. 627–644, 1997, doi: <a href=\"https://doi.org/10.1007/s002240000071\">10.1007/s002240000071</a>."},"page":"627-644","year":"1997","publication_status":"published","publication_identifier":{"issn":["1432-4350","1433-0490"]},"language":[{"iso":"eng"}],"user_id":"15415","department":[{"_id":"63"}],"_id":"16567","status":"public","type":"journal_article","publication":"Theory of Computing Systems"},{"citation":{"ama":"Meyer auf der Heide F, Vöcking B. Static and dynamic data management in networks. In: <i>Euro-Par’97 Parallel Processing</i>. Berlin, Heidelberg; 1997. doi:<a href=\"https://doi.org/10.1007/bfb0002716\">10.1007/bfb0002716</a>","ieee":"F. Meyer auf der Heide and B. Vöcking, “Static and dynamic data management in networks,” in <i>Euro-Par’97 Parallel Processing</i>, Berlin, Heidelberg, 1997.","chicago":"Meyer auf der Heide, Friedhelm, and Berthold Vöcking. “Static and Dynamic Data Management in Networks.” In <i>Euro-Par’97 Parallel Processing</i>. Berlin, Heidelberg, 1997. <a href=\"https://doi.org/10.1007/bfb0002716\">https://doi.org/10.1007/bfb0002716</a>.","apa":"Meyer auf der Heide, F., &#38; Vöcking, B. (1997). Static and dynamic data management in networks. In <i>Euro-Par’97 Parallel Processing</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/bfb0002716\">https://doi.org/10.1007/bfb0002716</a>","bibtex":"@inbook{Meyer auf der Heide_Vöcking_1997, place={Berlin, Heidelberg}, title={Static and dynamic data management in networks}, DOI={<a href=\"https://doi.org/10.1007/bfb0002716\">10.1007/bfb0002716</a>}, booktitle={Euro-Par’97 Parallel Processing}, author={Meyer auf der Heide, Friedhelm and Vöcking, Berthold}, year={1997} }","mla":"Meyer auf der Heide, Friedhelm, and Berthold Vöcking. “Static and Dynamic Data Management in Networks.” <i>Euro-Par’97 Parallel Processing</i>, 1997, doi:<a href=\"https://doi.org/10.1007/bfb0002716\">10.1007/bfb0002716</a>.","short":"F. Meyer auf der Heide, B. Vöcking, in: Euro-Par’97 Parallel Processing, Berlin, Heidelberg, 1997."},"place":"Berlin, Heidelberg","year":"1997","publication_status":"published","publication_identifier":{"isbn":["9783540634409","9783540695493"],"issn":["0302-9743","1611-3349"]},"doi":"10.1007/bfb0002716","title":"Static and dynamic data management in networks","author":[{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","id":"15523","full_name":"Meyer auf der Heide, Friedhelm"},{"full_name":"Vöcking, Berthold","last_name":"Vöcking","first_name":"Berthold"}],"date_created":"2020-04-15T11:47:28Z","date_updated":"2022-01-06T06:52:52Z","status":"public","type":"book_chapter","publication":"Euro-Par'97 Parallel Processing","language":[{"iso":"eng"}],"user_id":"15415","department":[{"_id":"63"}],"_id":"16569"},{"language":[{"iso":"eng"}],"department":[{"_id":"63"}],"user_id":"15415","_id":"16604","status":"public","publication":"Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures  - SPAA '97","type":"conference","doi":"10.1145/258492.258522","title":"Allocating weighted jobs in parallel","date_created":"2020-04-16T06:18:07Z","author":[{"last_name":"Berenbrink","full_name":"Berenbrink, Petra","first_name":"Petra"},{"last_name":"Meyer auf der Heide","id":"15523","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm"},{"full_name":"Schröder, Klaus","last_name":"Schröder","first_name":"Klaus"}],"date_updated":"2022-01-06T06:52:53Z","citation":{"apa":"Berenbrink, P., Meyer auf der Heide, F., &#38; Schröder, K. (1997). Allocating weighted jobs in parallel. In <i>Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’97</i>. <a href=\"https://doi.org/10.1145/258492.258522\">https://doi.org/10.1145/258492.258522</a>","short":"P. Berenbrink, F. Meyer auf der Heide, K. Schröder, in: Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’97, 1997.","bibtex":"@inproceedings{Berenbrink_Meyer auf der Heide_Schröder_1997, title={Allocating weighted jobs in parallel}, DOI={<a href=\"https://doi.org/10.1145/258492.258522\">10.1145/258492.258522</a>}, booktitle={Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’97}, author={Berenbrink, Petra and Meyer auf der Heide, Friedhelm and Schröder, Klaus}, year={1997} }","mla":"Berenbrink, Petra, et al. “Allocating Weighted Jobs in Parallel.” <i>Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’97</i>, 1997, doi:<a href=\"https://doi.org/10.1145/258492.258522\">10.1145/258492.258522</a>.","chicago":"Berenbrink, Petra, Friedhelm Meyer auf der Heide, and Klaus Schröder. “Allocating Weighted Jobs in Parallel.” In <i>Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’97</i>, 1997. <a href=\"https://doi.org/10.1145/258492.258522\">https://doi.org/10.1145/258492.258522</a>.","ieee":"P. Berenbrink, F. Meyer auf der Heide, and K. Schröder, “Allocating weighted jobs in parallel,” in <i>Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’97</i>, 1997.","ama":"Berenbrink P, Meyer auf der Heide F, Schröder K. Allocating weighted jobs in parallel. In: <i>Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’97</i>. ; 1997. doi:<a href=\"https://doi.org/10.1145/258492.258522\">10.1145/258492.258522</a>"},"year":"1997","publication_identifier":{"isbn":["0897918908"]},"publication_status":"published"},{"publication_identifier":{"isbn":["9783540631385","9783540691570"],"issn":["0302-9743","1611-3349"]},"publication_status":"published","year":"1997","place":"Berlin, Heidelberg","citation":{"mla":"Bäumker, Armin, and Friedhelm Meyer auf der Heide. “Communication Efficient Parallel Searching.” <i>Solving Irregularly Structured Problems in Parallel</i>, 1997, doi:<a href=\"https://doi.org/10.1007/3-540-63138-0_21\">10.1007/3-540-63138-0_21</a>.","bibtex":"@inbook{Bäumker_Meyer auf der Heide_1997, place={Berlin, Heidelberg}, title={Communication efficient parallel searching}, DOI={<a href=\"https://doi.org/10.1007/3-540-63138-0_21\">10.1007/3-540-63138-0_21</a>}, booktitle={Solving Irregularly Structured Problems in Parallel}, author={Bäumker, Armin and Meyer auf der Heide, Friedhelm}, year={1997} }","short":"A. Bäumker, F. Meyer auf der Heide, in: Solving Irregularly Structured Problems in Parallel, Berlin, Heidelberg, 1997.","apa":"Bäumker, A., &#38; Meyer auf der Heide, F. (1997). Communication efficient parallel searching. In <i>Solving Irregularly Structured Problems in Parallel</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-63138-0_21\">https://doi.org/10.1007/3-540-63138-0_21</a>","ama":"Bäumker A, Meyer auf der Heide F. Communication efficient parallel searching. In: <i>Solving Irregularly Structured Problems in Parallel</i>. Berlin, Heidelberg; 1997. doi:<a href=\"https://doi.org/10.1007/3-540-63138-0_21\">10.1007/3-540-63138-0_21</a>","chicago":"Bäumker, Armin, and Friedhelm Meyer auf der Heide. “Communication Efficient Parallel Searching.” In <i>Solving Irregularly Structured Problems in Parallel</i>. Berlin, Heidelberg, 1997. <a href=\"https://doi.org/10.1007/3-540-63138-0_21\">https://doi.org/10.1007/3-540-63138-0_21</a>.","ieee":"A. Bäumker and F. Meyer auf der Heide, “Communication efficient parallel searching,” in <i>Solving Irregularly Structured Problems in Parallel</i>, Berlin, Heidelberg, 1997."},"date_updated":"2022-01-06T06:52:53Z","author":[{"full_name":"Bäumker, Armin","last_name":"Bäumker","first_name":"Armin"},{"first_name":"Friedhelm","id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide"}],"date_created":"2020-04-16T06:22:32Z","title":"Communication efficient parallel searching","doi":"10.1007/3-540-63138-0_21","publication":"Solving Irregularly Structured Problems in Parallel","type":"book_chapter","status":"public","_id":"16605","department":[{"_id":"63"}],"user_id":"15415","language":[{"iso":"eng"}]},{"doi":"10.1007/bfb0002741","title":"Routing on asyncronous processor networks","date_created":"2020-04-16T10:41:06Z","author":[{"first_name":"Efstratios","full_name":"Karaivazoglou, Efstratios","last_name":"Karaivazoglou"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","id":"15523","full_name":"Meyer auf der Heide, Friedhelm"}],"date_updated":"2022-01-06T06:52:54Z","citation":{"apa":"Karaivazoglou, E., &#38; Meyer auf der Heide, F. (1997). Routing on asyncronous processor networks. In <i>Euro-Par’97 Parallel Processing</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/bfb0002741\">https://doi.org/10.1007/bfb0002741</a>","bibtex":"@inbook{Karaivazoglou_Meyer auf der Heide_1997, place={Berlin, Heidelberg}, title={Routing on asyncronous processor networks}, DOI={<a href=\"https://doi.org/10.1007/bfb0002741\">10.1007/bfb0002741</a>}, booktitle={Euro-Par’97 Parallel Processing}, author={Karaivazoglou, Efstratios and Meyer auf der Heide, Friedhelm}, year={1997} }","short":"E. Karaivazoglou, F. Meyer auf der Heide, in: Euro-Par’97 Parallel Processing, Berlin, Heidelberg, 1997.","mla":"Karaivazoglou, Efstratios, and Friedhelm Meyer auf der Heide. “Routing on Asyncronous Processor Networks.” <i>Euro-Par’97 Parallel Processing</i>, 1997, doi:<a href=\"https://doi.org/10.1007/bfb0002741\">10.1007/bfb0002741</a>.","ieee":"E. Karaivazoglou and F. Meyer auf der Heide, “Routing on asyncronous processor networks,” in <i>Euro-Par’97 Parallel Processing</i>, Berlin, Heidelberg, 1997.","chicago":"Karaivazoglou, Efstratios, and Friedhelm Meyer auf der Heide. “Routing on Asyncronous Processor Networks.” In <i>Euro-Par’97 Parallel Processing</i>. Berlin, Heidelberg, 1997. <a href=\"https://doi.org/10.1007/bfb0002741\">https://doi.org/10.1007/bfb0002741</a>.","ama":"Karaivazoglou E, Meyer auf der Heide F. Routing on asyncronous processor networks. In: <i>Euro-Par’97 Parallel Processing</i>. Berlin, Heidelberg; 1997. doi:<a href=\"https://doi.org/10.1007/bfb0002741\">10.1007/bfb0002741</a>"},"place":"Berlin, Heidelberg","year":"1997","publication_status":"published","publication_identifier":{"isbn":["9783540634409","9783540695493"],"issn":["0302-9743","1611-3349"]},"language":[{"iso":"eng"}],"user_id":"15415","department":[{"_id":"63"}],"_id":"16687","status":"public","type":"book_chapter","publication":"Euro-Par'97 Parallel Processing"},{"publication_identifier":{"isbn":["0818681977"]},"publication_status":"published","year":"1997","citation":{"apa":"Maggs, B. M., Meyer auf der Heide, F., Vöcking, B., &#38; Westermann, M. (1997). Exploiting locality for data management in systems of limited bandwidth. <i>Proceedings 38th Annual Symposium on Foundations of Computer Science</i>. <a href=\"https://doi.org/10.1109/sfcs.1997.646117\">https://doi.org/10.1109/sfcs.1997.646117</a>","mla":"Maggs, B. M., et al. “Exploiting Locality for Data Management in Systems of Limited Bandwidth.” <i>Proceedings 38th Annual Symposium on Foundations of Computer Science</i>, 1997, doi:<a href=\"https://doi.org/10.1109/sfcs.1997.646117\">10.1109/sfcs.1997.646117</a>.","bibtex":"@inproceedings{Maggs_Meyer auf der Heide_Vöcking_Westermann_1997, title={Exploiting locality for data management in systems of limited bandwidth}, DOI={<a href=\"https://doi.org/10.1109/sfcs.1997.646117\">10.1109/sfcs.1997.646117</a>}, booktitle={Proceedings 38th Annual Symposium on Foundations of Computer Science}, author={Maggs, B.M. and Meyer auf der Heide, Friedhelm and Vöcking, Berthold and Westermann, Matthias}, year={1997} }","short":"B.M. Maggs, F. Meyer auf der Heide, B. Vöcking, M. Westermann, in: Proceedings 38th Annual Symposium on Foundations of Computer Science, 1997.","ama":"Maggs BM, Meyer auf der Heide F, Vöcking B, Westermann M. Exploiting locality for data management in systems of limited bandwidth. In: <i>Proceedings 38th Annual Symposium on Foundations of Computer Science</i>. ; 1997. doi:<a href=\"https://doi.org/10.1109/sfcs.1997.646117\">10.1109/sfcs.1997.646117</a>","chicago":"Maggs, B.M., Friedhelm Meyer auf der Heide, Berthold Vöcking, and Matthias Westermann. “Exploiting Locality for Data Management in Systems of Limited Bandwidth.” In <i>Proceedings 38th Annual Symposium on Foundations of Computer Science</i>, 1997. <a href=\"https://doi.org/10.1109/sfcs.1997.646117\">https://doi.org/10.1109/sfcs.1997.646117</a>.","ieee":"B. M. Maggs, F. Meyer auf der Heide, B. Vöcking, and M. Westermann, “Exploiting locality for data management in systems of limited bandwidth,” 1997, doi: <a href=\"https://doi.org/10.1109/sfcs.1997.646117\">10.1109/sfcs.1997.646117</a>."},"date_updated":"2022-01-06T06:52:54Z","author":[{"full_name":"Maggs, B.M.","last_name":"Maggs","first_name":"B.M."},{"full_name":"Meyer auf der Heide, Friedhelm","id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"first_name":"Berthold","full_name":"Vöcking, Berthold","last_name":"Vöcking"},{"first_name":"Matthias","full_name":"Westermann, Matthias","last_name":"Westermann"}],"date_created":"2020-04-16T10:44:29Z","title":"Exploiting locality for data management in systems of limited bandwidth","doi":"10.1109/sfcs.1997.646117","publication":"Proceedings 38th Annual Symposium on Foundations of Computer Science","type":"conference","status":"public","_id":"16689","department":[{"_id":"63"}],"user_id":"15415","language":[{"iso":"eng"}]},{"date_created":"2020-04-16T10:48:16Z","author":[{"first_name":"Friedhelm","id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide"},{"full_name":"Decker, Thomas","last_name":"Decker","first_name":"Thomas"}],"date_updated":"2022-01-06T06:52:54Z","doi":"10.1007/978-3-642-60831-5_22","title":"Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications”","publication_status":"published","publication_identifier":{"isbn":["9783540630661","9783642608315"],"issn":["1431-472X"]},"citation":{"chicago":"Meyer auf der Heide, Friedhelm, and Thomas Decker. “Parallel Computing in Paderborn: The SFB 376 ‘Massive Parallelism — Algorithms, Design Methods, Applications.’” In <i>Informatik ’97 Informatik Als Innovationsmotor</i>. Berlin, Heidelberg, 1997. <a href=\"https://doi.org/10.1007/978-3-642-60831-5_22\">https://doi.org/10.1007/978-3-642-60831-5_22</a>.","ieee":"F. Meyer auf der Heide and T. Decker, “Parallel Computing in Paderborn: The SFB 376 ‘Massive Parallelism — Algorithms, Design Methods, Applications,’” in <i>Informatik ’97 Informatik als Innovationsmotor</i>, Berlin, Heidelberg, 1997.","ama":"Meyer auf der Heide F, Decker T. Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications.” In: <i>Informatik ’97 Informatik Als Innovationsmotor</i>. Berlin, Heidelberg; 1997. doi:<a href=\"https://doi.org/10.1007/978-3-642-60831-5_22\">10.1007/978-3-642-60831-5_22</a>","apa":"Meyer auf der Heide, F., &#38; Decker, T. (1997). Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications.” In <i>Informatik ’97 Informatik als Innovationsmotor</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-60831-5_22\">https://doi.org/10.1007/978-3-642-60831-5_22</a>","mla":"Meyer auf der Heide, Friedhelm, and Thomas Decker. “Parallel Computing in Paderborn: The SFB 376 ‘Massive Parallelism — Algorithms, Design Methods, Applications.’” <i>Informatik ’97 Informatik Als Innovationsmotor</i>, 1997, doi:<a href=\"https://doi.org/10.1007/978-3-642-60831-5_22\">10.1007/978-3-642-60831-5_22</a>.","bibtex":"@inbook{Meyer auf der Heide_Decker_1997, place={Berlin, Heidelberg}, title={Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications”}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-60831-5_22\">10.1007/978-3-642-60831-5_22</a>}, booktitle={Informatik ’97 Informatik als Innovationsmotor}, author={Meyer auf der Heide, Friedhelm and Decker, Thomas}, year={1997} }","short":"F. Meyer auf der Heide, T. Decker, in: Informatik ’97 Informatik Als Innovationsmotor, Berlin, Heidelberg, 1997."},"place":"Berlin, Heidelberg","year":"1997","user_id":"15415","department":[{"_id":"63"}],"_id":"16693","language":[{"iso":"eng"}],"type":"book_chapter","publication":"Informatik ’97 Informatik als Innovationsmotor","status":"public"},{"_id":"16893","user_id":"14955","department":[{"_id":"65"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings 5. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen","status":"public","date_updated":"2022-01-06T06:52:58Z","date_created":"2020-04-28T08:13:23Z","author":[{"full_name":"Thies, S.","last_name":"Thies","first_name":"S."},{"first_name":"B.","full_name":"Gutkauf, B.","last_name":"Gutkauf"},{"last_name":"Domik","id":"90","full_name":"Domik, Gitta","first_name":"Gitta"}],"title":"Demo eines Intelligenten Diagramm Assistenten (IDIAS)","conference":{"location":"Saarbrücken"},"year":"1997","citation":{"ama":"Thies S, Gutkauf B, Domik G. Demo eines Intelligenten Diagramm Assistenten (IDIAS). In: <i>Proceedings 5. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen</i>. ; 1997.","chicago":"Thies, S., B. Gutkauf, and Gitta Domik. “Demo Eines Intelligenten Diagramm Assistenten (IDIAS).” In <i>Proceedings 5. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen</i>, 1997.","ieee":"S. Thies, B. Gutkauf, and G. Domik, “Demo eines Intelligenten Diagramm Assistenten (IDIAS),” in <i>Proceedings 5. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen</i>, Saarbrücken, 1997.","mla":"Thies, S., et al. “Demo Eines Intelligenten Diagramm Assistenten (IDIAS).” <i>Proceedings 5. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen</i>, 1997.","short":"S. Thies, B. Gutkauf, G. Domik, in: Proceedings 5. GI Workshop Adaptivität Und Benutzermodellierung in Interaktiven Softwaresystemen, 1997.","bibtex":"@inproceedings{Thies_Gutkauf_Domik_1997, title={Demo eines Intelligenten Diagramm Assistenten (IDIAS)}, booktitle={Proceedings 5. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen}, author={Thies, S. and Gutkauf, B. and Domik, Gitta}, year={1997} }","apa":"Thies, S., Gutkauf, B., &#38; Domik, G. (1997). Demo eines Intelligenten Diagramm Assistenten (IDIAS). In <i>Proceedings 5. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen</i>. Saarbrücken."}},{"page":"115-127","citation":{"apa":"Gutkauf, B., Thies, S., &#38; Domik, G. (1997). User Adaptive Presentation of Information . In <i>Proceedings 2nd International Symposium on Global Engineering Networking</i> (pp. 115–127). Antwerp, Belgium.","mla":"Gutkauf, B., et al. “User Adaptive Presentation of Information .” <i>Proceedings 2nd International Symposium on Global Engineering Networking</i>, 1997, pp. 115–27.","short":"B. Gutkauf, S. Thies, G. Domik, in: Proceedings 2nd International Symposium on Global Engineering Networking, 1997, pp. 115–127.","bibtex":"@inproceedings{Gutkauf_Thies_Domik_1997, title={User Adaptive Presentation of Information }, booktitle={Proceedings 2nd International Symposium on Global Engineering Networking}, author={Gutkauf, B. and Thies, S. and Domik, Gitta}, year={1997}, pages={115–127} }","ama":"Gutkauf B, Thies S, Domik G. User Adaptive Presentation of Information . In: <i>Proceedings 2nd International Symposium on Global Engineering Networking</i>. ; 1997:115-127.","chicago":"Gutkauf, B., S. Thies, and Gitta Domik. “User Adaptive Presentation of Information .” In <i>Proceedings 2nd International Symposium on Global Engineering Networking</i>, 115–27, 1997.","ieee":"B. Gutkauf, S. Thies, and G. Domik, “User Adaptive Presentation of Information ,” in <i>Proceedings 2nd International Symposium on Global Engineering Networking</i>, Antwerp, Belgium, 1997, pp. 115–127."},"year":"1997","conference":{"location":"Antwerp, Belgium","name":"International Symposium on Global Engineering Networking "},"title":"User Adaptive Presentation of Information ","author":[{"first_name":"B.","full_name":"Gutkauf, B.","last_name":"Gutkauf"},{"first_name":"S.","full_name":"Thies, S.","last_name":"Thies"},{"first_name":"Gitta","id":"90","full_name":"Domik, Gitta","last_name":"Domik"}],"date_created":"2020-04-28T08:25:37Z","date_updated":"2022-01-06T06:52:58Z","status":"public","publication":"Proceedings 2nd International Symposium on Global Engineering Networking","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"65"}],"user_id":"14955","_id":"16894"},{"type":"journal_article","publication":"e & i Elektrotechnik und Informationstechnik","status":"public","_id":"10609","user_id":"398","department":[{"_id":"78"}],"language":[{"iso":"eng"}],"extern":"1","year":"1997","citation":{"ama":"Platzner M, Rinner B, Weiss R. A Computer Architecture to Support Qualitative Simulation in Industrial Applications. <i>e &#38; i Elektrotechnik und Informationstechnik</i>. 1997;114:13-18.","ieee":"M. Platzner, B. Rinner, and R. Weiss, “A Computer Architecture to Support Qualitative Simulation in Industrial Applications,” <i>e &#38; i Elektrotechnik und Informationstechnik</i>, vol. 114, pp. 13–18, 1997.","chicago":"Platzner, Marco, Bernhard Rinner, and Reinhold Weiss. “A Computer Architecture to Support Qualitative Simulation in Industrial Applications.” <i>E &#38; i Elektrotechnik Und Informationstechnik</i> 114 (1997): 13–18.","mla":"Platzner, Marco, et al. “A Computer Architecture to Support Qualitative Simulation in Industrial Applications.” <i>E &#38; i Elektrotechnik Und Informationstechnik</i>, vol. 114, Springer, 1997, pp. 13–18.","bibtex":"@article{Platzner_Rinner_Weiss_1997, title={A Computer Architecture to Support Qualitative Simulation in Industrial Applications}, volume={114}, journal={e &#38; i Elektrotechnik und Informationstechnik}, publisher={Springer}, author={Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold}, year={1997}, pages={13–18} }","short":"M. Platzner, B. Rinner, R. Weiss, E &#38; i Elektrotechnik Und Informationstechnik 114 (1997) 13–18.","apa":"Platzner, M., Rinner, B., &#38; Weiss, R. (1997). A Computer Architecture to Support Qualitative Simulation in Industrial Applications. <i>E &#38; i Elektrotechnik Und Informationstechnik</i>, <i>114</i>, 13–18."},"page":"13-18","intvolume":"       114","publisher":"Springer","date_updated":"2022-01-06T06:50:47Z","author":[{"last_name":"Platzner","id":"398","full_name":"Platzner, Marco","first_name":"Marco"},{"first_name":"Bernhard","last_name":"Rinner","full_name":"Rinner, Bernhard"},{"first_name":"Reinhold","full_name":"Weiss, Reinhold","last_name":"Weiss"}],"date_created":"2019-07-10T09:23:09Z","volume":114,"title":"A Computer Architecture to Support Qualitative Simulation in Industrial Applications"}]