[{"citation":{"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>","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>.","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>","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} }","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>.","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."},"place":"Munich, Germany ","year":"2001","publication_identifier":{"isbn":["0-7695-0993-2"]},"doi":"10.1109/DATE.2001.915002","conference":{"name":" Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001"},"title":"The Simulation Semantics of SystemC","date_created":"2023-01-24T10:39:33Z","author":[{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"},{"last_name":"Hoffmann","full_name":"Hoffmann, D. W.","first_name":"D. W."},{"first_name":"Joachim","full_name":"Gerlach, Joachim","last_name":"Gerlach"},{"last_name":"Kropf","full_name":"Kropf, Thomas","first_name":"Thomas"},{"first_name":"W.","last_name":"Rosenstiehl","full_name":"Rosenstiehl, W."}],"date_updated":"2023-01-24T10:39:38Z","publisher":"IEEE","status":"public","abstract":[{"lang":"eng","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."}],"type":"conference","publication":"Proceedings of the Design, Automation, and Test in Europe (DATE’01)","language":[{"iso":"eng"}],"keyword":["Yarn","Formal verification","Kernel","Hardware design languages","Electronic design automation and methodology","Algebra","Computational modeling","Logic functions","Computer languages","Clocks"],"user_id":"5786","department":[{"_id":"672"}],"_id":"39421"},{"citation":{"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>.","short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai, 2001.","mla":"Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” <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} }","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the Analysis of flexible Manufacturing Systems,” 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.","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."},"place":"Dubai","year":"2001","author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"first_name":"U.","last_name":"Pape","full_name":"Pape, U."},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"date_created":"2023-01-24T10:43:11Z","date_updated":"2023-01-24T10:43:21Z","title":"Real-Time Model Checking for the Analysis of flexible Manufacturing Systems","type":"conference","publication":"Proceedings of ISI 2001","status":"public","user_id":"5786","department":[{"_id":"672"}],"_id":"39427","language":[{"iso":"eng"}]},{"publication":"Proceedings of the 34th Annual Hawaii International Conference on System Sciences","type":"conference","abstract":[{"lang":"eng","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."}],"status":"public","_id":"39432","department":[{"_id":"672"}],"user_id":"5786","keyword":["software prototyping","distributed programming","authoring languages","software agents","program visualisation","parallel languages"],"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["0-7695-0981-9"]},"place":"Maui, HI, USA ","year":"2001","citation":{"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>.","short":"W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Maui, HI, USA , 2001.","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} }","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>","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>.","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>"},"date_updated":"2023-01-24T10:48:14Z","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."},{"last_name":"Zabel","full_name":"Zabel, Henning","first_name":"Henning"}],"date_created":"2023-01-24T10:48:09Z","title":"A Language for the Rapid Prototyping of Mobile Evolving Agents","doi":"10.1109/HICSS.2001.926319"},{"citation":{"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} }","short":"G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede, Netherlands, 2001.","mla":"Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” <i>Proceedings of SCASE 01</i>, 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.","ama":"Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems. In: <i>Proceedings of SCASE 01</i>. ; 2001."},"year":"2001","place":"Enschede, Netherlands","author":[{"first_name":"Georg","last_name":"Lehrenfeld","full_name":"Lehrenfeld, Georg"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"last_name":"Tellmann","full_name":"Tellmann, Rainer","first_name":"Rainer"}],"date_created":"2023-01-24T10:45:49Z","date_updated":"2023-01-24T10:45:54Z","title":"Security Concepts for Agent-Based Systems","type":"conference","publication":"Proceedings of SCASE 01","status":"public","user_id":"5786","department":[{"_id":"672"}],"_id":"39431","language":[{"iso":"eng"}]},{"status":"public","abstract":[{"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.","lang":"eng"}],"type":"conference","language":[{"iso":"eng"}],"user_id":"5786","series_title":"Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen","department":[{"_id":"672"}],"_id":"39406","citation":{"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.","ama":"Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.","short":"S. Flake, W. Müller, (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} }","mla":"Flake, Stephan, and Wolfgang Müller. <i>Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie</i>. 2001.","apa":"Flake, S., &#38; Müller, W. (2001). <i>Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie</i>."},"year":"2001","place":"Berlin","title":"Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie","date_created":"2023-01-24T10:24:09Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2023-01-24T10:24:15Z"},{"date_updated":"2023-01-24T10:41:09Z","date_created":"2023-01-24T10:41:05Z","author":[{"first_name":"Andreas","full_name":"Dangberg, Andreas","last_name":"Dangberg"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"title":"Generation of Interactive Visual Interfaces for Resource Management","year":"2001","place":"Dubai","citation":{"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} }","mla":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” <i>Proceedings of ISI 2001</i>, 2001.","short":"A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.","apa":"Dangberg, A., &#38; Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. <i>Proceedings of ISI 2001</i>.","chicago":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” In <i>Proceedings of ISI 2001</i>. Dubai, 2001.","ieee":"A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for Resource Management,” 2001.","ama":"Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource Management. In: <i>Proceedings of ISI 2001</i>. ; 2001."},"_id":"39425","department":[{"_id":"672"}],"user_id":"5786","language":[{"iso":"eng"}],"publication":"Proceedings of ISI 2001","type":"conference","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."}],"status":"public"},{"intvolume":"        81","citation":{"short":"I. Rieping, Communication in Parallel Systems-Models, Algorithms and Implementations, 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.","apa":"Rieping, I. (2000). <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i> (Vol. 81). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.","ama":"Rieping I. <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i>. Vol 81. 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.","ieee":"I. Rieping, <i>Communication in Parallel Systems-Models, Algorithms and Implementations</i>, vol. 81. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000."},"year":"2000","publication_identifier":{"isbn":["3-931466-80-9"]},"title":"Communication in Parallel Systems-Models, Algorithms and Implementations","volume":81,"supervisor":[{"first_name":"Friedhelm","id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide"}],"author":[{"last_name":"Rieping","full_name":"Rieping, Ingo","first_name":"Ingo"}],"date_created":"2020-09-22T10:06:31Z","publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","date_updated":"2022-01-06T06:54:08Z","status":"public","type":"dissertation","language":[{"iso":"eng"}],"department":[{"_id":"63"},{"_id":"26"}],"user_id":"5786","series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","_id":"19620"},{"type":"dissertation","status":"public","department":[{"_id":"63"},{"_id":"26"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","user_id":"5786","_id":"19621","language":[{"iso":"eng"}],"related_material":{"link":[{"relation":"confirmation","url":"https://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20000101283"}]},"publication_identifier":{"isbn":["3-931466-89-2"]},"intvolume":"        90","citation":{"mla":"Westermann, Matthias. <i>Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints</i>. 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.","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} }","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.","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.","ama":"Westermann M. <i>Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints</i>. Vol 90. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000."},"year":"2000","volume":90,"date_created":"2020-09-22T10:16:35Z","author":[{"full_name":"Westermann, Matthias","last_name":"Westermann","first_name":"Matthias"}],"supervisor":[{"last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523","first_name":"Friedhelm"}],"publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn","date_updated":"2022-01-06T06:54:08Z","title":"Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints"},{"type":"report","status":"public","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"creator":"koala","date_created":"2020-09-28T12:20:10Z","date_updated":"2020-09-28T12:20:10Z","file_name":"pub-hni-1656.pdf","access_level":"closed","file_id":"19734","file_size":271118}],"department":[{"_id":"63"}],"user_id":"15415","_id":"19733","file_date_updated":"2020-09-28T12:20:10Z","language":[{"iso":"eng"}],"ddc":["000"],"has_accepted_license":"1","citation":{"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.","mla":"Bonorden, Olaf, et al. <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>.","ieee":"O. Bonorden, I. Rieping, I. von Otte, and B. Juurlink, <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.","ama":"Bonorden O, Rieping I, von Otte I, Juurlink B. <i>PUB-Library, Release 7.0, User Guide and Function Reference</i>.; 2000."},"year":"2000","author":[{"full_name":"Bonorden, Olaf","last_name":"Bonorden","first_name":"Olaf"},{"last_name":"Rieping","full_name":"Rieping, Ingo","first_name":"Ingo"},{"first_name":"Ingo","full_name":"von Otte, Ingo","last_name":"von Otte"},{"full_name":"Juurlink, Bernhardus","last_name":"Juurlink","first_name":"Bernhardus"}],"date_created":"2020-09-28T12:20:20Z","date_updated":"2022-01-06T06:54:10Z","title":"PUB-Library, Release 7.0, User Guide and Function Reference"},{"user_id":"15415","department":[{"_id":"63"}],"_id":"19849","language":[{"iso":"eng"}],"type":"conference","publication":"Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)","status":"public","date_created":"2020-10-02T10:30:38Z","author":[{"first_name":"M.","full_name":"Bednara, M.","last_name":"Bednara"},{"first_name":"O.","last_name":"Beyer","full_name":"Beyer, O."},{"last_name":"Teich","full_name":"Teich, J.","first_name":"J."},{"first_name":"Rolf","full_name":"Wanka, Rolf","last_name":"Wanka"}],"date_updated":"2022-01-06T06:54:13Z","doi":"10.1109/asap.2000.862400","title":"Tradeoff analysis and architecture design of a hybrid hardware/software sorter","publication_status":"published","publication_identifier":{"isbn":["0769507166"]},"citation":{"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} }","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.","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>.","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>","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>","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>.","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>."},"page":"299-308","year":"2000"},{"department":[{"_id":"518"}],"user_id":"24135","_id":"2433","keyword":["co-design","speech processing"],"type":"mastersthesis","status":"public","date_created":"2018-04-17T15:56:00Z","author":[{"full_name":"Plessl, Christian","id":"16153","last_name":"Plessl","orcid":"0000-0001-5728-9982","first_name":"Christian"},{"first_name":"Simon","last_name":"Maurer","full_name":"Maurer, Simon"}],"date_updated":"2022-01-06T06:56:17Z","publisher":"Computer Engineering and Networks Lab, ETH Zurich, Switzerland","title":"Hardware/Software Codesign in Speech Compression Applications","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.","mla":"Plessl, Christian, and Simon 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.","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} }","ama":"Plessl C, Maurer S. <i>Hardware/Software Codesign in Speech Compression Applications</i>. 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.","ieee":"C. Plessl and S. Maurer, <i>Hardware/Software Codesign in Speech Compression Applications</i>. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000."},"year":"2000"},{"_id":"3247","user_id":"29719","department":[{"_id":"77"}],"status":"public","type":"journal_article","publication":"Bulletin of the {EATCS}","title":"Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:17:49Z","author":[{"last_name":"Fischer","full_name":"Fischer, Clemens","first_name":"Clemens"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"year":"2000","citation":{"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.","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.","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.","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.","short":"C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (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.","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} }"},"page":"92--101"},{"department":[{"_id":"77"}],"user_id":"29719","_id":"3248","status":"public","publication":"Formal Asp. Comput.","type":"journal_article","doi":"10.1007/s001650070026","title":"Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications","author":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_created":"2018-06-14T07:19:50Z","date_updated":"2022-01-06T06:59:07Z","page":"147--164","citation":{"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>","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>.","short":"H. Wehrheim, Formal Asp. Comput. (2000) 147--164.","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} }","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>","ieee":"H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” <i>Formal Asp. Comput.</i>, no. 3, pp. 147--164, 2000.","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>."},"year":"2000","issue":"3"},{"page":"469--483","citation":{"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>","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.","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} }","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>.","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>.","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.","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>"},"year":"2000","doi":"10.1007/3-540-45499-3_33","title":"Behavioural Subtyping Relations for Object-Oriented Formalisms","date_created":"2018-06-14T07:20:56Z","author":[{"last_name":"Fischer","full_name":"Fischer, Clemens","first_name":"Clemens"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:07Z","status":"public","editor":[{"last_name":"Rus","full_name":"Rus, Teodor","first_name":"Teodor"}],"publication":"Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings","type":"conference","department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","_id":"3249"},{"_id":"3250","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"type":"conference","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","editor":[{"last_name":"S. E. Maibaum","full_name":"S. E. Maibaum, T.","first_name":"T."}],"status":"public","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:22:20Z","author":[{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"title":"Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods","doi":"10.1007/3-540-46428-X_23","year":"2000","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>.","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.","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>.","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.","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} }","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>"},"page":"334--348"},{"doi":"10.1007/978-0-387-35520-7_11","title":"Behavioural Subtyping and Property Preservation","author":[{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_created":"2018-06-14T07:25:14Z","date_updated":"2022-01-06T06:59:07Z","page":"213--231","citation":{"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>","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.","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} }","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>.","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.","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>.","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>"},"year":"2000","department":[{"_id":"77"}],"series_title":"{IFIP} Conference Proceedings","user_id":"29719","_id":"3251","status":"public","editor":[{"first_name":"Scott","full_name":"F. Smith, Scott","last_name":"F. Smith"},{"first_name":"Carolyn","full_name":"L. Talcott, Carolyn","last_name":"L. Talcott"}],"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}","type":"conference"},{"user_id":"25078","department":[{"_id":"64"}],"_id":"3023","status":"public","type":"book_chapter","publication":"Automata, Languages and Programming","doi":"10.1007/3-540-45022-x_22","title":"Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices","date_created":"2018-06-05T08:27:28Z","author":[{"first_name":"Johannes","full_name":"Blömer, Johannes","id":"23","last_name":"Blömer"}],"date_updated":"2022-01-06T06:58:51Z","publisher":"Springer Berlin Heidelberg","citation":{"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>","short":"J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.","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} }","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>.","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.","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>.","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>"},"page":"248-259","year":"2000","place":"Berlin, Heidelberg","publication_status":"published","publication_identifier":{"isbn":["9783540677154","9783540450221"],"issn":["0302-9743"]}},{"doi":"10.1007/s002240010006","title":"Efficient Communication Strategies for Ad Hoc Wireless Networks","date_created":"2018-04-03T05:51:02Z","author":[{"first_name":"Micah","last_name":"Adler","full_name":"Adler, Micah"},{"full_name":"Scheideler, Christian","id":"20792","last_name":"Scheideler","first_name":"Christian"}],"volume":33,"date_updated":"2022-01-06T06:54:59Z","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} }","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>.","short":"M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.","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>","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>.","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.","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>"},"page":"337--391","intvolume":"        33","year":"2000","issue":"5/6","language":[{"iso":"eng"}],"user_id":"14955","department":[{"_id":"79"},{"_id":"63"}],"_id":"2143","status":"public","type":"journal_article","publication":"Theory Comput. Syst."},{"doi":"10.1137/S0097539799353431","title":"From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols","date_created":"2018-04-03T06:12:15Z","author":[{"first_name":"Christian","last_name":"Scheideler","id":"20792","full_name":"Scheideler, Christian"},{"first_name":"Berthold","last_name":"Vöcking","full_name":"Vöcking, Berthold"}],"volume":30,"date_updated":"2022-01-06T06:55:00Z","citation":{"ama":"Scheideler C, Vöcking B. From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols. <i>SIAM J Comput</i>. 2000;30(4):1126--1155. doi:<a href=\"https://doi.org/10.1137/S0097539799353431\">10.1137/S0097539799353431</a>","chicago":"Scheideler, Christian, and Berthold Vöcking. “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols.” <i>SIAM J. Comput.</i> 30, no. 4 (2000): 1126--1155. <a href=\"https://doi.org/10.1137/S0097539799353431\">https://doi.org/10.1137/S0097539799353431</a>.","ieee":"C. Scheideler and B. Vöcking, “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols,” <i>SIAM J. Comput.</i>, vol. 30, no. 4, pp. 1126--1155, 2000.","apa":"Scheideler, C., &#38; Vöcking, B. (2000). From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols. <i>SIAM J. Comput.</i>, <i>30</i>(4), 1126--1155. <a href=\"https://doi.org/10.1137/S0097539799353431\">https://doi.org/10.1137/S0097539799353431</a>","bibtex":"@article{Scheideler_Vöcking_2000, title={From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols}, volume={30}, DOI={<a href=\"https://doi.org/10.1137/S0097539799353431\">10.1137/S0097539799353431</a>}, number={4}, journal={SIAM J. Comput.}, author={Scheideler, Christian and Vöcking, Berthold}, year={2000}, pages={1126--1155} }","short":"C. Scheideler, B. Vöcking, SIAM J. Comput. 30 (2000) 1126--1155.","mla":"Scheideler, Christian, and Berthold Vöcking. “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols.” <i>SIAM J. Comput.</i>, vol. 30, no. 4, 2000, pp. 1126--1155, doi:<a href=\"https://doi.org/10.1137/S0097539799353431\">10.1137/S0097539799353431</a>."},"page":"1126--1155","intvolume":"        30","year":"2000","issue":"4","language":[{"iso":"eng"}],"user_id":"14955","department":[{"_id":"79"},{"_id":"63"}],"_id":"2145","status":"public","type":"journal_article","publication":"SIAM J. Comput."},{"date_updated":"2022-01-06T06:55:00Z","oa":"1","author":[{"first_name":"Petra","full_name":"Berenbrink, Petra","last_name":"Berenbrink"},{"full_name":"Brinkmann, André","last_name":"Brinkmann","first_name":"André"},{"first_name":"Christian","full_name":"Scheideler, Christian","id":"20792","last_name":"Scheideler"}],"date_created":"2018-04-03T06:13:07Z","title":"Distributed Path Selection for Storage Networks","has_accepted_license":"1","year":"2000","citation":{"apa":"Berenbrink, P., Brinkmann, A., &#38; Scheideler, C. (2000). Distributed Path Selection for Storage Networks. In <i>PDPTA</i>.","short":"P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.","bibtex":"@inproceedings{Berenbrink_Brinkmann_Scheideler_2000, title={Distributed Path Selection for Storage Networks}, booktitle={PDPTA}, author={Berenbrink, Petra and Brinkmann, André and Scheideler, Christian}, year={2000} }","mla":"Berenbrink, Petra, et al. “Distributed Path Selection for Storage Networks.” <i>PDPTA</i>, 2000.","ama":"Berenbrink P, Brinkmann A, Scheideler C. Distributed Path Selection for Storage Networks. In: <i>PDPTA</i>. ; 2000.","ieee":"P. Berenbrink, A. Brinkmann, and C. Scheideler, “Distributed Path Selection for Storage Networks,” in <i>PDPTA</i>, 2000.","chicago":"Berenbrink, Petra, André Brinkmann, and Christian Scheideler. “Distributed Path Selection for Storage Networks.” In <i>PDPTA</i>, 2000."},"_id":"2146","user_id":"14955","department":[{"_id":"79"},{"_id":"63"}],"ddc":["040"],"language":[{"iso":"eng"}],"file_date_updated":"2018-04-12T08:47:50Z","type":"conference","publication":"PDPTA","urn":"21467","file":[{"access_level":"open_access","file_id":"2299","file_name":"PDPTA-00.pdf","file_size":168677,"creator":"florida","date_created":"2018-04-12T08:47:50Z","date_updated":"2018-04-12T08:47:50Z","relation":"main_file","content_type":"application/pdf"}],"status":"public"}]