[{"date_created":"2023-01-24T09:36:32Z","place":"Bremen","department":[{"_id":"672"}],"type":"conference","citation":{"chicago":"Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.","short":"A. Krupp, W. Müller, (2003).","apa":"Krupp, A., &#38; Müller, W. (2003). <i>Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten</i>.","ieee":"A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003.","ama":"Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. Published online 2003.","bibtex":"@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }","mla":"Krupp, Alexander, and Wolfgang Müller. <i>Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten</i>. 2003."},"series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","_id":"39360","language":[{"iso":"eng"}],"user_id":"5786","author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"title":"Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten","year":"2003","status":"public","date_updated":"2023-01-24T09:36:37Z"},{"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T09:53:01Z","place":"Frankfurt, Germany","publication":"Proceedings of FDL'03","citation":{"bibtex":"@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }","ama":"Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: <i>Proceedings of FDL’03</i>. ; 2003.","mla":"Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” <i>Proceedings of FDL’03</i>, 2003.","short":"A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.","chicago":"Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In <i>Proceedings of FDL’03</i>. Frankfurt, Germany, 2003.","ieee":"A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.","apa":"Krupp, A., &#38; Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. <i>Proceedings of FDL’03</i>."},"user_id":"5786","language":[{"iso":"eng"}],"_id":"39368","date_updated":"2023-01-24T09:53:06Z","year":"2003","status":"public","title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}]},{"date_updated":"2023-01-24T09:54:24Z","title":"Formal Semantics of OCL Messages","year":"2003","status":"public","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"user_id":"5786","language":[{"iso":"eng"}],"_id":"39369","abstract":[{"lang":"eng","text":"The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodel based semantics that uses UML itself to associate the semantic domain with the language concepts and a formal semantics based on a set-theoretic approach called object model. Unfortunately, these two semantics are currently neither consistent nor complete, as (a) the formal semantics does not consider the newly introduced concept of OCL messages and (b) both semantics lack an integration of Statecharts and a semantic denition of state-related operations. This article focuses on a formal semantics for OCL messages as a foundation for consistency among,the two OCL semantics. We extend object models and present an extended denition of a system state that comprises all relevant information to be able to evaluate OCL expressions also w.r.t. OCL messages."}],"publication":"Proceedings of the Workshop OCL 2.0 at UML 2003","citation":{"bibtex":"@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","ama":"Flake S, Müller W. Formal Semantics of OCL Messages. In: <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. ; 2003.","mla":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>, 2003.","short":"S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.","chicago":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” In <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. San Francisco, USA, 2003.","ieee":"S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Formal Semantics of OCL Messages. <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>."},"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T09:54:09Z","place":"San Francisco, USA"},{"type":"conference","department":[{"_id":"78"}],"date_created":"2019-10-04T21:22:53Z","publication":"Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)","citation":{"short":"C. Steiger, H. Walder, M. Platzner, L. Thiele, in: Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS), IEEE CS Press, 2003, pp. 224–225.","ama":"Steiger C, Walder H, Platzner M, Thiele L. Online scheduling and placement of real-time tasks to partially reconfigurable devices. In: <i>Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)</i>. IEEE CS Press; 2003:224-225. doi:<a href=\"https://doi.org/10.1109/real.2003.1253269\">10.1109/real.2003.1253269</a>","chicago":"Steiger, Christoph, Herbert Walder, Marco Platzner, and Lothar Thiele. “Online Scheduling and Placement of Real-Time Tasks to Partially Reconfigurable Devices.” In <i>Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)</i>, 224–25. IEEE CS Press, 2003. <a href=\"https://doi.org/10.1109/real.2003.1253269\">https://doi.org/10.1109/real.2003.1253269</a>.","bibtex":"@inproceedings{Steiger_Walder_Platzner_Thiele_2003, title={Online scheduling and placement of real-time tasks to partially reconfigurable devices}, DOI={<a href=\"https://doi.org/10.1109/real.2003.1253269\">10.1109/real.2003.1253269</a>}, booktitle={Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)}, publisher={IEEE CS Press}, author={Steiger, Christoph and Walder, Herbert and Platzner, Marco and Thiele, Lothar}, year={2003}, pages={224–225} }","apa":"Steiger, C., Walder, H., Platzner, M., &#38; Thiele, L. (2003). Online scheduling and placement of real-time tasks to partially reconfigurable devices. <i>Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)</i>, 224–225. <a href=\"https://doi.org/10.1109/real.2003.1253269\">https://doi.org/10.1109/real.2003.1253269</a>","mla":"Steiger, Christoph, et al. “Online Scheduling and Placement of Real-Time Tasks to Partially Reconfigurable Devices.” <i>Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)</i>, IEEE CS Press, 2003, pp. 224–25, doi:<a href=\"https://doi.org/10.1109/real.2003.1253269\">10.1109/real.2003.1253269</a>.","ieee":"C. Steiger, H. Walder, M. Platzner, and L. Thiele, “Online scheduling and placement of real-time tasks to partially reconfigurable devices,” in <i>Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)</i>, 2003, pp. 224–225, doi: <a href=\"https://doi.org/10.1109/real.2003.1253269\">10.1109/real.2003.1253269</a>."},"user_id":"14972","doi":"10.1109/real.2003.1253269","page":"224-225","language":[{"iso":"eng"}],"_id":"13617","publisher":"IEEE CS Press","publication_status":"published","date_updated":"2026-02-23T16:04:54Z","year":"2003","title":"Online scheduling and placement of real-time tasks to partially reconfigurable devices","status":"public","publication_identifier":{"isbn":["0769520448"]},"author":[{"full_name":"Steiger, Christoph","last_name":"Steiger","first_name":"Christoph"},{"last_name":"Walder","first_name":"Herbert","full_name":"Walder, Herbert"},{"full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco","id":"398"},{"first_name":"Lothar","last_name":"Thiele","full_name":"Thiele, Lothar"}]},{"citation":{"short":"B. Schwerdtfeger, F. Goetz, G. Domik, in: 2003.","chicago":"Schwerdtfeger, Björn, Frank Goetz, and Gitta Domik. “3D Interaktives Baukastensystem Unter Verwendung von Augmented Reality Techniken,” 2003.","ieee":"B. Schwerdtfeger, F. Goetz, and G. Domik, “3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken,” 2003.","apa":"Schwerdtfeger, B., Goetz, F., &#38; Domik, G. (2003). <i>3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken</i>.","bibtex":"@inproceedings{Schwerdtfeger_Goetz_Domik_2003, title={3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken}, author={Schwerdtfeger, Björn and Goetz, Frank and Domik, Gitta}, year={2003} }","ama":"Schwerdtfeger B, Goetz F, Domik G. 3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken. In: ; 2003.","mla":"Schwerdtfeger, Björn, et al. <i>3D Interaktives Baukastensystem Unter Verwendung von Augmented Reality Techniken</i>. 2003."},"date_created":"2019-11-25T09:37:31Z","type":"conference","department":[{"_id":"65"}],"status":"public","year":"2003","title":"3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken","author":[{"full_name":"Schwerdtfeger, Björn","first_name":"Björn","last_name":"Schwerdtfeger"},{"first_name":"Frank","last_name":"Goetz","full_name":"Goetz, Frank"},{"full_name":"Domik, Gitta","last_name":"Domik","first_name":"Gitta","id":"90"}],"date_updated":"2026-02-24T14:50:46Z","language":[{"iso":"eng"}],"_id":"15165","user_id":"14972"},{"status":"public","title":"Relaying in Wireless Access Networks ","year":"2002","author":[{"id":"126","full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl"},{"last_name":"Mengesha","first_name":"Seble","full_name":"Mengesha, Seble"},{"full_name":"Hollos, Daniel","last_name":"Hollos","first_name":"Daniel"}],"date_updated":"2022-01-06T06:57:02Z","has_accepted_license":"1","publisher":"Business Briefing: Wireless Technology 2002","_id":"2538","ddc":["000"],"user_id":"15572","file_date_updated":"2018-04-26T11:25:41Z","citation":{"bibtex":"@book{Karl_Mengesha_Hollos_2002, place={London}, title={Relaying in Wireless Access Networks }, publisher={Business Briefing: Wireless Technology 2002}, author={Karl, Holger and Mengesha, Seble and Hollos, Daniel}, year={2002} }","ama":"Karl H, Mengesha S, Hollos D. <i>Relaying in Wireless Access Networks </i>. London: Business Briefing: Wireless Technology 2002; 2002.","mla":"Karl, Holger, et al. <i>Relaying in Wireless Access Networks </i>. Business Briefing: Wireless Technology 2002, 2002.","chicago":"Karl, Holger, Seble Mengesha, and Daniel Hollos. <i>Relaying in Wireless Access Networks </i>. London: Business Briefing: Wireless Technology 2002, 2002.","short":"H. Karl, S. Mengesha, D. Hollos, Relaying in Wireless Access Networks , Business Briefing: Wireless Technology 2002, London, 2002.","ieee":"H. Karl, S. Mengesha, and D. Hollos, <i>Relaying in Wireless Access Networks </i>. London: Business Briefing: Wireless Technology 2002, 2002.","apa":"Karl, H., Mengesha, S., &#38; Hollos, D. (2002). <i>Relaying in Wireless Access Networks </i>. London: Business Briefing: Wireless Technology 2002."},"file":[{"access_level":"closed","file_size":226530,"file_name":"karlBusinessBriefingRelayAdHoc.pdf","date_updated":"2018-04-26T11:25:41Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"2539","creator":"tabu","date_created":"2018-04-26T11:25:41Z"}],"place":"London","date_created":"2018-04-26T11:25:49Z","type":"report","department":[{"_id":"75"}]},{"_id":"2541","user_id":"15572","ddc":["000"],"title":" Making sensor networks intelligent","status":"public","year":"2002","author":[{"first_name":"Andreas","last_name":"Köpke","full_name":"Köpke, Andreas"},{"full_name":"Handziski, Vlado","last_name":"Handziski","first_name":"Vlado"},{"full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger","id":"126"}],"date_updated":"2022-01-06T06:57:04Z","has_accepted_license":"1","file":[{"content_type":"application/pdf","success":1,"file_id":"2542","file_size":249660,"access_level":"closed","file_name":"WWRF7.pdf","date_updated":"2018-04-26T11:28:39Z","relation":"main_file","date_created":"2018-04-26T11:28:39Z","creator":"tabu"}],"date_created":"2018-04-26T11:28:47Z","place":"Eindhoven/Netherlands","type":"conference","department":[{"_id":"75"}],"file_date_updated":"2018-04-26T11:28:39Z","publication":"Proc. 7th Wireless World Research Forum (WWRF)","citation":{"mla":"Köpke, Andreas, et al. “ Making Sensor Networks Intelligent.” <i>Proc. 7th Wireless World Research Forum (WWRF)</i>, 2002.","bibtex":"@inproceedings{Köpke_Handziski_Karl_2002, place={Eindhoven/Netherlands}, title={ Making sensor networks intelligent}, booktitle={Proc. 7th Wireless World Research Forum (WWRF)}, author={Köpke, Andreas and Handziski, Vlado and Karl, Holger}, year={2002} }","ama":"Köpke A, Handziski V, Karl H.  Making sensor networks intelligent. In: <i>Proc. 7th Wireless World Research Forum (WWRF)</i>. Eindhoven/Netherlands; 2002.","ieee":"A. Köpke, V. Handziski, and H. Karl, “ Making sensor networks intelligent,” in <i>Proc. 7th Wireless World Research Forum (WWRF)</i>, 2002.","apa":"Köpke, A., Handziski, V., &#38; Karl, H. (2002).  Making sensor networks intelligent. In <i>Proc. 7th Wireless World Research Forum (WWRF)</i>. Eindhoven/Netherlands.","short":"A. Köpke, V. Handziski, H. Karl, in: Proc. 7th Wireless World Research Forum (WWRF), Eindhoven/Netherlands, 2002.","chicago":"Köpke, Andreas, Vlado Handziski, and Holger Karl. “ Making Sensor Networks Intelligent.” In <i>Proc. 7th Wireless World Research Forum (WWRF)</i>. Eindhoven/Netherlands, 2002."}},{"ddc":["000"],"user_id":"15572","_id":"2544","date_updated":"2022-01-06T06:57:05Z","has_accepted_license":"1","year":"2002","status":"public","title":"Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks","author":[{"full_name":"Miesmer, Horst","first_name":"Horst","last_name":"Miesmer"},{"last_name":"Sanneck","first_name":"Henning","full_name":"Sanneck, Henning"},{"full_name":"Aguier, Ana","last_name":"Aguier","first_name":"Ana"},{"id":"126","full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger"}],"type":"conference","department":[{"_id":"75"}],"file":[{"date_created":"2018-04-26T11:30:52Z","creator":"tabu","success":1,"content_type":"application/pdf","file_id":"2547","date_updated":"2018-04-26T11:30:52Z","relation":"main_file","access_level":"closed","file_size":320477,"file_name":"WWRF6.pdf"}],"place":"London / GB","date_created":"2018-04-26T11:32:29Z","publication":"Proc. of 6th Wireless World Forum","file_date_updated":"2018-04-26T11:30:52Z","citation":{"ieee":"H. Miesmer, H. Sanneck, A. Aguier, and H. Karl, “Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks,” in <i>Proc. of 6th Wireless World Forum</i>, 2002.","apa":"Miesmer, H., Sanneck, H., Aguier, A., &#38; Karl, H. (2002). Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks. In <i>Proc. of 6th Wireless World Forum</i>. London / GB.","short":"H. Miesmer, H. Sanneck, A. Aguier, H. Karl, in: Proc. of 6th Wireless World Forum, London / GB, 2002.","chicago":"Miesmer, Horst, Henning Sanneck, Ana Aguier, and Holger Karl. “Concepts for a QoS-Enabled, TCP/IP-Oriented Link Layer in Beyond 3G Networks.” In <i>Proc. of 6th Wireless World Forum</i>. London / GB, 2002.","mla":"Miesmer, Horst, et al. “Concepts for a QoS-Enabled, TCP/IP-Oriented Link Layer in Beyond 3G Networks.” <i>Proc. of 6th Wireless World Forum</i>, 2002.","bibtex":"@inproceedings{Miesmer_Sanneck_Aguier_Karl_2002, place={London / GB}, title={Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks}, booktitle={Proc. of 6th Wireless World Forum}, author={Miesmer, Horst and Sanneck, Henning and Aguier, Ana and Karl, Holger}, year={2002} }","ama":"Miesmer H, Sanneck H, Aguier A, Karl H. Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks. In: <i>Proc. of 6th Wireless World Forum</i>. London / GB; 2002."}},{"publication":"Proc. of 2nd Intl. OMNet Workshop","file_date_updated":"2018-04-26T11:34:27Z","citation":{"ieee":"D. Hollos and H. Karl, “A HiperLAN/2 simulation model in OMNeT++,” in <i>Proc. of 2nd Intl. OMNet Workshop</i>, 2002.","apa":"Hollos, D., &#38; Karl, H. (2002). A HiperLAN/2 simulation model in OMNeT++. In <i>Proc. of 2nd Intl. OMNet Workshop</i>. Berlin .","chicago":"Hollos, D., and Holger Karl. “A HiperLAN/2 Simulation Model in OMNeT++.” In <i>Proc. of 2nd Intl. OMNet Workshop</i>. Berlin , 2002.","short":"D. Hollos, H. Karl, in: Proc. of 2nd Intl. OMNet Workshop, Berlin , 2002.","mla":"Hollos, D., and Holger Karl. “A HiperLAN/2 Simulation Model in OMNeT++.” <i>Proc. of 2nd Intl. OMNet Workshop</i>, 2002.","bibtex":"@inproceedings{Hollos_Karl_2002, place={Berlin }, title={A HiperLAN/2 simulation model in OMNeT++}, booktitle={Proc. of 2nd Intl. OMNet Workshop}, author={Hollos, D. and Karl, Holger}, year={2002} }","ama":"Hollos D, Karl H. A HiperLAN/2 simulation model in OMNeT++. In: <i>Proc. of 2nd Intl. OMNet Workshop</i>. Berlin ; 2002."},"file":[{"creator":"tabu","date_created":"2018-04-26T11:34:27Z","relation":"main_file","date_updated":"2018-04-26T11:34:27Z","file_name":"omnet.pdf","access_level":"closed","file_size":352064,"file_id":"2550","content_type":"application/pdf","success":1}],"place":"Berlin ","date_created":"2018-04-26T11:34:35Z","type":"conference","department":[{"_id":"75"}],"title":"A HiperLAN/2 simulation model in OMNeT++","year":"2002","status":"public","author":[{"full_name":"Hollos, D.","last_name":"Hollos","first_name":"D."},{"last_name":"Karl","first_name":"Holger","full_name":"Karl, Holger","id":"126"}],"date_updated":"2022-01-06T06:57:06Z","has_accepted_license":"1","_id":"2548","ddc":["000"],"user_id":"15572"},{"page":"2202-2208","_id":"19727","language":[{"iso":"eng"}],"user_id":"15415","title":"Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example","year":"2002","status":"public","author":[{"full_name":"Bonorden, Olaf","last_name":"Bonorden","first_name":"Olaf"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"},{"full_name":"Wanka, Rolf","first_name":"Rolf","last_name":"Wanka"}],"date_updated":"2022-01-06T06:54:10Z","date_created":"2020-09-28T10:49:50Z","type":"conference","department":[{"_id":"63"}],"publication":"Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA)","citation":{"bibtex":"@inproceedings{Bonorden_Meyer auf der Heide_Wanka_2002, title={Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example}, booktitle={Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA)}, author={Bonorden, Olaf and Meyer auf der Heide, Friedhelm and Wanka, Rolf}, year={2002}, pages={2202–2208} }","ama":"Bonorden O, Meyer auf der Heide F, Wanka R. Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example. In: <i>Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA)</i>. ; 2002:2202-2208.","mla":"Bonorden, Olaf, et al. “Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example.” <i>Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA)</i>, 2002, pp. 2202–08.","short":"O. Bonorden, F. Meyer auf der Heide, R. Wanka, in: Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2002, pp. 2202–2208.","chicago":"Bonorden, Olaf, Friedhelm Meyer auf der Heide, and Rolf Wanka. “Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example.” In <i>Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA)</i>, 2202–8, 2002.","ieee":"O. Bonorden, F. Meyer auf der Heide, and R. Wanka, “Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example,” in <i>Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA)</i>, 2002, pp. 2202–2208.","apa":"Bonorden, O., Meyer auf der Heide, F., &#38; Wanka, R. (2002). Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example. In <i>Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA)</i> (pp. 2202–2208)."}},{"publication":"Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)","citation":{"mla":"Wanka, Rolf. “Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal.” <i>Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)</i>, 2002, pp. 413–20, doi:<a href=\"https://doi.org/10.1007/3-540-36379-3_36\">10.1007/3-540-36379-3_36</a>.","ama":"Wanka R. Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal. In: <i>Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)</i>. Berlin, Heidelberg; 2002:413-420. doi:<a href=\"https://doi.org/10.1007/3-540-36379-3_36\">10.1007/3-540-36379-3_36</a>","bibtex":"@inproceedings{Wanka_2002, place={Berlin, Heidelberg}, title={Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal}, DOI={<a href=\"https://doi.org/10.1007/3-540-36379-3_36\">10.1007/3-540-36379-3_36</a>}, booktitle={Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)}, author={Wanka, Rolf}, year={2002}, pages={413–420} }","apa":"Wanka, R. (2002). Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal. In <i>Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)</i> (pp. 413–420). Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-36379-3_36\">https://doi.org/10.1007/3-540-36379-3_36</a>","ieee":"R. Wanka, “Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal,” in <i>Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)</i>, 2002, pp. 413–420.","chicago":"Wanka, Rolf. “Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal.” In <i>Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)</i>, 413–20. Berlin, Heidelberg, 2002. <a href=\"https://doi.org/10.1007/3-540-36379-3_36\">https://doi.org/10.1007/3-540-36379-3_36</a>.","short":"R. Wanka, in: Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG), Berlin, Heidelberg, 2002, pp. 413–420."},"place":"Berlin, Heidelberg","date_created":"2020-10-02T11:16:31Z","type":"conference","department":[{"_id":"63"}],"status":"public","title":"Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal","year":"2002","author":[{"first_name":"Rolf","last_name":"Wanka","full_name":"Wanka, Rolf"}],"publication_identifier":{"issn":["0302-9743"],"isbn":["9783540003311","9783540363798"]},"date_updated":"2022-01-06T06:54:13Z","publication_status":"published","page":"413-420","language":[{"iso":"eng"}],"_id":"19850","doi":"10.1007/3-540-36379-3_36","user_id":"15415"},{"abstract":[{"text":"We present a new and easy to use framework for navigating through scenes of arbitrary complexity and topology. In the preprocessing, images for discrete viewpoints and viewing directions are rendered and stored on an external volume. During navigation each image can be displayed within a very short time by loading it from the volume. For acceleration, our prefetching strategy loads possibly needed images for the next few frames if the viewer takes a break. The measurements show that we achieve interactive frame rates, whereby the difference between the minimal and maximal display time is very small. Our system works well with scenes modelled by polygons, but also digital photos can easily be used for describing a 3D scene.","lang":"eng"}],"publication":"Proc. of 4. GI-Informatiktage","citation":{"apa":"Klein, J., Krokowski, J., &#38; Cuntz, N. (2002). Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression. In <i>Proc. of 4. GI-Informatiktage</i> (pp. 224–229).","ieee":"J. Klein, J. Krokowski, and N. Cuntz, “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression,” in <i>Proc. of 4. GI-Informatiktage</i>, 2002, pp. 224–229.","short":"J. Klein, J. Krokowski, N. Cuntz, in: Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.","chicago":"Klein, Jan, Jens Krokowski, and Nicolas Cuntz. “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression.” In <i>Proc. of 4. GI-Informatiktage</i>, 224–29, 2002.","mla":"Klein, Jan, et al. “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression.” <i>Proc. of 4. GI-Informatiktage</i>, 2002, pp. 224–29.","ama":"Klein J, Krokowski J, Cuntz N. Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression. In: <i>Proc. of 4. GI-Informatiktage</i>. ; 2002:224-229.","bibtex":"@inproceedings{Klein_Krokowski_Cuntz_2002, title={Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression}, booktitle={Proc. of 4. GI-Informatiktage}, author={Klein, Jan and Krokowski, Jens and Cuntz, Nicolas}, year={2002}, pages={224–229} }"},"type":"conference","department":[{"_id":"63"}],"date_created":"2020-10-05T09:51:08Z","date_updated":"2022-01-06T06:54:14Z","title":"Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression","year":"2002","status":"public","author":[{"full_name":"Klein, Jan","last_name":"Klein","first_name":"Jan"},{"full_name":"Krokowski, Jens","first_name":"Jens","last_name":"Krokowski"},{"first_name":"Nicolas","last_name":"Cuntz","full_name":"Cuntz, Nicolas"}],"user_id":"15415","page":"224-229","_id":"19873","language":[{"iso":"eng"}]},{"type":"conference","keyword":["wearable computing"],"department":[{"_id":"518"},{"_id":"78"}],"date_created":"2018-04-17T15:13:50Z","abstract":[{"lang":"eng","text":"Wearable computers are embedded into the mobile environment of the human body. A design challenge for wearable systems is to combine the high performance required for tasks such as video decoding with low energy consumption required to maximize battery runtimes and the flexibility demanded by the dynamics of the environment and the applications. In this paper, we demonstrate that reconfigurable hardware technology is able to answer this challenge. We present the concept and the prototype implementation of an autonomous wearable unit with reconfigurable modules (WURM). We discuss two experiments that show the uses of reconfigurable hardware in WURM: ASICs-on-demand and adaptive interfaces. Finally, we develop and evaluate task placement techniques used in the operating system layer of WURM."}],"publication":"Proc. Int. Symp. on Wearable Computers (ISWC)","citation":{"chicago":"Plessl, Christian, Rolf Enzler, Herbert Walder, Jan Beutel, Marco Platzner, and Lothar Thiele. “Reconfigurable Hardware in Wearable Computing Nodes.” In <i>Proc. Int. Symp. on Wearable Computers (ISWC)</i>, 215–22. IEEE Computer Society, 2002. <a href=\"https://doi.org/10.1109/ISWC.2002.1167250\">https://doi.org/10.1109/ISWC.2002.1167250</a>.","short":"C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, in: Proc. Int. Symp. on Wearable Computers (ISWC), IEEE Computer Society, 2002, pp. 215–222.","apa":"Plessl, C., Enzler, R., Walder, H., Beutel, J., Platzner, M., &#38; Thiele, L. (2002). Reconfigurable Hardware in Wearable Computing Nodes. In <i>Proc. Int. Symp. on Wearable Computers (ISWC)</i> (pp. 215–222). IEEE Computer Society. <a href=\"https://doi.org/10.1109/ISWC.2002.1167250\">https://doi.org/10.1109/ISWC.2002.1167250</a>","ieee":"C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, and L. Thiele, “Reconfigurable Hardware in Wearable Computing Nodes,” in <i>Proc. Int. Symp. on Wearable Computers (ISWC)</i>, 2002, pp. 215–222.","ama":"Plessl C, Enzler R, Walder H, Beutel J, Platzner M, Thiele L. Reconfigurable Hardware in Wearable Computing Nodes. In: <i>Proc. Int. Symp. on Wearable Computers (ISWC)</i>. IEEE Computer Society; 2002:215-222. doi:<a href=\"https://doi.org/10.1109/ISWC.2002.1167250\">10.1109/ISWC.2002.1167250</a>","bibtex":"@inproceedings{Plessl_Enzler_Walder_Beutel_Platzner_Thiele_2002, title={Reconfigurable Hardware in Wearable Computing Nodes}, DOI={<a href=\"https://doi.org/10.1109/ISWC.2002.1167250\">10.1109/ISWC.2002.1167250</a>}, booktitle={Proc. Int. Symp. on Wearable Computers (ISWC)}, publisher={IEEE Computer Society}, author={Plessl, Christian and Enzler, Rolf and Walder, Herbert and Beutel, Jan and Platzner, Marco and Thiele, Lothar}, year={2002}, pages={215–222} }","mla":"Plessl, Christian, et al. “Reconfigurable Hardware in Wearable Computing Nodes.” <i>Proc. Int. Symp. on Wearable Computers (ISWC)</i>, IEEE Computer Society, 2002, pp. 215–22, doi:<a href=\"https://doi.org/10.1109/ISWC.2002.1167250\">10.1109/ISWC.2002.1167250</a>."},"doi":"10.1109/ISWC.2002.1167250","user_id":"24135","page":"215-222","publisher":"IEEE Computer Society","_id":"2423","date_updated":"2022-01-06T06:56:13Z","year":"2002","status":"public","title":"Reconfigurable Hardware in Wearable Computing Nodes","publication_identifier":{"isbn":["0-7695-1816-8"]},"author":[{"last_name":"Plessl","orcid":"0000-0001-5728-9982","first_name":"Christian","full_name":"Plessl, Christian","id":"16153"},{"full_name":"Enzler, Rolf","first_name":"Rolf","last_name":"Enzler"},{"first_name":"Herbert","last_name":"Walder","full_name":"Walder, Herbert"},{"last_name":"Beutel","first_name":"Jan","full_name":"Beutel, Jan"},{"id":"398","last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco"},{"last_name":"Thiele","first_name":"Lothar","full_name":"Thiele, Lothar"}]},{"date_updated":"2022-01-06T06:56:13Z","intvolume":"      2438","title":"Partially Reconfigurable Cores for Xilinx Virtex","status":"public","year":"2002","author":[{"first_name":"Matthias","last_name":"Dyer","full_name":"Dyer, Matthias"},{"id":"16153","full_name":"Plessl, Christian","first_name":"Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"user_id":"24135","doi":"10.1007/3-540-46117-5","volume":2438,"page":"292-301","_id":"2424","publisher":"Springer","series_title":"Lecture Notes in Computer Science (LNCS)","abstract":[{"text":" Recent generations of high-density and high-speed FPGAs provide a sufficient capacity for implementing complete configurable systems on a chip (CSoCs). Hybrid CPUs that combine standard CPU cores with reconfigurable coprocessors are an important subclass of CSoCs. With partially reconfigurable FPGAs, coprocessors can be loaded on demand while the CPU remains running. However, the lack of high-level design tools for partial reconfiguration makes practical implementations a challenging task. In this paper, we introduce a design flow to implement hybrid processors on Xilinx Virtex. The design flow is based on two techniques, virtual sockets and feed-through components, and can efficiently generate partial configurations from industry-quality cores. We discuss the design flow and present a fully operational audio streaming prototype to demonstrate its feasibility. ","lang":"eng"}],"publication":"Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)","citation":{"bibtex":"@inproceedings{Dyer_Plessl_Platzner_2002, series={Lecture Notes in Computer Science (LNCS)}, title={Partially Reconfigurable Cores for Xilinx Virtex}, volume={2438}, DOI={<a href=\"https://doi.org/10.1007/3-540-46117-5\">10.1007/3-540-46117-5</a>}, booktitle={Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)}, publisher={Springer}, author={Dyer, Matthias and Plessl, Christian and Platzner, Marco}, year={2002}, pages={292–301}, collection={Lecture Notes in Computer Science (LNCS)} }","ama":"Dyer M, Plessl C, Platzner M. Partially Reconfigurable Cores for Xilinx Virtex. In: <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>. Vol 2438. Lecture Notes in Computer Science (LNCS). Springer; 2002:292-301. doi:<a href=\"https://doi.org/10.1007/3-540-46117-5\">10.1007/3-540-46117-5</a>","mla":"Dyer, Matthias, et al. “Partially Reconfigurable Cores for Xilinx Virtex.” <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>, vol. 2438, Springer, 2002, pp. 292–301, doi:<a href=\"https://doi.org/10.1007/3-540-46117-5\">10.1007/3-540-46117-5</a>.","chicago":"Dyer, Matthias, Christian Plessl, and Marco Platzner. “Partially Reconfigurable Cores for Xilinx Virtex.” In <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>, 2438:292–301. Lecture Notes in Computer Science (LNCS). Springer, 2002. <a href=\"https://doi.org/10.1007/3-540-46117-5\">https://doi.org/10.1007/3-540-46117-5</a>.","short":"M. Dyer, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2002, pp. 292–301.","ieee":"M. Dyer, C. Plessl, and M. Platzner, “Partially Reconfigurable Cores for Xilinx Virtex,” in <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>, 2002, vol. 2438, pp. 292–301.","apa":"Dyer, M., Plessl, C., &#38; Platzner, M. (2002). Partially Reconfigurable Cores for Xilinx Virtex. In <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i> (Vol. 2438, pp. 292–301). Springer. <a href=\"https://doi.org/10.1007/3-540-46117-5\">https://doi.org/10.1007/3-540-46117-5</a>"},"type":"conference","keyword":["partial reconfiguration"],"department":[{"_id":"518"},{"_id":"78"}],"date_created":"2018-04-17T15:14:39Z"},{"abstract":[{"lang":"eng","text":" We present instance-specific custom computing machines for the set covering problem. Four accelerator architectures are developed that implement branch \\& bound in 3-valued logic and many of the deduction techniques found in software solvers. We use set covering benchmarks from two-level logic minimization and Steiner triple systems to derive and discuss experimental results. The resulting raw speedups are in the order of four magnitudes on average. Finally, we propose a hybrid solver architecture that combines the raw speed of instance-specific reconfigurable hardware with flexible bounding schemes implemented in software. "}],"citation":{"apa":"Plessl, C., &#38; Platzner, M. (2002). Custom Computing Machines for the Set Covering Problem. In <i>Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)</i> (pp. 163–172). IEEE Computer Society. <a href=\"https://doi.org/10.1109/FPGA.2002.1106671\">https://doi.org/10.1109/FPGA.2002.1106671</a>","ieee":"C. Plessl and M. Platzner, “Custom Computing Machines for the Set Covering Problem,” in <i>Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)</i>, 2002, pp. 163–172.","short":"C. Plessl, M. Platzner, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2002, pp. 163–172.","chicago":"Plessl, Christian, and Marco Platzner. “Custom Computing Machines for the Set Covering Problem.” In <i>Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)</i>, 163–72. IEEE Computer Society, 2002. <a href=\"https://doi.org/10.1109/FPGA.2002.1106671\">https://doi.org/10.1109/FPGA.2002.1106671</a>.","mla":"Plessl, Christian, and Marco Platzner. “Custom Computing Machines for the Set Covering Problem.” <i>Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)</i>, IEEE Computer Society, 2002, pp. 163–72, doi:<a href=\"https://doi.org/10.1109/FPGA.2002.1106671\">10.1109/FPGA.2002.1106671</a>.","ama":"Plessl C, Platzner M. Custom Computing Machines for the Set Covering Problem. In: <i>Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)</i>. IEEE Computer Society; 2002:163-172. doi:<a href=\"https://doi.org/10.1109/FPGA.2002.1106671\">10.1109/FPGA.2002.1106671</a>","bibtex":"@inproceedings{Plessl_Platzner_2002, title={Custom Computing Machines for the Set Covering Problem}, DOI={<a href=\"https://doi.org/10.1109/FPGA.2002.1106671\">10.1109/FPGA.2002.1106671</a>}, booktitle={Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)}, publisher={IEEE Computer Society}, author={Plessl, Christian and Platzner, Marco}, year={2002}, pages={163–172} }"},"publication":"Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM)","department":[{"_id":"518"},{"_id":"78"}],"type":"conference","date_created":"2018-04-17T15:15:44Z","date_updated":"2022-01-06T06:56:13Z","author":[{"id":"16153","full_name":"Plessl, Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982","first_name":"Christian"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"}],"year":"2002","title":"Custom Computing Machines for the Set Covering Problem","status":"public","user_id":"24135","doi":"10.1109/FPGA.2002.1106671","_id":"2425","publisher":"IEEE Computer Society","page":"163-172"},{"type":"journal_article","department":[{"_id":"63"}],"file":[{"creator":"koala","date_created":"2021-09-14T09:09:28Z","access_level":"closed","file_size":162215,"file_name":"asm03.pdf","date_updated":"2021-09-14T09:09:28Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"24337"}],"date_created":"2021-09-14T08:51:39Z","abstract":[{"text":"We  define  here  a  distributed  abstract state  machine (DASM)  [7]  of \r\nthe network or routing layer of mobile ad hoc networks [13]. Such networks re-\r\nquire routing strategies substantially different from those used in static commu-\r\nnication  networks,  since  storing  and  updating  large  routing  tables  at  mobile \r\nhosts  would  congest  the  network  with  administration  packets  very  fast.  In  [1], \r\nthe  hypercubic  location  service  is  presented,  which  considers  a  very  strong \r\ndefinition  of  fault-tolerance  thereby  improving  state-of-the-art  ad  hoc  routing \r\nprotocols in several respects. Our goal in modeling the protocols for the distrib-\r\nuted location service and the position based routing is twofold. First, we support \r\nthe  definition  and  validation  of  wireless  communication  protocols  and  imple-\r\nmentations based thereon. Second, we feel that the abstract computation model \r\nnaturally reflects the layering principle of communication architectures in com-\r\nbination with an uncompromisingly local view of the application domain. Thus \r\nwe can identify fundamental semantic concepts, such as concurrency, reactivity \r\nand  asynchronism,  directly  with  the  related  concepts  as  imposed  by  the  given \r\napplication context. ","lang":"eng"}],"file_date_updated":"2021-09-14T09:09:28Z","publication":"Proc. of 10th International Workshop on Abstract State Machines, LNCS","citation":{"ama":"Benczúr A, Glässer U, Lukovszki T. Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. <i>Proc of 10th International Workshop on Abstract State Machines, LNCS</i>. Published online 2002.","bibtex":"@article{ Benczúr_Glässer_Lukovszki_2002, title={Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks}, journal={Proc. of 10th International Workshop on Abstract State Machines, LNCS}, author={ Benczúr, András and Glässer, Uwe and Lukovszki, Tamás}, year={2002} }","mla":"Benczúr, András, et al. “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.” <i>Proc. of 10th International Workshop on Abstract State Machines, LNCS</i>, 2002.","short":"A.  Benczúr, U. Glässer, T. Lukovszki, Proc. of 10th International Workshop on Abstract State Machines, LNCS (2002).","chicago":"Benczúr, András, Uwe Glässer, and Tamás Lukovszki. “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.” <i>Proc. of 10th International Workshop on Abstract State Machines, LNCS</i>, 2002.","apa":"Benczúr, A., Glässer, U., &#38; Lukovszki, T. (2002). Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks. <i>Proc. of 10th International Workshop on Abstract State Machines, LNCS</i>.","ieee":"A.  Benczúr, U. Glässer, and T. Lukovszki, “Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks,” <i>Proc. of 10th International Workshop on Abstract State Machines, LNCS</i>, 2002."},"user_id":"15415","ddc":["000"],"_id":"24336","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:56:18Z","has_accepted_license":"1","title":"Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks","year":"2002","status":"public","author":[{"full_name":" Benczúr, András","last_name":" Benczúr","first_name":"András"},{"first_name":"Uwe","last_name":"Glässer","full_name":"Glässer, Uwe"},{"full_name":"Lukovszki, Tamás","first_name":"Tamás","last_name":"Lukovszki"}]},{"publication_status":"published","date_updated":"2022-01-06T06:56:18Z","year":"2002","status":"public","title":"Distributed Maintenance of Resource Efficient Wireless Network Topologies","author":[{"last_name":"Grünewald","first_name":"Matthias","full_name":"Grünewald, Matthias"},{"full_name":"Lukovszki, Tamás","last_name":"Lukovszki","first_name":"Tamás"},{"first_name":"Christian","last_name":"Schindelhauer","full_name":"Schindelhauer, Christian"},{"full_name":"Volbert, Klaus","last_name":"Volbert","first_name":"Klaus"}],"publication_identifier":{"issn":["0302-9743"]},"user_id":"15415","doi":"10.1007/3-540-45706-2_134","_id":"24338","language":[{"iso":"eng"}],"publication":"Proceedings of the 8th International Euro-Par Conference","citation":{"mla":"Grünewald, Matthias, et al. “Distributed Maintenance of Resource Efficient Wireless Network Topologies.” <i>Proceedings of the 8th International Euro-Par Conference</i>, 2002, doi:<a href=\"https://doi.org/10.1007/3-540-45706-2_134\">10.1007/3-540-45706-2_134</a>.","bibtex":"@inproceedings{Grünewald_Lukovszki_Schindelhauer_Volbert_2002, place={Paderborn, Germany}, title={Distributed Maintenance of Resource Efficient Wireless Network Topologies}, DOI={<a href=\"https://doi.org/10.1007/3-540-45706-2_134\">10.1007/3-540-45706-2_134</a>}, booktitle={Proceedings of the 8th International Euro-Par Conference}, author={Grünewald, Matthias and Lukovszki, Tamás and Schindelhauer, Christian and Volbert, Klaus}, year={2002} }","ama":"Grünewald M, Lukovszki T, Schindelhauer C, Volbert K. Distributed Maintenance of Resource Efficient Wireless Network Topologies. In: <i>Proceedings of the 8th International Euro-Par Conference</i>. ; 2002. doi:<a href=\"https://doi.org/10.1007/3-540-45706-2_134\">10.1007/3-540-45706-2_134</a>","ieee":"M. Grünewald, T. Lukovszki, C. Schindelhauer, and K. Volbert, “Distributed Maintenance of Resource Efficient Wireless Network Topologies,” 2002, doi: <a href=\"https://doi.org/10.1007/3-540-45706-2_134\">10.1007/3-540-45706-2_134</a>.","apa":"Grünewald, M., Lukovszki, T., Schindelhauer, C., &#38; Volbert, K. (2002). Distributed Maintenance of Resource Efficient Wireless Network Topologies. <i>Proceedings of the 8th International Euro-Par Conference</i>. <a href=\"https://doi.org/10.1007/3-540-45706-2_134\">https://doi.org/10.1007/3-540-45706-2_134</a>","chicago":"Grünewald, Matthias, Tamás Lukovszki, Christian Schindelhauer, and Klaus Volbert. “Distributed Maintenance of Resource Efficient Wireless Network Topologies.” In <i>Proceedings of the 8th International Euro-Par Conference</i>. Paderborn, Germany, 2002. <a href=\"https://doi.org/10.1007/3-540-45706-2_134\">https://doi.org/10.1007/3-540-45706-2_134</a>.","short":"M. Grünewald, T. Lukovszki, C. Schindelhauer, K. Volbert, in: Proceedings of the 8th International Euro-Par Conference, Paderborn, Germany, 2002."},"type":"conference","department":[{"_id":"63"}],"date_created":"2021-09-14T09:15:57Z","place":"Paderborn, Germany"},{"title":"A simulation environment for ad hoc networks using sector subdivision","year":"2002","status":"public","author":[{"first_name":"Klaus","last_name":"Volbert","full_name":"Volbert, Klaus"}],"date_updated":"2022-01-06T06:57:20Z","publication_status":"published","_id":"26412","language":[{"iso":"eng"}],"doi":"10.1109/empdp.2002.994324","user_id":"15415","publication":"Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing","citation":{"ieee":"K. Volbert, “A simulation environment for ad hoc networks using sector subdivision,” 2002, doi: <a href=\"https://doi.org/10.1109/empdp.2002.994324\">10.1109/empdp.2002.994324</a>.","apa":"Volbert, K. (2002). A simulation environment for ad hoc networks using sector subdivision. <i>Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing</i>. <a href=\"https://doi.org/10.1109/empdp.2002.994324\">https://doi.org/10.1109/empdp.2002.994324</a>","short":"K. Volbert, in: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing, 2002.","chicago":"Volbert, Klaus. “A Simulation Environment for Ad Hoc Networks Using Sector Subdivision.” In <i>Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing</i>, 2002. <a href=\"https://doi.org/10.1109/empdp.2002.994324\">https://doi.org/10.1109/empdp.2002.994324</a>.","mla":"Volbert, Klaus. “A Simulation Environment for Ad Hoc Networks Using Sector Subdivision.” <i>Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing</i>, 2002, doi:<a href=\"https://doi.org/10.1109/empdp.2002.994324\">10.1109/empdp.2002.994324</a>.","bibtex":"@inproceedings{Volbert_2002, title={A simulation environment for ad hoc networks using sector subdivision}, DOI={<a href=\"https://doi.org/10.1109/empdp.2002.994324\">10.1109/empdp.2002.994324</a>}, booktitle={Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing}, author={Volbert, Klaus}, year={2002} }","ama":"Volbert K. A simulation environment for ad hoc networks using sector subdivision. In: <i>Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based Processing</i>. ; 2002. doi:<a href=\"https://doi.org/10.1109/empdp.2002.994324\">10.1109/empdp.2002.994324</a>"},"date_created":"2021-10-18T15:45:20Z","type":"conference","department":[{"_id":"63"},{"_id":"26"}]},{"publication":"Nord. J. Comput.","issue":"4","citation":{"mla":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” <i>Nord. J. Comput.</i>, no. 4, 2002, pp. 405--435.","ama":"Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. <i>Nord J Comput</i>. 2002;(4):405--435.","bibtex":"@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike}, year={2002}, pages={405--435} }","apa":"Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. <i>Nord. J. Comput.</i>, (4), 405--435.","ieee":"H. Wehrheim, “Relating State-based and Behaviour-oriented Subtyping,” <i>Nord. J. Comput.</i>, no. 4, pp. 405--435, 2002.","short":"H. Wehrheim, Nord. J. Comput. (2002) 405--435.","chicago":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” <i>Nord. J. Comput.</i>, no. 4 (2002): 405--435."},"type":"journal_article","department":[{"_id":"77"}],"date_created":"2018-06-14T06:56:20Z","date_updated":"2022-01-06T06:59:07Z","status":"public","year":"2002","title":"Relating State-based and Behaviour-oriented Subtyping","author":[{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"user_id":"29719","page":"405--435","_id":"3241"},{"date_created":"2018-06-14T07:10:28Z","type":"conference","department":[{"_id":"77"}],"publication":"Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures","citation":{"chicago":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” In <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 361--379. Lecture Notes in Computer Science, 2002. <a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">https://doi.org/10.1007/978-3-540-39656-7_15</a>.","short":"E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.","ieee":"E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in {CSP-OZ},” in <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>, 2002, pp. 361--379.","apa":"Olderog, E.-R., &#38; Wehrheim, H. (2002). Specification and Inheritance in {CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, &#38; W. P. de Roever (Eds.), <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i> (pp. 361--379). <a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">https://doi.org/10.1007/978-3-540-39656-7_15</a>","bibtex":"@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">10.1007/978-3-540-39656-7_15</a>}, booktitle={Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379}, collection={Lecture Notes in Computer Science} }","ama":"Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>. Lecture Notes in Computer Science. ; 2002:361--379. doi:<a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">10.1007/978-3-540-39656-7_15</a>","mla":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” <i>Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures</i>, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:<a href=\"https://doi.org/10.1007/978-3-540-39656-7_15\">10.1007/978-3-540-39656-7_15</a>."},"page":"361--379","series_title":"Lecture Notes in Computer Science","_id":"3242","user_id":"29719","doi":"10.1007/978-3-540-39656-7_15","editor":[{"first_name":"Frank","last_name":"S. de Boer","full_name":"S. de Boer, Frank"},{"last_name":"M. Bonsangue","first_name":"Marcello","full_name":"M. Bonsangue, Marcello"},{"last_name":"Graf","first_name":"Susanne","full_name":"Graf, Susanne"},{"full_name":"P. de Roever, Willem","first_name":"Willem","last_name":"P. de Roever"}],"title":"Specification and Inheritance in {CSP-OZ}","year":"2002","status":"public","author":[{"first_name":"Ernst-Rüdiger","last_name":"Olderog","full_name":"Olderog, Ernst-Rüdiger"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:07Z"}]