[{"author":[{"first_name":"Peter","last_name":"Mahlmann","full_name":"Mahlmann, Peter"}],"title":"Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web","year":"2003","status":"public","date_updated":"2022-01-06T06:54:13Z","language":[{"iso":"eng"}],"_id":"19828","user_id":"15415","citation":{"mla":"Mahlmann, Peter. <i>Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web</i>. 2003.","apa":"Mahlmann, P. (2003). <i>Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web</i>.","ieee":"P. Mahlmann, <i>Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web</i>. 2003.","chicago":"Mahlmann, Peter. <i>Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web</i>, 2003.","short":"P. Mahlmann, Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web, 2003.","ama":"Mahlmann P. <i>Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web</i>.; 2003.","bibtex":"@book{Mahlmann_2003, title={Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web}, author={Mahlmann, Peter}, year={2003} }"},"date_created":"2020-10-01T09:55:38Z","department":[{"_id":"63"}],"type":"mastersthesis"},{"abstract":[{"text":"Communication facilities are important in Robotics if several robots have to work together. In this paper, we describe problems and solutions encountered while designing an infrared-based communication device for the mini robot Khepera. In contrast to traditional omnidirectional systems, it features directed, power-variable transmission in eight directions at unit[23.4]kbps up to a range of unit[1m]. It can differentiate incoming data signals from interference from adjacent sectors and can estimate their direction-of-arrival. We model the transmission over the infrared channel and show how interference influences the reception of the data signals. We also describe methods how to reduce these effects. We have tested the performance of the resulted signal processing in a worst case scenario by simulations and in experiments with a prototype implementation. The resulted module is  especially suited for experimental evaluation of ad hoc network protocols and for position estimation.","lang":"eng"}],"publication":"Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment","citation":{"ieee":"K. Volbert, M. Grünewald, C. Schindelhauer, and U. Rückert, “Directed power-variable infrared communication for the mini robot Khepera,” in <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i>, 2003, pp. 113–122.","apa":"Volbert, K., Grünewald, M., Schindelhauer, C., &#38; Rückert, U. (2003). Directed power-variable infrared communication for the mini robot Khepera. In <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i> (pp. 113–122).","short":"K. Volbert, M. Grünewald, C. Schindelhauer, U. Rückert, in: Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment, 2003, pp. 113–122.","chicago":"Volbert, Klaus, Matthias Grünewald, Christian Schindelhauer, and Ulrich Rückert. “Directed Power-Variable Infrared Communication for the Mini Robot Khepera.” In <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i>, 113–22, 2003.","mla":"Volbert, Klaus, et al. “Directed Power-Variable Infrared Communication for the Mini Robot Khepera.” <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i>, 2003, pp. 113–22.","bibtex":"@inproceedings{Volbert_Grünewald_Schindelhauer_Rückert_2003, title={Directed power-variable infrared communication for the mini robot Khepera}, booktitle={Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment}, author={Volbert, Klaus and Grünewald, Matthias and Schindelhauer, Christian and Rückert, Ulrich}, year={2003}, pages={113–122} }","ama":"Volbert K, Grünewald M, Schindelhauer C, Rückert U. Directed power-variable infrared communication for the mini robot Khepera. In: <i>Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment</i>. ; 2003:113-122."},"type":"conference","department":[{"_id":"63"},{"_id":"58"}],"date_created":"2020-10-01T11:20:47Z","date_updated":"2022-01-06T06:54:13Z","year":"2003","title":"Directed power-variable infrared communication for the mini robot Khepera","status":"public","author":[{"last_name":"Volbert","first_name":"Klaus","full_name":"Volbert, Klaus"},{"full_name":"Grünewald, Matthias","last_name":"Grünewald","first_name":"Matthias"},{"last_name":"Schindelhauer","first_name":"Christian","full_name":"Schindelhauer, Christian"},{"full_name":"Rückert, Ulrich","last_name":"Rückert","first_name":"Ulrich"}],"user_id":"15415","page":"113-122","language":[{"iso":"eng"}],"_id":"19833"},{"page":"37-45","language":[{"iso":"eng"}],"_id":"19874","user_id":"15415","year":"2003","title":"ADB-Trees: Controlling the Error of Time-Critical Collision Detection","status":"public","author":[{"last_name":"Klein","first_name":"Jan","full_name":"Klein, Jan"},{"full_name":"Zachmann, Gabriel","first_name":"Gabriel","last_name":"Zachmann"}],"date_updated":"2022-01-06T06:54:14Z","date_created":"2020-10-05T10:30:07Z","type":"conference","department":[{"_id":"63"}],"publication":"Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)","citation":{"short":"J. Klein, G. Zachmann, in: Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003), 2003, pp. 37–45.","chicago":"Klein, Jan, and Gabriel Zachmann. “ADB-Trees: Controlling the Error of Time-Critical Collision Detection.” In <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i>, 37–45, 2003.","ieee":"J. Klein and G. Zachmann, “ADB-Trees: Controlling the Error of Time-Critical Collision Detection,” in <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i>, 2003, pp. 37–45.","apa":"Klein, J., &#38; Zachmann, G. (2003). ADB-Trees: Controlling the Error of Time-Critical Collision Detection. In <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i> (pp. 37–45).","bibtex":"@inproceedings{Klein_Zachmann_2003, title={ADB-Trees: Controlling the Error of Time-Critical Collision Detection}, booktitle={Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)}, author={Klein, Jan and Zachmann, Gabriel}, year={2003}, pages={37–45} }","ama":"Klein J, Zachmann G. ADB-Trees: Controlling the Error of Time-Critical Collision Detection. In: <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i>. ; 2003:37-45.","mla":"Klein, Jan, and Gabriel Zachmann. “ADB-Trees: Controlling the Error of Time-Critical Collision Detection.” <i>Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003)</i>, 2003, pp. 37–45."},"abstract":[{"lang":"eng","text":"We present a novel framework for hierarchical collision detection that can be applied to virtually all bounding volume (BV) hierarchies. It allows an application to trade quality for speed. Our algorithm yields an estimation of the quality, so that applications can specify the desired quality. In a timecritical system, applications can specify the maximum time budget instead, and quantitatively assess the quality of the results returned by the collision detection afterwards."}]},{"author":[{"last_name":"Klein","first_name":"Jan","full_name":"Klein, Jan"},{"first_name":"Gabriel","last_name":" Zachmann","full_name":" Zachmann, Gabriel"}],"title":"Time-Critical Collision Detection Using an Average-Case Approach","year":"2003","status":"public","date_updated":"2022-01-06T06:54:14Z","language":[{"iso":"eng"}],"_id":"19900","page":"22-31","doi":"10.1145/1008653.1008660","user_id":"15415","citation":{"mla":"Klein, Jan, and Gabriel  Zachmann. “Time-Critical Collision Detection Using an Average-Case Approach.” <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i>, 2003, pp. 22–31, doi:<a href=\"https://doi.org/10.1145/1008653.1008660\">10.1145/1008653.1008660</a>.","bibtex":"@inproceedings{Klein_ Zachmann_2003, title={Time-Critical Collision Detection Using an Average-Case Approach}, DOI={<a href=\"https://doi.org/10.1145/1008653.1008660\">10.1145/1008653.1008660</a>}, booktitle={ Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)}, author={Klein, Jan and  Zachmann, Gabriel}, year={2003}, pages={22–31} }","ama":"Klein J,  Zachmann G. Time-Critical Collision Detection Using an Average-Case Approach. In: <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i>. ; 2003:22-31. doi:<a href=\"https://doi.org/10.1145/1008653.1008660\">10.1145/1008653.1008660</a>","ieee":"J. Klein and G.  Zachmann, “Time-Critical Collision Detection Using an Average-Case Approach,” in <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i>, 2003, pp. 22–31.","apa":"Klein, J., &#38;  Zachmann, G. (2003). Time-Critical Collision Detection Using an Average-Case Approach. In <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i> (pp. 22–31). <a href=\"https://doi.org/10.1145/1008653.1008660\">https://doi.org/10.1145/1008653.1008660</a>","short":"J. Klein, G.  Zachmann, in:  Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003), 2003, pp. 22–31.","chicago":"Klein, Jan, and Gabriel  Zachmann. “Time-Critical Collision Detection Using an Average-Case Approach.” In <i> Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)</i>, 22–31, 2003. <a href=\"https://doi.org/10.1145/1008653.1008660\">https://doi.org/10.1145/1008653.1008660</a>."},"publication":" Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003)","date_created":"2020-10-06T08:31:35Z","department":[{"_id":"63"}],"type":"conference"},{"title":"Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up","status":"public","year":"2003","publication_identifier":{"issn":["0097-5397","1095-7111"]},"author":[{"last_name":"Fomin","first_name":"Fedor V.","full_name":"Fomin, Fedor V."},{"full_name":"Thilikos, Dimitrios M.","last_name":"Thilikos","first_name":"Dimitrios M."}],"publication_status":"published","date_updated":"2022-01-06T06:54:16Z","_id":"19952","language":[{"iso":"eng"}],"user_id":"15415","doi":"10.1137/s0097539702419649","publication":"Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)","citation":{"mla":"Fomin, Fedor V., and Dimitrios M. Thilikos. “Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up.” <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>, 2003, doi:<a href=\"https://doi.org/10.1137/s0097539702419649\">10.1137/s0097539702419649</a>.","bibtex":"@inproceedings{Fomin_Thilikos_2003, title={Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up}, DOI={<a href=\"https://doi.org/10.1137/s0097539702419649\">10.1137/s0097539702419649</a>}, booktitle={Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)}, author={Fomin, Fedor V. and Thilikos, Dimitrios M.}, year={2003} }","ama":"Fomin FV, Thilikos DM. Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up. In: <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>. ; 2003. doi:<a href=\"https://doi.org/10.1137/s0097539702419649\">10.1137/s0097539702419649</a>","ieee":"F. V. Fomin and D. M. Thilikos, “Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up,” in <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>, 2003.","apa":"Fomin, F. V., &#38; Thilikos, D. M. (2003). Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up. In <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>. <a href=\"https://doi.org/10.1137/s0097539702419649\">https://doi.org/10.1137/s0097539702419649</a>","short":"F.V. Fomin, D.M. Thilikos, in: Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 2003.","chicago":"Fomin, Fedor V., and Dimitrios M. Thilikos. “Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up.” In <i>Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003)</i>, 2003. <a href=\"https://doi.org/10.1137/s0097539702419649\">https://doi.org/10.1137/s0097539702419649</a>."},"abstract":[{"lang":"eng","text":"Graph minors theory, developed by Robertson & Seymour, provides a list of powerful theoretical results and tools. However, the wide spread opinion in Graph Algorithms community about this theory is that it is mainly of theoretical importance. The main purpose of this paper is to show how very deep min-max and duality theorems from Graph Minors can be used to obtain essential speed-up to many known algorithms on different domination problems."}],"date_created":"2020-10-08T10:31:48Z","type":"conference","department":[{"_id":"63"}]},{"date_updated":"2022-01-06T06:56:09Z","author":[{"full_name":"Plessl, Christian","last_name":"Plessl","first_name":"Christian","orcid":"0000-0001-5728-9982","id":"16153"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"}],"title":"TKDM – A Reconfigurable Co-processor in a PC's Memory Slot","year":"2003","status":"public","doi":"10.1109/FPT.2003.1275755","user_id":"24135","publisher":"IEEE Computer Society","_id":"2418","page":"252-259","abstract":[{"lang":"eng","text":" This paper presents TKDM, a PC-based high-performance reconfigurable computing environment. The TKDM hardware consists of an FPGA module that uses the DIMM (dual inline memory module) bus for high-bandwidth and low-latency communication with the host CPU. The system's firmware is integrated with the Linux host operating system and offers functions for data communication and FPGA reconfiguration. The intended use of TKDM is that of a dynamically reconfigurable co-processor for data streaming applications. The system's firmware can be customized for specific application domains to facilitate simple and easy-to-use programming interfaces. "}],"citation":{"ama":"Plessl C, Platzner M. TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot. In: <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i>. IEEE Computer Society; 2003:252-259. doi:<a href=\"https://doi.org/10.1109/FPT.2003.1275755\">10.1109/FPT.2003.1275755</a>","bibtex":"@inproceedings{Plessl_Platzner_2003, title={TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot}, DOI={<a href=\"https://doi.org/10.1109/FPT.2003.1275755\">10.1109/FPT.2003.1275755</a>}, booktitle={Proc. Int. Conf. on Field Programmable Technology (ICFPT)}, publisher={IEEE Computer Society}, author={Plessl, Christian and Platzner, Marco}, year={2003}, pages={252–259} }","mla":"Plessl, Christian, and Marco Platzner. “TKDM – A Reconfigurable Co-Processor in a PC’s Memory Slot.” <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i>, IEEE Computer Society, 2003, pp. 252–59, doi:<a href=\"https://doi.org/10.1109/FPT.2003.1275755\">10.1109/FPT.2003.1275755</a>.","short":"C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2003, pp. 252–259.","chicago":"Plessl, Christian, and Marco Platzner. “TKDM – A Reconfigurable Co-Processor in a PC’s Memory Slot.” In <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i>, 252–59. IEEE Computer Society, 2003. <a href=\"https://doi.org/10.1109/FPT.2003.1275755\">https://doi.org/10.1109/FPT.2003.1275755</a>.","apa":"Plessl, C., &#38; Platzner, M. (2003). TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot. In <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i> (pp. 252–259). IEEE Computer Society. <a href=\"https://doi.org/10.1109/FPT.2003.1275755\">https://doi.org/10.1109/FPT.2003.1275755</a>","ieee":"C. Plessl and M. Platzner, “TKDM – A Reconfigurable Co-processor in a PC’s Memory Slot,” in <i>Proc. Int. Conf. on Field Programmable Technology (ICFPT)</i>, 2003, pp. 252–259."},"publication":"Proc. Int. Conf. on Field Programmable Technology (ICFPT)","department":[{"_id":"518"},{"_id":"78"}],"type":"conference","keyword":["coprocessor","DIMM","memory bus","FPGA","high performance computing"],"date_created":"2018-04-17T15:03:34Z"},{"_id":"2419","publisher":"Springer","page":"299-308","volume":7,"user_id":"398","status":"public","citation":{"ieee":"C. Plessl <i>et al.</i>, “The Case for Reconfigurable Hardware in Wearable Computing,” <i>Personal and Ubiquitous Computing</i>, vol. 7, no. 5, pp. 299–308, 2003.","apa":"Plessl, C., Enzler, R., Walder, H., Beutel, J., Platzner, M., Thiele, L., &#38; Tröster, G. (2003). The Case for Reconfigurable Hardware in Wearable Computing. <i>Personal and Ubiquitous Computing</i>, <i>7</i>(5), 299–308. <a href=\"https://doi.org/10.1007/s00779-003-0243-x\">https://doi.org/10.1007/s00779-003-0243-x</a>","short":"C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, G. Tröster, Personal and Ubiquitous Computing 7 (2003) 299–308.","chicago":"Plessl, Christian, Rolf Enzler, Herbert Walder, Jan Beutel, Marco Platzner, Lothar Thiele, and Gerhard Tröster. “The Case for Reconfigurable Hardware in Wearable Computing.” <i>Personal and Ubiquitous Computing</i> 7, no. 5 (2003): 299–308. <a href=\"https://doi.org/10.1007/s00779-003-0243-x\">https://doi.org/10.1007/s00779-003-0243-x</a>.","mla":"Plessl, Christian, et al. “The Case for Reconfigurable Hardware in Wearable Computing.” <i>Personal and Ubiquitous Computing</i>, vol. 7, no. 5, Springer, 2003, pp. 299–308, doi:<a href=\"https://doi.org/10.1007/s00779-003-0243-x\">10.1007/s00779-003-0243-x</a>.","bibtex":"@article{Plessl_Enzler_Walder_Beutel_Platzner_Thiele_Tröster_2003, title={The Case for Reconfigurable Hardware in Wearable Computing}, volume={7}, DOI={<a href=\"https://doi.org/10.1007/s00779-003-0243-x\">10.1007/s00779-003-0243-x</a>}, number={5}, journal={Personal and Ubiquitous Computing}, publisher={Springer}, author={Plessl, Christian and Enzler, Rolf and Walder, Herbert and Beutel, Jan and Platzner, Marco and Thiele, Lothar and Tröster, Gerhard}, year={2003}, pages={299–308} }","ama":"Plessl C, Enzler R, Walder H, et al. The Case for Reconfigurable Hardware in Wearable Computing. <i>Personal and Ubiquitous Computing</i>. 2003;7(5):299-308. doi:<a href=\"https://doi.org/10.1007/s00779-003-0243-x\">10.1007/s00779-003-0243-x</a>"},"language":[{"iso":"eng"}],"doi":"10.1007/s00779-003-0243-x","author":[{"id":"16153","last_name":"Plessl","orcid":"0000-0001-5728-9982","first_name":"Christian","full_name":"Plessl, Christian"},{"full_name":"Enzler, Rolf","last_name":"Enzler","first_name":"Rolf"},{"full_name":"Walder, Herbert","last_name":"Walder","first_name":"Herbert"},{"first_name":"Jan","last_name":"Beutel","full_name":"Beutel, Jan"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"},{"first_name":"Lothar","last_name":"Thiele","full_name":"Thiele, Lothar"},{"full_name":"Tröster, Gerhard","last_name":"Tröster","first_name":"Gerhard"}],"year":"2003","title":"The Case for Reconfigurable Hardware in Wearable Computing","intvolume":"         7","date_updated":"2022-01-06T06:56:09Z","date_created":"2018-04-17T15:04:47Z","department":[{"_id":"518"},{"_id":"78"}],"type":"journal_article","issue":"5","publication":"Personal and Ubiquitous Computing","extern":"1","abstract":[{"text":"Wearable computers are embedded into the mobile environment of their users. A design challenge for wearable systems is to combine the high performance required for tasks such as video decoding with the low energy consumption required to maximise 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 experiments that show the uses of reconfigurable hardware in WURM: ASICs-on-demand and adaptive interfaces. Finally, we present an experiment with an operating system layer for WURM.","lang":"eng"}]},{"citation":{"chicago":"Plessl, Christian, and Marco Platzner. “Instance-Specific Accelerators for Minimum Covering.” <i>Journal of Supercomputing</i> 26, no. 2 (2003): 109–29. <a href=\"https://doi.org/10.1023/a:1024443416592\">https://doi.org/10.1023/a:1024443416592</a>.","short":"C. Plessl, M. Platzner, Journal of Supercomputing 26 (2003) 109–129.","apa":"Plessl, C., &#38; Platzner, M. (2003). Instance-Specific Accelerators for Minimum Covering. <i>Journal of Supercomputing</i>, <i>26</i>(2), 109–129. <a href=\"https://doi.org/10.1023/a:1024443416592\">https://doi.org/10.1023/a:1024443416592</a>","ieee":"C. Plessl and M. Platzner, “Instance-Specific Accelerators for Minimum Covering,” <i>Journal of Supercomputing</i>, vol. 26, no. 2, pp. 109–129, 2003.","ama":"Plessl C, Platzner M. Instance-Specific Accelerators for Minimum Covering. <i>Journal of Supercomputing</i>. 2003;26(2):109-129. doi:<a href=\"https://doi.org/10.1023/a:1024443416592\">10.1023/a:1024443416592</a>","bibtex":"@article{Plessl_Platzner_2003, title={Instance-Specific Accelerators for Minimum Covering}, volume={26}, DOI={<a href=\"https://doi.org/10.1023/a:1024443416592\">10.1023/a:1024443416592</a>}, number={2}, journal={Journal of Supercomputing}, publisher={Kluwer Academic Publishers}, author={Plessl, Christian and Platzner, Marco}, year={2003}, pages={109–129} }","mla":"Plessl, Christian, and Marco Platzner. “Instance-Specific Accelerators for Minimum Covering.” <i>Journal of Supercomputing</i>, vol. 26, no. 2, Kluwer Academic Publishers, 2003, pp. 109–29, doi:<a href=\"https://doi.org/10.1023/a:1024443416592\">10.1023/a:1024443416592</a>."},"page":"109-129","_id":"2420","publisher":"Kluwer Academic Publishers","user_id":"398","volume":26,"status":"public","date_created":"2018-04-17T15:10:00Z","keyword":["reconfigurable computing","instance-specific acceleration","minimum covering"],"type":"journal_article","department":[{"_id":"518"},{"_id":"78"}],"publication":"Journal of Supercomputing","issue":"2","extern":"1","abstract":[{"text":" This paper presents the acceleration of minimum-cost covering problems by instance-specific hardware. First, we formulate the minimum-cost covering problem and discuss a branch \\& bound algorithm to solve it. Then we describe instance-specific hardware architectures that implement branch \\& bound in 3-valued logic and use reduction techniques similar to those found in software solvers. We further present prototypical accelerator implementations and a corresponding design tool flow. Our experiments reveal significant raw speedups up to five orders of magnitude for a set of smaller unate covering problems. Provided that hardware compilation times can be reduced, we conclude that instance-specific acceleration of hard minimum-cost covering problems will lead to substantial overall speedups. ","lang":"eng"}],"language":[{"iso":"eng"}],"doi":"10.1023/a:1024443416592","title":"Instance-Specific Accelerators for Minimum Covering","year":"2003","author":[{"id":"16153","orcid":"0000-0001-5728-9982","first_name":"Christian","last_name":"Plessl","full_name":"Plessl, Christian"},{"id":"398","first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco"}],"publication_identifier":{"issn":["0920-8542"]},"date_updated":"2022-01-06T06:56:10Z","intvolume":"        26"},{"date_updated":"2022-01-06T06:56:13Z","intvolume":"      2778","status":"public","year":"2003","title":"Virtualizing Hardware with Multi-Context Reconfigurable Arrays","author":[{"last_name":"Enzler","first_name":"Rolf","full_name":"Enzler, Rolf"},{"id":"16153","full_name":"Plessl, Christian","orcid":"0000-0001-5728-9982","last_name":"Plessl","first_name":"Christian"},{"full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco","id":"398"}],"user_id":"24135","doi":"10.1007/b12007","volume":2778,"page":"151-160","_id":"2421","publisher":"Springer","series_title":"Lecture Notes in Computer Science (LNCS)","abstract":[{"text":"In contrast to processors, current reconfigurable devices totally lack programming models that would allow for device independent compilation and forward compatibility. The key to overcome this limitation is hardware virtualization. In this paper, we resort to a macro-pipelined execution model to achieve hardware virtualization for data streaming applications. As a hardware implementation we present a hybrid multi-context architecture that attaches a coarse-grained reconfigurable array to a host CPU. A co-simulation framework enables cycle-accurate simulation of the complete architecture. As a case study we map an FIR filter to our virtualized hardware model and evaluate different designs. We discuss the impact of the number of contexts and the feature of context state on the speedup and the CPU load.","lang":"eng"}],"publication":"Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)","citation":{"ieee":"R. Enzler, C. Plessl, and M. Platzner, “Virtualizing Hardware with Multi-Context Reconfigurable Arrays,” in <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>, 2003, vol. 2778, pp. 151–160.","mla":"Enzler, Rolf, et al. “Virtualizing Hardware with Multi-Context Reconfigurable Arrays.” <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>, vol. 2778, Springer, 2003, pp. 151–60, doi:<a href=\"https://doi.org/10.1007/b12007\">10.1007/b12007</a>.","apa":"Enzler, R., Plessl, C., &#38; Platzner, M. (2003). Virtualizing Hardware with Multi-Context Reconfigurable Arrays. In <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i> (Vol. 2778, pp. 151–160). Springer. <a href=\"https://doi.org/10.1007/b12007\">https://doi.org/10.1007/b12007</a>","bibtex":"@inproceedings{Enzler_Plessl_Platzner_2003, series={Lecture Notes in Computer Science (LNCS)}, title={Virtualizing Hardware with Multi-Context Reconfigurable Arrays}, volume={2778}, DOI={<a href=\"https://doi.org/10.1007/b12007\">10.1007/b12007</a>}, booktitle={Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)}, publisher={Springer}, author={Enzler, Rolf and Plessl, Christian and Platzner, Marco}, year={2003}, pages={151–160}, collection={Lecture Notes in Computer Science (LNCS)} }","short":"R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.","ama":"Enzler R, Plessl C, Platzner M. Virtualizing Hardware with Multi-Context Reconfigurable Arrays. In: <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>. Vol 2778. Lecture Notes in Computer Science (LNCS). Springer; 2003:151-160. doi:<a href=\"https://doi.org/10.1007/b12007\">10.1007/b12007</a>","chicago":"Enzler, Rolf, Christian Plessl, and Marco Platzner. “Virtualizing Hardware with Multi-Context Reconfigurable Arrays.” In <i>Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)</i>, 2778:151–60. Lecture Notes in Computer Science (LNCS). Springer, 2003. <a href=\"https://doi.org/10.1007/b12007\">https://doi.org/10.1007/b12007</a>."},"keyword":["Zippy","multi-context","FPGA"],"type":"conference","department":[{"_id":"518"},{"_id":"78"}],"date_created":"2018-04-17T15:11:25Z"},{"publication":"Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)","citation":{"mla":"Enzler, Rolf, et al. “Co-Simulation of a Hybrid Multi-Context Architecture.” <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, CSREA Press, 2003, pp. 174–80.","bibtex":"@inproceedings{Enzler_Plessl_Platzner_2003, title={Co-simulation of a Hybrid Multi-Context Architecture}, booktitle={Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Enzler, Rolf and Plessl, Christian and Platzner, Marco}, year={2003}, pages={174–180} }","ama":"Enzler R, Plessl C, Platzner M. Co-simulation of a Hybrid Multi-Context Architecture. In: <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>. CSREA Press; 2003:174-180.","ieee":"R. Enzler, C. Plessl, and M. Platzner, “Co-simulation of a Hybrid Multi-Context Architecture,” in <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 2003, pp. 174–180.","apa":"Enzler, R., Plessl, C., &#38; Platzner, M. (2003). Co-simulation of a Hybrid Multi-Context Architecture. In <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i> (pp. 174–180). CSREA Press.","chicago":"Enzler, Rolf, Christian Plessl, and Marco Platzner. “Co-Simulation of a Hybrid Multi-Context Architecture.” In <i>Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 174–80. CSREA Press, 2003.","short":"R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180."},"abstract":[{"lang":"eng","text":"Reconfigurable computing architectures aim to dynamically adapt their hardware to the application at hand. As research shows, the time it takes to reconfigure the hardware forms an overhead that can significantly impair the benefits of hardware customization. Multi-context devices are one promising approach to overcome the limitations posed by long reconfiguration times. In contrast to more traditional reconfigurable architectures, multi-context devices hold several configurations on-chip. On demand, the device can quickly switch to another context. In this paper we present a co-simulation environment to investigate design trade-offs for hybrid multi-context architectures. Our architectural model comprises a reconfigurable unit closely coupled to a CPU core. As a case study, we discuss the implementation of a FIR filter partitioned into several contexts. We outline the mapping process and present simulation results for single- and multi-context reconfigurable units coupled with both embedded and high-end CPUs."}],"date_created":"2018-04-17T15:12:56Z","keyword":["Zippy","co-simulation"],"type":"conference","department":[{"_id":"518"},{"_id":"78"}],"year":"2003","status":"public","title":"Co-simulation of a Hybrid Multi-Context Architecture","author":[{"first_name":"Rolf","last_name":"Enzler","full_name":"Enzler, Rolf"},{"full_name":"Plessl, Christian","first_name":"Christian","last_name":"Plessl","orcid":"0000-0001-5728-9982","id":"16153"},{"full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner","id":"398"}],"publication_identifier":{"isbn":["1-932415-05-X"]},"date_updated":"2022-01-06T06:56:13Z","page":"174-180","publisher":"CSREA Press","_id":"2422","user_id":"24135"},{"language":[{"iso":"eng"}],"_id":"24273","user_id":"15415","author":[{"first_name":"Martina","last_name":"Terbahl","full_name":"Terbahl, Martina"},{"full_name":"Krokowski, Jens","last_name":"Krokowski","first_name":"Jens"}],"status":"public","title":"Verteiltes Rendern durch dynamische Bildaufteilung","year":"2003","date_updated":"2022-01-06T06:56:13Z","place":"Bad Schussenried, Germany","date_created":"2021-09-13T12:06:43Z","department":[{"_id":"63"}],"type":"conference","citation":{"ieee":"M. Terbahl and J. Krokowski, “Verteiltes Rendern durch dynamische Bildaufteilung,” 2003.","apa":"Terbahl, M., &#38; Krokowski, J. (2003). Verteiltes Rendern durch dynamische Bildaufteilung. <i>Proceedings of 5. GI-Informatiktage 2003</i>.","short":"M. Terbahl, J. Krokowski, in: Proceedings of 5. GI-Informatiktage 2003, Bad Schussenried, Germany, 2003.","chicago":"Terbahl, Martina, and Jens Krokowski. “Verteiltes Rendern Durch Dynamische Bildaufteilung.” In <i>Proceedings of 5. GI-Informatiktage 2003</i>. Bad Schussenried, Germany, 2003.","mla":"Terbahl, Martina, and Jens Krokowski. “Verteiltes Rendern Durch Dynamische Bildaufteilung.” <i>Proceedings of 5. GI-Informatiktage 2003</i>, 2003.","bibtex":"@inproceedings{Terbahl_Krokowski_2003, place={Bad Schussenried, Germany}, title={Verteiltes Rendern durch dynamische Bildaufteilung}, booktitle={Proceedings of 5. GI-Informatiktage 2003}, author={Terbahl, Martina and Krokowski, Jens}, year={2003} }","ama":"Terbahl M, Krokowski J. Verteiltes Rendern durch dynamische Bildaufteilung. In: <i>Proceedings of 5. GI-Informatiktage 2003</i>. ; 2003."},"publication":"Proceedings of 5. GI-Informatiktage 2003"},{"status":"public","year":"2003","title":"Stability versus Speed in a Computable Algebraic Model","author":[{"full_name":"Ziegler, Martin","first_name":"Martin","last_name":"Ziegler"}],"date_updated":"2022-01-06T06:57:18Z","page":"47-64","_id":"26263","language":[{"iso":"eng"}],"user_id":"15415","publication":"Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA","citation":{"chicago":"Ziegler, Martin. “Stability versus Speed in a Computable Algebraic Model.” In <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>, 47–64, 2003.","short":"M. Ziegler, in: Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.","ieee":"M. Ziegler, “Stability versus Speed in a Computable Algebraic Model,” in <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>, 2003, pp. 47–64.","apa":"Ziegler, M. (2003). Stability versus Speed in a Computable Algebraic Model. <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>, 47–64.","bibtex":"@inproceedings{Ziegler_2003, title={Stability versus Speed in a Computable Algebraic Model}, booktitle={Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA}, author={Ziegler, Martin}, year={2003}, pages={47–64} }","ama":"Ziegler M. Stability versus Speed in a Computable Algebraic Model. In: <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>. ; 2003:47-64.","mla":"Ziegler, Martin. “Stability versus Speed in a Computable Algebraic Model.” <i>Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA</i>, 2003, pp. 47–64."},"date_created":"2021-10-15T11:00:14Z","type":"conference","department":[{"_id":"63"},{"_id":"26"}]},{"page":"389-406","_id":"26277","series_title":"Informatik Berichte","language":[{"iso":"eng"}],"user_id":"15415","volume":"302-8/2003","status":"public","year":"2003","title":"Computable Operators on Regular Sets","author":[{"last_name":"Ziegler","first_name":"Martin","full_name":"Ziegler, Martin"}],"date_updated":"2022-01-06T06:57:18Z","date_created":"2021-10-15T12:13:22Z","type":"conference","department":[{"_id":"63"},{"_id":"26"}],"publication":"Computability and Complexity in Analysis","citation":{"ieee":"M. Ziegler, “Computable Operators on Regular Sets,” in <i>Computability and Complexity in Analysis</i>, 2003, vol. 302–8/2003, pp. 389–406.","apa":"Ziegler, M. (2003). Computable Operators on Regular Sets. <i>Computability and Complexity in Analysis</i>, <i>302-8/2003</i>, 389–406.","chicago":"Ziegler, Martin. “Computable Operators on Regular Sets.” In <i>Computability and Complexity in Analysis</i>, 302-8/2003:389–406. Informatik Berichte, 2003.","short":"M. Ziegler, in: Computability and Complexity in Analysis, 2003, pp. 389–406.","mla":"Ziegler, Martin. “Computable Operators on Regular Sets.” <i>Computability and Complexity in Analysis</i>, vol. 302-8/2003, 2003, pp. 389–406.","bibtex":"@inproceedings{Ziegler_2003, series={Informatik Berichte}, title={Computable Operators on Regular Sets}, volume={302–8/2003}, booktitle={Computability and Complexity in Analysis}, author={Ziegler, Martin}, year={2003}, pages={389–406}, collection={Informatik Berichte} }","ama":"Ziegler M. Computable Operators on Regular Sets. In: <i>Computability and Complexity in Analysis</i>. Vol 302-8/2003. Informatik Berichte. ; 2003:389-406."}},{"publication":"Formal Methods in System Design","issue":"2","citation":{"mla":"Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” <i>Formal Methods in System Design</i>, no. 2, 2003, pp. 143--170, doi:<a href=\"https://doi.org/10.1023/A:1024764232069\">10.1023/A:1024764232069</a>.","bibtex":"@article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active Objects}, DOI={<a href=\"https://doi.org/10.1023/A:1024764232069\">10.1023/A:1024764232069</a>}, number={2}, journal={Formal Methods in System Design}, author={Wehrheim, Heike}, year={2003}, pages={143--170} }","ama":"Wehrheim H. Behavioral Subtyping Relations for Active Objects. <i>Formal Methods in System Design</i>. 2003;(2):143--170. doi:<a href=\"https://doi.org/10.1023/A:1024764232069\">10.1023/A:1024764232069</a>","ieee":"H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” <i>Formal Methods in System Design</i>, no. 2, pp. 143--170, 2003.","apa":"Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. <i>Formal Methods in System Design</i>, (2), 143--170. <a href=\"https://doi.org/10.1023/A:1024764232069\">https://doi.org/10.1023/A:1024764232069</a>","chicago":"Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” <i>Formal Methods in System Design</i>, no. 2 (2003): 143--170. <a href=\"https://doi.org/10.1023/A:1024764232069\">https://doi.org/10.1023/A:1024764232069</a>.","short":"H. Wehrheim, Formal Methods in System Design (2003) 143--170."},"type":"journal_article","department":[{"_id":"77"}],"date_created":"2018-06-14T06:49:57Z","date_updated":"2022-01-06T06:59:06Z","year":"2003","title":"Behavioral Subtyping Relations for Active Objects","status":"public","author":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"user_id":"29719","doi":"10.1023/A:1024764232069","page":"143--170","_id":"3236"},{"publication":"Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures","citation":{"apa":"Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, &#38; W. P. de Roever (Eds.), <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i> (pp. 330--343). <a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">https://doi.org/10.1007/978-3-540-30101-1_16</a>","mla":"Wehrheim, Heike. “Preserving Properties Under Change.” <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>.","ieee":"H. Wehrheim, “Preserving Properties Under Change,” in <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, 2003, pp. 330--343.","ama":"Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>. Lecture Notes in Computer Science. ; 2003:330--343. doi:<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>","short":"H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.","chicago":"Wehrheim, Heike. “Preserving Properties Under Change.” In <i>Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures</i>, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">https://doi.org/10.1007/978-3-540-30101-1_16</a>.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Preserving Properties Under Change}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30101-1_16\">10.1007/978-3-540-30101-1_16</a>}, booktitle={Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture Notes in Computer Science} }"},"date_created":"2018-06-14T06:51:09Z","type":"conference","department":[{"_id":"77"}],"title":"Preserving Properties Under Change","year":"2003","status":"public","author":[{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"date_updated":"2022-01-06T06:59:06Z","page":"330--343","_id":"3237","series_title":"Lecture Notes in Computer Science","user_id":"29719","doi":"10.1007/978-3-540-30101-1_16","editor":[{"full_name":"S. de Boer, Frank","first_name":"Frank","last_name":"S. de Boer"},{"full_name":"M. Bonsangue, Marcello","last_name":"M. Bonsangue","first_name":"Marcello"},{"first_name":"Susanne","last_name":"Graf","full_name":"Graf, Susanne"},{"full_name":"P. de Roever, Willem","last_name":"P. de Roever","first_name":"Willem"}]},{"doi":"10.1007/978-3-540-39958-2_6","user_id":"29719","editor":[{"full_name":"Najm, Elie","first_name":"Elie","last_name":"Najm"},{"first_name":"Uwe","last_name":"Nestmann","full_name":"Nestmann, Uwe"},{"first_name":"Perdita","last_name":"Stevens","full_name":"Stevens, Perdita"}],"page":"79--93","series_title":"Lecture Notes in Computer Science","_id":"3238","date_updated":"2022-01-06T06:59:06Z","status":"public","title":"Inheritance of Temporal Logic Properties","year":"2003","author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-14T06:52:17Z","publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings","citation":{"mla":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm et al., 2003, pp. 79--93, doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">10.1007/978-3-540-39958-2_6</a>.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Inheritance of Temporal Logic Properties}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">10.1007/978-3-540-39958-2_6</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture Notes in Computer Science} }","ama":"Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann U, Stevens P, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:79--93. doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">10.1007/978-3-540-39958-2_6</a>","ieee":"H. Wehrheim, “Inheritance of Temporal Logic Properties,” in <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, 2003, pp. 79--93.","apa":"Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, &#38; P. Stevens (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i> (pp. 79--93). <a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">https://doi.org/10.1007/978-3-540-39958-2_6</a>","short":"H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.","chicago":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” In <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39958-2_6\">https://doi.org/10.1007/978-3-540-39958-2_6</a>."}},{"series_title":"Lecture Notes in Computer Science","_id":"3239","page":"229--243","editor":[{"last_name":"Najm","first_name":"Elie","full_name":"Najm, Elie"},{"full_name":"Nestmann, Uwe","last_name":"Nestmann","first_name":"Uwe"},{"last_name":"Stevens","first_name":"Perdita","full_name":"Stevens, Perdita"}],"doi":"10.1007/978-3-540-39958-2_16","user_id":"29719","author":[{"last_name":"Rasch","first_name":"Holger","full_name":"Rasch, Holger"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"status":"public","title":"Checking Consistency in {UML} Diagramms: Classes and State Machines","year":"2003","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:53:24Z","department":[{"_id":"77"}],"type":"conference","citation":{"apa":"Rasch, H., &#38; Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, &#38; P. Stevens (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i> (pp. 229--243). <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>","ieee":"H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, 2003, pp. 229--243.","short":"H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” In <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">https://doi.org/10.1007/978-3-540-39958-2_16</a>.","mla":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>, edited by Elie Najm et al., 2003, pp. 229--243, doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>.","ama":"Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:229--243. doi:<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>","bibtex":"@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-39958-2_16\">10.1007/978-3-540-39958-2_16</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }"},"publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings"},{"publication":"{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings","citation":{"ieee":"J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, 2003, pp. 127--147.","apa":"Derrick, J., &#38; Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, &#38; M. A. Wald{\\’{e}}n (Eds.), <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i> (pp. 127--147). <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>","short":"J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.","chicago":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” In <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. <a href=\"https://doi.org/10.1007/3-540-44880-2_10\">https://doi.org/10.1007/3-540-44880-2_10</a>.","mla":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>, edited by Didier Bert et al., 2003, pp. 127--147, doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>.","bibtex":"@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>}, booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }","ama":"Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\\’{e}}n M, eds. <i>{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings</i>. Lecture Notes in Computer Science. ; 2003:127--147. doi:<a href=\"https://doi.org/10.1007/3-540-44880-2_10\">10.1007/3-540-44880-2_10</a>"},"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-14T06:54:54Z","date_updated":"2022-01-06T06:59:07Z","year":"2003","title":"Using Coupled Simulations in Non-atomic Refinement","status":"public","author":[{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"doi":"10.1007/3-540-44880-2_10","user_id":"29719","editor":[{"last_name":"Bert","first_name":"Didier","full_name":"Bert, Didier"},{"full_name":"P. Bowen, Jonathan","first_name":"Jonathan","last_name":"P. Bowen"},{"full_name":"King, Steve","first_name":"Steve","last_name":"King"},{"full_name":"A. Wald{\\'{e}}n, Marina","last_name":"A. Wald{\\'{e}}n","first_name":"Marina"}],"page":"127--147","_id":"3240","series_title":"Lecture Notes in Computer Science"},{"supervisor":[{"full_name":"Blömer, Johannes","last_name":"Blömer","first_name":"Johannes","id":"23"}],"citation":{"mla":"May, Alexander. <i>New RSA Vulnerabilities Using Lattice Reduction Methods</i>. Universität Paderborn, 2003.","ama":"May A. <i>New RSA Vulnerabilities Using Lattice Reduction Methods</i>. Universität Paderborn; 2003.","bibtex":"@book{May_2003, title={New RSA Vulnerabilities Using Lattice Reduction Methods}, publisher={Universität Paderborn}, author={May, Alexander}, year={2003} }","apa":"May, A. (2003). <i>New RSA Vulnerabilities Using Lattice Reduction Methods</i>. Universität Paderborn.","ieee":"A. May, <i>New RSA Vulnerabilities Using Lattice Reduction Methods</i>. Universität Paderborn, 2003.","short":"A. May, New RSA Vulnerabilities Using Lattice Reduction Methods, Universität Paderborn, 2003.","chicago":"May, Alexander. <i>New RSA Vulnerabilities Using Lattice Reduction Methods</i>. Universität Paderborn, 2003."},"date_created":"2018-05-25T10:51:42Z","type":"dissertation","department":[{"_id":"64"}],"status":"public","year":"2003","title":"New RSA Vulnerabilities Using Lattice Reduction Methods","author":[{"full_name":"May, Alexander","last_name":"May","first_name":"Alexander"}],"date_updated":"2022-01-06T06:58:46Z","main_file_link":[{"url":"http://nbn-resolving.de/urn:nbn:de:hbz:466-20030101205"}],"publisher":"Universität Paderborn","_id":"2914","user_id":"25078"},{"date_updated":"2022-01-06T06:58:51Z","publication_status":"published","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540406747","9783540451464"]},"author":[{"full_name":"Blömer, Johannes","last_name":"Blömer","first_name":"Johannes","id":"23"},{"full_name":"May, Alexander","first_name":"Alexander","last_name":"May"}],"status":"public","title":"New Partial Key Exposure Attacks on RSA","year":"2003","doi":"10.1007/978-3-540-45146-4_2","user_id":"25078","_id":"3016","publisher":"Springer Berlin Heidelberg","page":"27-43","citation":{"mla":"Blömer, Johannes, and Alexander May. “New Partial Key Exposure Attacks on RSA.” <i>Advances in Cryptology - CRYPTO 2003</i>, Springer Berlin Heidelberg, 2003, pp. 27–43, doi:<a href=\"https://doi.org/10.1007/978-3-540-45146-4_2\">10.1007/978-3-540-45146-4_2</a>.","ama":"Blömer J, May A. New Partial Key Exposure Attacks on RSA. In: <i>Advances in Cryptology - CRYPTO 2003</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2003:27-43. doi:<a href=\"https://doi.org/10.1007/978-3-540-45146-4_2\">10.1007/978-3-540-45146-4_2</a>","bibtex":"@inbook{Blömer_May_2003, place={Berlin, Heidelberg}, title={New Partial Key Exposure Attacks on RSA}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-45146-4_2\">10.1007/978-3-540-45146-4_2</a>}, booktitle={Advances in Cryptology - CRYPTO 2003}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2003}, pages={27–43} }","apa":"Blömer, J., &#38; May, A. (2003). New Partial Key Exposure Attacks on RSA. In <i>Advances in Cryptology - CRYPTO 2003</i> (pp. 27–43). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-540-45146-4_2\">https://doi.org/10.1007/978-3-540-45146-4_2</a>","ieee":"J. Blömer and A. May, “New Partial Key Exposure Attacks on RSA,” in <i>Advances in Cryptology - CRYPTO 2003</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2003, pp. 27–43.","short":"J. Blömer, A. May, in: Advances in Cryptology - CRYPTO 2003, Springer Berlin Heidelberg, Berlin, Heidelberg, 2003, pp. 27–43.","chicago":"Blömer, Johannes, and Alexander May. “New Partial Key Exposure Attacks on RSA.” In <i>Advances in Cryptology - CRYPTO 2003</i>, 27–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. <a href=\"https://doi.org/10.1007/978-3-540-45146-4_2\">https://doi.org/10.1007/978-3-540-45146-4_2</a>."},"publication":"Advances in Cryptology - CRYPTO 2003","department":[{"_id":"64"}],"type":"book_chapter","place":"Berlin, Heidelberg","date_created":"2018-06-05T08:24:11Z"}]