[{"_id":"39411","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1109/ENABL.2001.953425","status":"public","year":"2001","title":"Customer-Oriented Systems Design through Virtual Prototyps","publication_identifier":{"isbn":["0-7695-1269-0"]},"author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"first_name":"Christian","last_name":"Geiger","full_name":"Geiger, Christian"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"}],"conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"date_updated":"2023-01-24T10:30:21Z","date_created":"2023-01-24T10:30:14Z","place":"Cambridge, MA, USA ","type":"conference","keyword":["Virtual prototyping","Animation","Collaboration","System analysis and design","Feedback","Application software","Power system modeling","Handicapped aids","Process design","Contracts"],"department":[{"_id":"672"}],"publication":"Proceedings of IEEE KMN 2001","citation":{"ama":"Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>","bibtex":"@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }","mla":"Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","chicago":"Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>. Cambridge, MA, USA , 2001. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>.","short":"S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.","apa":"Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>","ieee":"S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>."},"abstract":[{"text":"Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system.","lang":"eng"}]},{"series_title":"The e-Business and e-Work Conference and Exhibition","_id":"39407","language":[{"iso":"eng"}],"user_id":"5786","year":"2001","title":"Advanced Infrastructure for PAN-European Collaborative Engineering","status":"public","author":[{"full_name":"Bauer, M.","last_name":"Bauer","first_name":"M."},{"full_name":"Eikerling, Heinz-Josef","last_name":"Eikerling","first_name":"Heinz-Josef"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"last_name":"Pawlak","first_name":"A.","full_name":"Pawlak, A."},{"last_name":"Siekierska","first_name":"K.","full_name":"Siekierska, K."},{"last_name":"Soderberg","first_name":"D.","full_name":"Soderberg, D."},{"full_name":"Warzee, X.","first_name":"X.","last_name":"Warzee"}],"date_updated":"2023-01-24T10:28:01Z","place":"Venice, Italy","date_created":"2023-01-24T10:27:55Z","type":"conference","department":[{"_id":"672"}],"citation":{"mla":"Bauer, M., et al. <i>Advanced Infrastructure for PAN-European Collaborative Engineering</i>. 2001.","bibtex":"@article{Bauer_Eikerling_Müller_Pawlak_Siekierska_Soderberg_Warzee_2001, place={Venice, Italy}, series={The e-Business and e-Work Conference and Exhibition}, title={Advanced Infrastructure for PAN-European Collaborative Engineering}, author={Bauer, M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska, K. and Soderberg, D. and Warzee, X.}, year={2001}, collection={The e-Business and e-Work Conference and Exhibition} }","ama":"Bauer M, Eikerling H-J, Müller W, et al. Advanced Infrastructure for PAN-European Collaborative Engineering. Published online 2001.","ieee":"M. Bauer <i>et al.</i>, “Advanced Infrastructure for PAN-European Collaborative Engineering.” Venice, Italy, 2001.","apa":"Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg, D., &#38; Warzee, X. (2001). <i>Advanced Infrastructure for PAN-European Collaborative Engineering</i>.","chicago":"Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska, D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy, 2001.","short":"M. Bauer, H.-J. Eikerling, W. Müller, A. Pawlak, K. Siekierska, D. Soderberg, X. Warzee, (2001)."},"abstract":[{"lang":"eng","text":"This article presents challenges, visions, and solutions for a true Pan-\r\nEuropean collaborative engineering infrastructure that is a target of the IST project\r\nE-COLLEG. The consortium aims at the definition of a transparent infrastructure\r\nthat will enable engineers from various domains to collaborate during the design of\r\ncomplex heterogeneous systems. In this context, we introduce an advanced\r\ncollaborative infrastructure (ACI). ACI covers dynamic Tool Registration and\r\nManagement Services (TRMS) for distance-spanning, tool integration and\r\nadministration, as well as open interfaces for XML-based data exchange. TRMS\r\nwill constitute a backbone for E-COLLEG-related pan-European collaborative\r\nresearch and engineering studies by fostering a combination of most recent Plug-\r\nand-Play techniques employing agent-based communication based on XML-\r\noriented integration technologies. This new enabling technology for collaborative\r\nengineering is validated in two application scenarios."}]},{"year":"2001","status":"public","title":"The Simulation Semantics of SystemC","publication_identifier":{"isbn":["0-7695-0993-2"]},"author":[{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"},{"last_name":"Hoffmann","first_name":"D. W.","full_name":"Hoffmann, D. W."},{"first_name":"Joachim","last_name":"Gerlach","full_name":"Gerlach, Joachim"},{"full_name":"Kropf, Thomas","last_name":"Kropf","first_name":"Thomas"},{"full_name":"Rosenstiehl, W.","first_name":"W.","last_name":"Rosenstiehl"}],"conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"date_updated":"2023-01-24T10:39:38Z","publisher":"IEEE","_id":"39421","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1109/DATE.2001.915002","publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","citation":{"bibtex":"@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }","ama":"Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. IEEE; 2001. doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>","mla":"Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>, IEEE, 2001, doi:<a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","chicago":"Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>. Munich, Germany : IEEE, 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>.","short":"W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.","ieee":"W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: <a href=\"https://doi.org/10.1109/DATE.2001.915002\">10.1109/DATE.2001.915002</a>.","apa":"Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., &#38; Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. <i>Proceedings of the Design, Automation, and Test in Europe (DATE’01)</i>.  Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. <a href=\"https://doi.org/10.1109/DATE.2001.915002\">https://doi.org/10.1109/DATE.2001.915002</a>"},"abstract":[{"text":"We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL.","lang":"eng"}],"date_created":"2023-01-24T10:39:33Z","place":"Munich, Germany ","type":"conference","keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"department":[{"_id":"672"}]},{"date_updated":"2023-01-24T10:43:21Z","title":"Real-Time Model Checking for the Analysis of flexible Manufacturing Systems","status":"public","year":"2001","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"U.","last_name":"Pape","full_name":"Pape, U."},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"}],"user_id":"5786","language":[{"iso":"eng"}],"_id":"39427","publication":"Proceedings of ISI 2001","citation":{"mla":"Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” <i>Proceedings of ISI 2001</i>, 2001.","ama":"Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. In: <i>Proceedings of ISI 2001</i>. ; 2001.","bibtex":"@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf, Jürgen}, year={2001} }","apa":"Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. <i>Proceedings of ISI 2001</i>.","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 2001.","short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai, 2001.","chicago":"Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” In <i>Proceedings of ISI 2001</i>. Dubai, 2001."},"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T10:43:11Z","place":"Dubai"},{"department":[{"_id":"672"}],"type":"conference","keyword":["software prototyping","distributed programming","authoring languages","software agents","program visualisation","parallel languages"],"date_created":"2023-01-24T10:48:09Z","place":"Maui, HI, USA ","abstract":[{"text":"This article presents SAL, a general purpose scripting language for the rapid development of distributed software agents seamlessly embedded in a visual environment. Integrated facilities for dynamic visualization provide sample but powerful means for debugging and domain-oriented animation. SAL agents are arranged on a set of 2D worksheets which can be distributed over different machines. An agent's program is defined by the means of a table specifying a set of state transition rules with a condition and a sequence of actions each. Beyond basic computation and communication, actions can dynamically modify the agent's depiction, its program, and spawn arbitrary processes. A couple of examples demonstrate SAL's applicability in various domains like electronic systems design and process management.","lang":"eng"}],"citation":{"short":"W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Maui, HI, USA , 2001.","chicago":"Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” In <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>. Maui, HI, USA , 2001. <a href=\"https://doi.org/10.1109/HICSS.2001.926319\">https://doi.org/10.1109/HICSS.2001.926319</a>.","apa":"Müller, W., Meyer, A., &#38; Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>. <a href=\"https://doi.org/10.1109/HICSS.2001.926319\">https://doi.org/10.1109/HICSS.2001.926319</a>","ieee":"W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 2001, doi: <a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>.","ama":"Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile Evolving Agents. In: <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>","bibtex":"@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>}, booktitle={Proceedings of the 34th Annual Hawaii International Conference on System Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001} }","mla":"Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>, 2001, doi:<a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>."},"publication":"Proceedings of the 34th Annual Hawaii International Conference on System Sciences","user_id":"5786","doi":"10.1109/HICSS.2001.926319","language":[{"iso":"eng"}],"_id":"39432","date_updated":"2023-01-24T10:48:14Z","publication_identifier":{"isbn":["0-7695-0981-9"]},"author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"A.","last_name":"Meyer","full_name":"Meyer, A."},{"full_name":"Zabel, Henning","last_name":"Zabel","first_name":"Henning"}],"year":"2001","status":"public","title":"A Language for the Rapid Prototyping of Mobile Evolving Agents"},{"_id":"39431","language":[{"iso":"eng"}],"user_id":"5786","author":[{"full_name":"Lehrenfeld, Georg","last_name":"Lehrenfeld","first_name":"Georg"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Tellmann","first_name":"Rainer","full_name":"Tellmann, Rainer"}],"status":"public","title":"Security Concepts for Agent-Based Systems","year":"2001","date_updated":"2023-01-24T10:45:54Z","place":"Enschede, Netherlands","date_created":"2023-01-24T10:45:49Z","department":[{"_id":"672"}],"type":"conference","citation":{"short":"G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede, Netherlands, 2001.","chicago":"Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts for Agent-Based Systems.” In <i>Proceedings of SCASE 01</i>. Enschede, Netherlands, 2001.","ieee":"G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based Systems,” 2001.","apa":"Lehrenfeld, G., Müller, W., &#38; Tellmann, R. (2001). Security Concepts for Agent-Based Systems. <i>Proceedings of SCASE 01</i>.","bibtex":"@inproceedings{Lehrenfeld_Müller_Tellmann_2001, place={Enschede, Netherlands}, title={Security Concepts for Agent-Based Systems}, booktitle={Proceedings of SCASE 01}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}, year={2001} }","ama":"Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems. In: <i>Proceedings of SCASE 01</i>. ; 2001.","mla":"Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” <i>Proceedings of SCASE 01</i>, 2001."},"publication":"Proceedings of SCASE 01"},{"date_created":"2023-01-24T10:24:09Z","place":"Berlin","department":[{"_id":"672"}],"type":"conference","citation":{"mla":"Flake, Stephan, and Wolfgang Müller. <i>Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie</i>. 2001.","ama":"Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.","bibtex":"@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller, Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen} }","apa":"Flake, S., &#38; Müller, W. (2001). <i>Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie</i>.","ieee":"S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.","chicago":"Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.","short":"S. Flake, W. Müller, (2001)."},"abstract":[{"lang":"eng","text":"Die Object Constraint Language (OCL) wurde entwickelt, um Modellierer bei der Spe-\r\nzifikation von Modelleigenschaften im Kontext gegebener UML Diagramme zu un-\r\nterst ̈utzen [3]. Jedoch ist es leider nicht m ̈oglich, Eigenschaften, die das dynamische\r\nVerhalten betreffen, mit der derzeitigen Version von OCL auszudr ̈ucken.\r\nWir pr ̈asentieren eine Erweiterung von OCL Version 1.4 zur Spezifikation von zu-\r\nstandsbasierten, zeitbehafteten Eigenschaften. Obwohl OCL und unsere Erweiterung\r\nin erster Linie im Rahmen der UML entwickelt worden sind, ist es auch m ̈oglich,\r\nmit dieser Sprache Eigenschaften f ̈ur andere objektbasierte Formalismen zu beschrei-\r\nben. Wir veranschaulichen dies anhand einer Anwendung bei der Modellpr ̈ufungsspe-\r\nzifikation in Verbindung mit MFERT, einer praxisrelevanten Notation, die im Projekt\r\nGRASP zur Modellierung von Produktionsabl ̈aufen eingesetzt wird."}],"series_title":"Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen","_id":"39406","language":[{"iso":"eng"}],"user_id":"5786","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"title":"Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie","year":"2001","status":"public","date_updated":"2023-01-24T10:24:15Z"},{"department":[{"_id":"672"}],"type":"conference","place":"Dubai","date_created":"2023-01-24T10:41:05Z","abstract":[{"lang":"eng","text":"This paper introduces the VIVID (Visual Interactive VIew Development) framework for generation and customization of advanced visual interactive environments for resource manipulation in databases. The framework covers the definition of symbols, their mapping to database objects, specification of spatial relationships among them, layout assignment as well as the definition of drag&drop-based user interactions."}],"citation":{"ieee":"A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for Resource Management,” 2001.","apa":"Dangberg, A., &#38; Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. <i>Proceedings of ISI 2001</i>.","short":"A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.","chicago":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” In <i>Proceedings of ISI 2001</i>. Dubai, 2001.","mla":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” <i>Proceedings of ISI 2001</i>, 2001.","bibtex":"@inproceedings{Dangberg_Müller_2001, place={Dubai}, title={Generation of Interactive Visual Interfaces for Resource Management}, booktitle={Proceedings of ISI 2001}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2001} }","ama":"Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource Management. In: <i>Proceedings of ISI 2001</i>. ; 2001."},"publication":"Proceedings of ISI 2001","user_id":"5786","language":[{"iso":"eng"}],"_id":"39425","date_updated":"2023-01-24T10:41:09Z","author":[{"first_name":"Andreas","last_name":"Dangberg","full_name":"Dangberg, Andreas"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"year":"2001","status":"public","title":"Generation of Interactive Visual Interfaces for Resource Management"},{"type":"dissertation","department":[{"_id":"63"},{"_id":"26"}],"date_created":"2020-09-22T10:06:31Z","supervisor":[{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"}],"citation":{"short":"I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","chicago":"Rieping, Ingo. <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i>. Vol. 81. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","apa":"Rieping, I. (2000). <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i> (Vol. 81). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","ieee":"I. Rieping, <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i>, vol. 81. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","ama":"Rieping I. <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i>. Vol 81. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.","bibtex":"@book{Rieping_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Communication in Parallel Systems-Models, Algorithms and Implementations}, volume={81}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Rieping, Ingo}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }","mla":"Rieping, Ingo. <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000."},"user_id":"5786","volume":81,"_id":"19620","language":[{"iso":"eng"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","date_updated":"2022-01-06T06:54:08Z","intvolume":"        81","year":"2000","status":"public","title":"Communication in Parallel Systems-Models, Algorithms and Implementations","author":[{"full_name":"Rieping, Ingo","last_name":"Rieping","first_name":"Ingo"}],"publication_identifier":{"isbn":["3-931466-80-9"]}},{"_id":"19621","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","language":[{"iso":"eng"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","user_id":"5786","volume":90,"year":"2000","title":"Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints","status":"public","publication_identifier":{"isbn":["3-931466-89-2"]},"author":[{"last_name":"Westermann","first_name":"Matthias","full_name":"Westermann, Matthias"}],"date_updated":"2022-01-06T06:54:08Z","intvolume":"        90","date_created":"2020-09-22T10:16:35Z","type":"dissertation","department":[{"_id":"63"},{"_id":"26"}],"citation":{"apa":"Westermann, M. (2000). <i>Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints</i> (Vol. 90). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","ieee":"M. Westermann, <i>Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints</i>, vol. 90. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","short":"M. Westermann, Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","chicago":"Westermann, Matthias. <i>Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints</i>. Vol. 90. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","mla":"Westermann, Matthias. <i>Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.","ama":"Westermann M. <i>Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints</i>. Vol 90. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.","bibtex":"@book{Westermann_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints}, volume={90}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Westermann, Matthias}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }"},"supervisor":[{"id":"15523","first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm"}],"related_material":{"link":[{"url":"https://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20000101283","relation":"confirmation"}]}},{"file":[{"creator":"koala","date_created":"2020-09-28T12:20:10Z","relation":"main_file","date_updated":"2020-09-28T12:20:10Z","file_name":"pub-hni-1656.pdf","file_size":271118,"access_level":"closed","file_id":"19734","content_type":"application/pdf","success":1}],"date_created":"2020-09-28T12:20:20Z","type":"report","department":[{"_id":"63"}],"file_date_updated":"2020-09-28T12:20:10Z","citation":{"ieee":"O. Bonorden, I. Rieping, I. von Otte, and B. Juurlink, <i>PUB-Library, Release 7.0, User Guide and Function Reference</i>. 2000.","apa":"Bonorden, O., Rieping, I., von Otte, I., &#38; Juurlink, B. (2000). <i>PUB-Library, Release 7.0, User Guide and Function Reference</i>.","mla":"Bonorden, Olaf, et al. <i>PUB-Library, Release 7.0, User Guide and Function Reference</i>. 2000.","bibtex":"@book{Bonorden_Rieping_von Otte_Juurlink_2000, title={PUB-Library, Release 7.0, User Guide and Function Reference}, author={Bonorden, Olaf and Rieping, Ingo and von Otte, Ingo and Juurlink, Bernhardus}, year={2000} }","short":"O. Bonorden, I. Rieping, I. von Otte, B. Juurlink, PUB-Library, Release 7.0, User Guide and Function Reference, 2000.","ama":"Bonorden O, Rieping I, von Otte I, Juurlink B. <i>PUB-Library, Release 7.0, User Guide and Function Reference</i>.; 2000.","chicago":"Bonorden, Olaf, Ingo Rieping, Ingo von Otte, and Bernhardus Juurlink. <i>PUB-Library, Release 7.0, User Guide and Function Reference</i>, 2000."},"_id":"19733","language":[{"iso":"eng"}],"ddc":["000"],"user_id":"15415","year":"2000","status":"public","title":"PUB-Library, Release 7.0, User Guide and Function Reference","author":[{"full_name":"Bonorden, Olaf","last_name":"Bonorden","first_name":"Olaf"},{"last_name":"Rieping","first_name":"Ingo","full_name":"Rieping, Ingo"},{"first_name":"Ingo","last_name":"von Otte","full_name":"von Otte, Ingo"},{"full_name":"Juurlink, Bernhardus","first_name":"Bernhardus","last_name":"Juurlink"}],"date_updated":"2022-01-06T06:54:10Z","has_accepted_license":"1"},{"citation":{"ama":"Bednara M, Beyer O, Teich J, Wanka R. Tradeoff analysis and architecture design of a hybrid hardware/software sorter. In: <i>Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)</i>. ; 2000:299-308. doi:<a href=\"https://doi.org/10.1109/asap.2000.862400\">10.1109/asap.2000.862400</a>","bibtex":"@inproceedings{Bednara_Beyer_Teich_Wanka_2000, title={Tradeoff analysis and architecture design of a hybrid hardware/software sorter}, DOI={<a href=\"https://doi.org/10.1109/asap.2000.862400\">10.1109/asap.2000.862400</a>}, booktitle={Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)}, author={Bednara, M. and Beyer, O. and Teich, J. and Wanka, Rolf}, year={2000}, pages={299–308} }","mla":"Bednara, M., et al. “Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter.” <i>Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)</i>, 2000, pp. 299–308, doi:<a href=\"https://doi.org/10.1109/asap.2000.862400\">10.1109/asap.2000.862400</a>.","chicago":"Bednara, M., O. Beyer, J. Teich, and Rolf Wanka. “Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter.” In <i>Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)</i>, 299–308, 2000. <a href=\"https://doi.org/10.1109/asap.2000.862400\">https://doi.org/10.1109/asap.2000.862400</a>.","short":"M. Bednara, O. Beyer, J. Teich, R. Wanka, in: Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP), 2000, pp. 299–308.","apa":"Bednara, M., Beyer, O., Teich, J., &#38; Wanka, R. (2000). Tradeoff analysis and architecture design of a hybrid hardware/software sorter. <i>Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)</i>, 299–308. <a href=\"https://doi.org/10.1109/asap.2000.862400\">https://doi.org/10.1109/asap.2000.862400</a>","ieee":"M. Bednara, O. Beyer, J. Teich, and R. Wanka, “Tradeoff analysis and architecture design of a hybrid hardware/software sorter,” in <i>Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)</i>, 2000, pp. 299–308, doi: <a href=\"https://doi.org/10.1109/asap.2000.862400\">10.1109/asap.2000.862400</a>."},"publication":"Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)","date_created":"2020-10-02T10:30:38Z","department":[{"_id":"63"}],"type":"conference","publication_identifier":{"isbn":["0769507166"]},"author":[{"first_name":"M.","last_name":"Bednara","full_name":"Bednara, M."},{"full_name":"Beyer, O.","last_name":"Beyer","first_name":"O."},{"full_name":"Teich, J.","last_name":"Teich","first_name":"J."},{"full_name":"Wanka, Rolf","last_name":"Wanka","first_name":"Rolf"}],"status":"public","title":"Tradeoff analysis and architecture design of a hybrid hardware/software sorter","year":"2000","publication_status":"published","date_updated":"2022-01-06T06:54:13Z","_id":"19849","language":[{"iso":"eng"}],"page":"299-308","user_id":"15415","doi":"10.1109/asap.2000.862400"},{"_id":"2433","publisher":"Computer Engineering and Networks Lab, ETH Zurich, Switzerland","user_id":"24135","author":[{"first_name":"Christian","orcid":"0000-0001-5728-9982","last_name":"Plessl","full_name":"Plessl, Christian","id":"16153"},{"last_name":"Maurer","first_name":"Simon","full_name":"Maurer, Simon"}],"year":"2000","title":"Hardware/Software Codesign in Speech Compression Applications","status":"public","date_updated":"2022-01-06T06:56:17Z","date_created":"2018-04-17T15:56:00Z","department":[{"_id":"518"}],"keyword":["co-design","speech processing"],"type":"mastersthesis","citation":{"apa":"Plessl, C., &#38; Maurer, S. (2000). <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland.","ieee":"C. Plessl and S. Maurer, <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.","short":"C. Plessl, S. Maurer, Hardware/Software Codesign in Speech Compression Applications, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.","chicago":"Plessl, Christian, and Simon Maurer. <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.","mla":"Plessl, Christian, and Simon Maurer. <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.","ama":"Plessl C, Maurer S. <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2000.","bibtex":"@book{Plessl_Maurer_2000, title={Hardware/Software Codesign in Speech Compression Applications}, publisher={Computer Engineering and Networks Lab, ETH Zurich, Switzerland}, author={Plessl, Christian and Maurer, Simon}, year={2000} }"}},{"publication":"Bulletin of the {EATCS}","citation":{"bibtex":"@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }","ama":"Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>. 2000:92--101.","mla":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of the {EATCS}</i>, 2000, pp. 92--101.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” <i>Bulletin of the {EATCS}</i>, 2000, 92--101.","short":"C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.","ieee":"C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” <i>Bulletin of the {EATCS}</i>, pp. 92--101, 2000.","apa":"Fischer, C., &#38; Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. <i>Bulletin of the {EATCS}</i>, 92--101."},"date_created":"2018-06-14T07:17:49Z","type":"journal_article","department":[{"_id":"77"}],"title":"Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method","status":"public","year":"2000","author":[{"last_name":"Fischer","first_name":"Clemens","full_name":"Fischer, Clemens"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z","page":"92--101","_id":"3247","user_id":"29719"},{"type":"journal_article","department":[{"_id":"77"}],"date_created":"2018-06-14T07:19:50Z","publication":"Formal Asp. Comput.","issue":"3","citation":{"ama":"Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp Comput</i>. 2000;(3):147--164. doi:<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>","bibtex":"@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }","mla":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3, 2000, pp. 147--164, doi:<a href=\"https://doi.org/10.1007/s001650070026\">10.1007/s001650070026</a>.","chicago":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” <i>Formal Asp. Comput.</i>, no. 3 (2000): 147--164. <a href=\"https://doi.org/10.1007/s001650070026\">https://doi.org/10.1007/s001650070026</a>.","short":"H. Wehrheim, Formal Asp. Comput. (2000) 147--164.","apa":"Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. <i>Formal Asp. Comput.</i>, (3), 147--164. <a href=\"https://doi.org/10.1007/s001650070026\">https://doi.org/10.1007/s001650070026</a>","ieee":"H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” <i>Formal Asp. Comput.</i>, no. 3, pp. 147--164, 2000."},"doi":"10.1007/s001650070026","user_id":"29719","page":"147--164","_id":"3248","date_updated":"2022-01-06T06:59:07Z","status":"public","title":"Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications","year":"2000","author":[{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}]},{"department":[{"_id":"77"}],"type":"conference","date_created":"2018-06-14T07:20:56Z","citation":{"mla":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>, edited by Teodor Rus, 2000, pp. 469--483, doi:<a href=\"https://doi.org/10.1007/3-540-45499-3_33\">10.1007/3-540-45499-3_33</a>.","ama":"Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented Formalisms. In: Rus T, ed. <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>. Lecture Notes in Computer Science. ; 2000:469--483. doi:<a href=\"https://doi.org/10.1007/3-540-45499-3_33\">10.1007/3-540-45499-3_33</a>","bibtex":"@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={<a href=\"https://doi.org/10.1007/3-540-45499-3_33\">10.1007/3-540-45499-3_33</a>}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }","apa":"Fischer, C., &#38; Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i> (pp. 469--483). <a href=\"https://doi.org/10.1007/3-540-45499-3_33\">https://doi.org/10.1007/3-540-45499-3_33</a>","ieee":"C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>, 2000, pp. 469--483.","short":"C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” In <i>Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings</i>, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. <a href=\"https://doi.org/10.1007/3-540-45499-3_33\">https://doi.org/10.1007/3-540-45499-3_33</a>."},"publication":"Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings","editor":[{"first_name":"Teodor","last_name":"Rus","full_name":"Rus, Teodor"}],"user_id":"29719","doi":"10.1007/3-540-45499-3_33","series_title":"Lecture Notes in Computer Science","_id":"3249","page":"469--483","date_updated":"2022-01-06T06:59:07Z","author":[{"last_name":"Fischer","first_name":"Clemens","full_name":"Fischer, Clemens"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"year":"2000","status":"public","title":"Behavioural Subtyping Relations for Object-Oriented Formalisms"},{"user_id":"29719","doi":"10.1007/3-540-46428-X_23","editor":[{"last_name":"S. E. Maibaum","first_name":"T.","full_name":"S. E. Maibaum, T."}],"page":"334--348","series_title":"Lecture Notes in Computer Science","_id":"3250","date_updated":"2022-01-06T06:59:07Z","title":"Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods","status":"public","year":"2000","author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-14T07:22:20Z","publication":"Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings","citation":{"chicago":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” In <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i>, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. <a href=\"https://doi.org/10.1007/3-540-46428-X_23\">https://doi.org/10.1007/3-540-46428-X_23</a>.","short":"H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.","ieee":"H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i>, 2000, pp. 334--348.","apa":"Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i> (pp. 334--348). <a href=\"https://doi.org/10.1007/3-540-46428-X_23\">https://doi.org/10.1007/3-540-46428-X_23</a>","bibtex":"@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={<a href=\"https://doi.org/10.1007/3-540-46428-X_23\">10.1007/3-540-46428-X_23</a>}, booktitle={Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }","ama":"Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i>. Lecture Notes in Computer Science. ; 2000:334--348. doi:<a href=\"https://doi.org/10.1007/3-540-46428-X_23\">10.1007/3-540-46428-X_23</a>","mla":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” <i>Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings</i>, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:<a href=\"https://doi.org/10.1007/3-540-46428-X_23\">10.1007/3-540-46428-X_23</a>."}},{"date_updated":"2022-01-06T06:59:07Z","author":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"status":"public","year":"2000","title":"Behavioural Subtyping and Property Preservation","editor":[{"last_name":"F. Smith","first_name":"Scott","full_name":"F. Smith, Scott"},{"full_name":"L. Talcott, Carolyn","first_name":"Carolyn","last_name":"L. Talcott"}],"doi":"10.1007/978-0-387-35520-7_11","user_id":"29719","series_title":"{IFIP} Conference Proceedings","_id":"3251","page":"213--231","citation":{"mla":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i>, edited by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:<a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">10.1007/978-0-387-35520-7_11</a>.","ama":"Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith S, L. Talcott C, eds. <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i>. {IFIP} Conference Proceedings. ; 2000:213--231. doi:<a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">10.1007/978-0-387-35520-7_11</a>","bibtex":"@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={<a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">10.1007/978-0-387-35520-7_11</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors}, year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }","apa":"Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S. F. Smith &#38; C. L. Talcott (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i> (pp. 213--231). <a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">https://doi.org/10.1007/978-0-387-35520-7_11</a>","ieee":"H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i>, 2000, pp. 213--231.","short":"H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.","chicago":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In <i>Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}</i>, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. <a href=\"https://doi.org/10.1007/978-0-387-35520-7_11\">https://doi.org/10.1007/978-0-387-35520-7_11</a>."},"publication":"Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}","department":[{"_id":"77"}],"type":"conference","date_created":"2018-06-14T07:25:14Z"},{"publication":"Automata, Languages and Programming","citation":{"ieee":"J. Blömer, “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices,” in <i>Automata, Languages and Programming</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2000, pp. 248–259.","apa":"Blömer, J. (2000). Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices. In <i>Automata, Languages and Programming</i> (pp. 248–259). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/3-540-45022-x_22\">https://doi.org/10.1007/3-540-45022-x_22</a>","chicago":"Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” In <i>Automata, Languages and Programming</i>, 248–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. <a href=\"https://doi.org/10.1007/3-540-45022-x_22\">https://doi.org/10.1007/3-540-45022-x_22</a>.","short":"J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.","mla":"Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” <i>Automata, Languages and Programming</i>, Springer Berlin Heidelberg, 2000, pp. 248–59, doi:<a href=\"https://doi.org/10.1007/3-540-45022-x_22\">10.1007/3-540-45022-x_22</a>.","bibtex":"@inbook{Blömer_2000, place={Berlin, Heidelberg}, title={Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices}, DOI={<a href=\"https://doi.org/10.1007/3-540-45022-x_22\">10.1007/3-540-45022-x_22</a>}, booktitle={Automata, Languages and Programming}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={2000}, pages={248–259} }","ama":"Blömer J. Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices. In: <i>Automata, Languages and Programming</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2000:248-259. doi:<a href=\"https://doi.org/10.1007/3-540-45022-x_22\">10.1007/3-540-45022-x_22</a>"},"place":"Berlin, Heidelberg","date_created":"2018-06-05T08:27:28Z","type":"book_chapter","department":[{"_id":"64"}],"year":"2000","title":"Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices","status":"public","publication_identifier":{"isbn":["9783540677154","9783540450221"],"issn":["0302-9743"]},"author":[{"full_name":"Blömer, Johannes","last_name":"Blömer","first_name":"Johannes","id":"23"}],"date_updated":"2022-01-06T06:58:51Z","publication_status":"published","page":"248-259","publisher":"Springer Berlin Heidelberg","_id":"3023","doi":"10.1007/3-540-45022-x_22","user_id":"25078"},{"issue":"5/6","publication":"Theory Comput. Syst.","citation":{"bibtex":"@article{Adler_Scheideler_2000, title={Efficient Communication Strategies for Ad Hoc Wireless Networks}, volume={33}, DOI={<a href=\"https://doi.org/10.1007/s002240010006\">10.1007/s002240010006</a>}, number={5/6}, journal={Theory Comput. Syst.}, author={Adler, Micah and Scheideler, Christian}, year={2000}, pages={337--391} }","ama":"Adler M, Scheideler C. Efficient Communication Strategies for Ad Hoc Wireless Networks. <i>Theory Comput Syst</i>. 2000;33(5/6):337--391. doi:<a href=\"https://doi.org/10.1007/s002240010006\">10.1007/s002240010006</a>","mla":"Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies for Ad Hoc Wireless Networks.” <i>Theory Comput. Syst.</i>, vol. 33, no. 5/6, 2000, pp. 337--391, doi:<a href=\"https://doi.org/10.1007/s002240010006\">10.1007/s002240010006</a>.","chicago":"Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies for Ad Hoc Wireless Networks.” <i>Theory Comput. Syst.</i> 33, no. 5/6 (2000): 337--391. <a href=\"https://doi.org/10.1007/s002240010006\">https://doi.org/10.1007/s002240010006</a>.","short":"M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.","ieee":"M. Adler and C. Scheideler, “Efficient Communication Strategies for Ad Hoc Wireless Networks,” <i>Theory Comput. Syst.</i>, vol. 33, no. 5/6, pp. 337--391, 2000.","apa":"Adler, M., &#38; Scheideler, C. (2000). Efficient Communication Strategies for Ad Hoc Wireless Networks. <i>Theory Comput. Syst.</i>, <i>33</i>(5/6), 337--391. <a href=\"https://doi.org/10.1007/s002240010006\">https://doi.org/10.1007/s002240010006</a>"},"type":"journal_article","department":[{"_id":"79"},{"_id":"63"}],"date_created":"2018-04-03T05:51:02Z","date_updated":"2022-01-06T06:54:59Z","intvolume":"        33","title":"Efficient Communication Strategies for Ad Hoc Wireless Networks","status":"public","year":"2000","author":[{"first_name":"Micah","last_name":"Adler","full_name":"Adler, Micah"},{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"}],"doi":"10.1007/s002240010006","user_id":"14955","volume":33,"page":"337--391","language":[{"iso":"eng"}],"_id":"2143"}]