[{"status":"public","title":"Probability Distributions for Channel Utilisation","year":"2005","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540291329","9783540320869"]},"author":[{"first_name":"Christian","last_name":"Schindelhauer","full_name":"Schindelhauer, Christian"},{"full_name":"Voß, Kerstin","last_name":"Voß","first_name":"Kerstin"}],"publication_status":"published","date_updated":"2022-01-06T06:54:13Z","page":"271-284","language":[{"iso":"eng"}],"_id":"19836","series_title":"3738","user_id":"15415","doi":"10.1007/11561354_23","publication":"Proc. of 4th International Conference on Ad-Hoc Networks & Wireless (ADHOC-NOW 2005)","citation":{"bibtex":"@inbook{Schindelhauer_Voß_2005, series={3738}, title={Probability Distributions for Channel Utilisation}, DOI={<a href=\"https://doi.org/10.1007/11561354_23\">10.1007/11561354_23</a>}, booktitle={Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless (ADHOC-NOW 2005)}, author={Schindelhauer, Christian and Voß, Kerstin}, year={2005}, pages={271–284}, collection={3738} }","ama":"Schindelhauer C, Voß K. Probability Distributions for Channel Utilisation. In: <i>Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless (ADHOC-NOW 2005)</i>. 3738. ; 2005:271-284. doi:<a href=\"https://doi.org/10.1007/11561354_23\">10.1007/11561354_23</a>","mla":"Schindelhauer, Christian, and Kerstin Voß. “Probability Distributions for Channel Utilisation.” <i>Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless (ADHOC-NOW 2005)</i>, 2005, pp. 271–84, doi:<a href=\"https://doi.org/10.1007/11561354_23\">10.1007/11561354_23</a>.","chicago":"Schindelhauer, Christian, and Kerstin Voß. “Probability Distributions for Channel Utilisation.” In <i>Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless (ADHOC-NOW 2005)</i>, 271–84. 3738, 2005. <a href=\"https://doi.org/10.1007/11561354_23\">https://doi.org/10.1007/11561354_23</a>.","short":"C. Schindelhauer, K. Voß, in: Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless (ADHOC-NOW 2005), 2005, pp. 271–284.","ieee":"C. Schindelhauer and K. Voß, “Probability Distributions for Channel Utilisation,” in <i>Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless (ADHOC-NOW 2005)</i>, 2005, pp. 271–284.","apa":"Schindelhauer, C., &#38; Voß, K. (2005). Probability Distributions for Channel Utilisation. In <i>Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless (ADHOC-NOW 2005)</i> (pp. 271–284). <a href=\"https://doi.org/10.1007/11561354_23\">https://doi.org/10.1007/11561354_23</a>"},"date_created":"2020-10-01T11:36:30Z","type":"book_chapter","department":[{"_id":"63"}]},{"department":[{"_id":"63"}],"type":"conference","date_created":"2020-10-01T11:45:28Z","citation":{"apa":"Schindelhauer, C., Weikum, G., Hales, D., &#38; Triantafillou, P. (2005). Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search. In <i>European Conference on Complex Systems (ECCS 2005)</i>.","mla":"Schindelhauer, Christian, et al. “Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search.” <i>European Conference on Complex Systems (ECCS 2005)</i>, 2005.","ieee":"C. Schindelhauer, G. Weikum, D. Hales, and P. Triantafillou, “Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search,” in <i>European Conference on Complex Systems (ECCS 2005)</i>, 2005.","ama":"Schindelhauer C, Weikum G, Hales D, Triantafillou P. Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search. In: <i>European Conference on Complex Systems (ECCS 2005)</i>. ; 2005.","short":"C. Schindelhauer, G. Weikum, D. Hales, P. Triantafillou, in: European Conference on Complex Systems (ECCS 2005), 2005.","chicago":"Schindelhauer, Christian, Gerhard Weikum, David Hales, and Peter Triantafillou. “Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search.” In <i>European Conference on Complex Systems (ECCS 2005)</i>, 2005.","bibtex":"@inproceedings{Schindelhauer_Weikum_Hales_Triantafillou_2005, title={Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search}, booktitle={European Conference on Complex Systems (ECCS 2005)}, author={Schindelhauer, Christian and Weikum, Gerhard and Hales, David and Triantafillou, Peter}, year={2005} }"},"publication":"European Conference on Complex Systems (ECCS 2005)","user_id":"15415","_id":"19837","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:13Z","author":[{"full_name":"Schindelhauer, Christian","last_name":"Schindelhauer","first_name":"Christian"},{"first_name":"Gerhard","last_name":"Weikum","full_name":"Weikum, Gerhard"},{"last_name":"Hales","first_name":"David","full_name":"Hales, David"},{"full_name":"Triantafillou, Peter","last_name":"Triantafillou","first_name":"Peter"}],"year":"2005","status":"public","title":"Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search"},{"citation":{"mla":"Brinkmann, André, et al. “Distributed MD.” <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i>, 2005, pp. 81–88.","bibtex":"@inproceedings{Brinkmann_Effert_Heidebuer_Vodisek_2005, title={Distributed MD}, booktitle={In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os}, author={Brinkmann, André and Effert, Sascha and Heidebuer, Michael and Vodisek, Mario}, year={2005}, pages={81–88} }","ama":"Brinkmann A, Effert S, Heidebuer M, Vodisek M. Distributed MD. In: <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i>. ; 2005:81-88.","ieee":"A. Brinkmann, S. Effert, M. Heidebuer, and M. Vodisek, “Distributed MD,” in <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i>, 2005, pp. 81–88.","apa":"Brinkmann, A., Effert, S., Heidebuer, M., &#38; Vodisek, M. (2005). Distributed MD. In <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i> (pp. 81–88).","chicago":"Brinkmann, André, Sascha Effert, Michael Heidebuer, and Mario Vodisek. “Distributed MD.” In <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i>, 81–88, 2005.","short":"A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, in: In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os, 2005, pp. 81–88."},"publication":"In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os","abstract":[{"lang":"eng","text":"Data has become the most valuable asset for many companies; loosing important data can cause companies to fail quite immediately. The protection of data inside storage systems is mostly achieved by using a RAID scheme that adds redundant data to user data, enabling recovery from single or multiple disk failures. This protection against data loss in case of a disk failure can be achieved either by dedicated hardware or a software RAID solution.<br><br>One major advantage of software RAID is that it comes for free as a built-in functionality in many operating systems like Linux or Microsoft Windows. The drawback of the built-in functionality is that it is not suited to run in multiple server environments; synchronization and recovery processes can be corrupted if more than a single server is allowed to access a software RAID volume.<br><br>In this paper, we present an enhancement for the Linux md-driver that enables a consistent usage of RAID in multiple server environments. Based on the V:DRIVE virtualization environment, RAID volumes can be consistently synchronized and recovered even in distributed environments. Besides the architectural concepts, we present measurements that indicate the viability of this enhanced, distributed version of md."}],"date_created":"2020-10-05T08:49:22Z","department":[{"_id":"63"},{"_id":"58"}],"type":"conference","author":[{"full_name":"Brinkmann, André","last_name":"Brinkmann","first_name":"André"},{"full_name":"Effert, Sascha","last_name":"Effert","first_name":"Sascha"},{"full_name":"Heidebuer, Michael","last_name":"Heidebuer","first_name":"Michael"},{"last_name":"Vodisek","first_name":"Mario","full_name":"Vodisek, Mario"}],"title":"Distributed MD","status":"public","year":"2005","date_updated":"2022-01-06T06:54:14Z","_id":"19871","language":[{"iso":"eng"}],"page":"81 - 88","user_id":"15415"},{"author":[{"full_name":"Brinkmann, André","last_name":"Brinkmann","first_name":"André"},{"last_name":"Effert","first_name":"Sascha","full_name":"Effert, Sascha"},{"full_name":"Heidebuer, Michael","first_name":"Michael","last_name":"Heidebuer"},{"last_name":"Vodisek","first_name":"Mario","full_name":"Vodisek, Mario"},{"last_name":"Baars","first_name":"Henning","full_name":"Baars, Henning"}],"status":"public","year":"2005","title":"An integrated Architecture for Business Intelligence support from Application down to Storage","date_updated":"2022-01-06T06:54:14Z","_id":"19872","language":[{"iso":"eng"}],"page":"1-8","user_id":"15415","citation":{"mla":"Brinkmann, André, et al. “An Integrated Architecture for Business Intelligence Support from Application down to Storage.” <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i>, 2005, pp. 1–8.","bibtex":"@inproceedings{Brinkmann_Effert_Heidebuer_Vodisek_Baars_2005, title={An integrated Architecture for Business Intelligence support from Application down to Storage}, booktitle={In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os}, author={Brinkmann, André and Effert, Sascha and Heidebuer, Michael and Vodisek, Mario and Baars, Henning}, year={2005}, pages={1–8} }","ama":"Brinkmann A, Effert S, Heidebuer M, Vodisek M, Baars H. An integrated Architecture for Business Intelligence support from Application down to Storage. In: <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i>. ; 2005:1-8.","ieee":"A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, and H. Baars, “An integrated Architecture for Business Intelligence support from Application down to Storage,” in <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i>, 2005, pp. 1–8.","apa":"Brinkmann, A., Effert, S., Heidebuer, M., Vodisek, M., &#38; Baars, H. (2005). An integrated Architecture for Business Intelligence support from Application down to Storage. In <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i> (pp. 1–8).","short":"A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, H. Baars, in: In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os, 2005, pp. 1–8.","chicago":"Brinkmann, André, Sascha Effert, Michael Heidebuer, Mario Vodisek, and Henning Baars. “An Integrated Architecture for Business Intelligence Support from Application down to Storage.” In <i>In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os</i>, 1–8, 2005."},"publication":"In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os","abstract":[{"text":"Recent developments both in the business and the technological domain have led to a significant increase in demand for Business Intelligence (BI) infrastructures that can handle huge amounts of data in small time frames. BI applications are increasingly used by large user bases on all management levels; support tasks spanning the complete value chain are based on transactional data and are directly coupled with operational systems in ”closed loop” approaches.<br><br>To effectively handle the resulting data volume turns out to be an extremely challenging task which encompasses a variety of issues on different levels. We propose an integrated multi layer tool for monitoring, benchmarking, analyzing, and optimizing the performance of such BI infrastructures.<br><br>Inside this paper we give a coarse outline of the tool’s architecture and demonstrate the value of distinct measurement points at operating system layer. For that purpose we introduce a kernel based benchmark environment and present first measurement results. The gathered data clearly indicates that a meaningful analysis of performance benchmarks without kernel trace points is of limited value - which shows the necessity to consider a separate component within the tool’s architecture.","lang":"eng"}],"date_created":"2020-10-05T08:56:38Z","department":[{"_id":"63"},{"_id":"58"}],"type":"conference"},{"citation":{"short":"J. Klein, G. Zachmann, in: ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05, 2005.","ama":"Klein J, Zachmann G. The expected running time of hierarchical collision detection. In: <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>. ; 2005. doi:<a href=\"https://doi.org/10.1145/1186954.1187087\">10.1145/1186954.1187087</a>","chicago":"Klein, Jan, and Gabriel Zachmann. “The Expected Running Time of Hierarchical Collision Detection.” In <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>, 2005. <a href=\"https://doi.org/10.1145/1186954.1187087\">https://doi.org/10.1145/1186954.1187087</a>.","bibtex":"@inproceedings{Klein_Zachmann_2005, title={The expected running time of hierarchical collision detection}, DOI={<a href=\"https://doi.org/10.1145/1186954.1187087\">10.1145/1186954.1187087</a>}, booktitle={ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05}, author={Klein, Jan and Zachmann, Gabriel}, year={2005} }","mla":"Klein, Jan, and Gabriel Zachmann. “The Expected Running Time of Hierarchical Collision Detection.” <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>, 2005, doi:<a href=\"https://doi.org/10.1145/1186954.1187087\">10.1145/1186954.1187087</a>.","apa":"Klein, J., &#38; Zachmann, G. (2005). The expected running time of hierarchical collision detection. In <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>. <a href=\"https://doi.org/10.1145/1186954.1187087\">https://doi.org/10.1145/1186954.1187087</a>","ieee":"J. Klein and G. Zachmann, “The expected running time of hierarchical collision detection,” in <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>, 2005."},"publication":"ACM SIGGRAPH 2005 Posters on   - SIGGRAPH '05","date_created":"2020-10-05T13:25:41Z","department":[{"_id":"63"}],"type":"conference","author":[{"first_name":"Jan","last_name":"Klein","full_name":"Klein, Jan"},{"first_name":"Gabriel","last_name":"Zachmann","full_name":"Zachmann, Gabriel"}],"year":"2005","status":"public","title":"The expected running time of hierarchical collision detection","date_updated":"2022-01-06T06:54:14Z","publication_status":"published","language":[{"iso":"eng"}],"_id":"19888","doi":"10.1145/1186954.1187087","user_id":"15415"},{"date_updated":"2022-01-06T06:54:14Z","author":[{"first_name":"Jan","last_name":"Klein","full_name":"Klein, Jan"},{"full_name":"Zachmann, Gabriel","last_name":"Zachmann","first_name":"Gabriel"}],"year":"2005","title":"Interpolation Search for Point Cloud Intersection","status":"public","doi":"10.1145/1186223.1186329","user_id":"15415","language":[{"iso":"eng"}],"_id":"19890","page":"163-170","citation":{"ieee":"J. Klein and G. Zachmann, “Interpolation Search for Point Cloud Intersection,” in <i>Proceedings of the 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i>, 2005, pp. 163–170.","apa":"Klein, J., &#38; Zachmann, G. (2005). Interpolation Search for Point Cloud Intersection. In <i>Proceedings of the 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i> (pp. 163–170). <a href=\"https://doi.org/10.1145/1186223.1186329\">https://doi.org/10.1145/1186223.1186329</a>","chicago":"Klein, Jan, and Gabriel Zachmann. “Interpolation Search for Point Cloud Intersection.” In <i>Proceedings of the 13-Th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i>, 163–70, 2005. <a href=\"https://doi.org/10.1145/1186223.1186329\">https://doi.org/10.1145/1186223.1186329</a>.","short":"J. Klein, G. Zachmann, in: Proceedings of the 13-Th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005), 2005, pp. 163–170.","mla":"Klein, Jan, and Gabriel Zachmann. “Interpolation Search for Point Cloud Intersection.” <i>Proceedings of the 13-Th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i>, 2005, pp. 163–70, doi:<a href=\"https://doi.org/10.1145/1186223.1186329\">10.1145/1186223.1186329</a>.","bibtex":"@inproceedings{Klein_Zachmann_2005, title={Interpolation Search for Point Cloud Intersection}, DOI={<a href=\"https://doi.org/10.1145/1186223.1186329\">10.1145/1186223.1186329</a>}, booktitle={Proceedings of the 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)}, author={Klein, Jan and Zachmann, Gabriel}, year={2005}, pages={163–170} }","ama":"Klein J, Zachmann G. Interpolation Search for Point Cloud Intersection. In: <i>Proceedings of the 13-Th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i>. ; 2005:163-170. doi:<a href=\"https://doi.org/10.1145/1186223.1186329\">10.1145/1186223.1186329</a>"},"publication":"Proceedings of the 13-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision'2005 (WSCG'2005)","department":[{"_id":"63"}],"type":"conference","date_created":"2020-10-05T13:38:33Z"},{"citation":{"ieee":"C. Loeser, G. Schomaker, A. Brinkmann, M. Vodisek, and M. Heidebuer, “Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts,” in <i>Proceedings of the 4th International Conference on Networking</i>, 2005, vol. 3421, pp. 800–810.","apa":"Loeser, C., Schomaker, G., Brinkmann, A., Vodisek, M., &#38; Heidebuer, M. (2005). Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts. In <i>Proceedings of the 4th International Conference on Networking</i> (Vol. 3421, pp. 800–810). Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/978-3-540-31957-3_90\">https://doi.org/10.1007/978-3-540-31957-3_90</a>","short":"C. Loeser, G. Schomaker, A. Brinkmann, M. Vodisek, M. Heidebuer, in: Proceedings of the 4th International Conference on Networking, Berlin, Heidelberg, 2005, pp. 800–810.","chicago":"Loeser, Chris, Gunnar Schomaker, André Brinkmann, Mario Vodisek, and Michael Heidebuer. “Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts.” In <i>Proceedings of the 4th International Conference on Networking</i>, 3421:800–810. Berlin, Heidelberg, 2005. <a href=\"https://doi.org/10.1007/978-3-540-31957-3_90\">https://doi.org/10.1007/978-3-540-31957-3_90</a>.","mla":"Loeser, Chris, et al. “Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts.” <i>Proceedings of the 4th International Conference on Networking</i>, vol. 3421, 2005, pp. 800–10, doi:<a href=\"https://doi.org/10.1007/978-3-540-31957-3_90\">10.1007/978-3-540-31957-3_90</a>.","bibtex":"@inproceedings{Loeser_Schomaker_Brinkmann_Vodisek_Heidebuer_2005, place={Berlin, Heidelberg}, title={Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts}, volume={3421}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-31957-3_90\">10.1007/978-3-540-31957-3_90</a>}, booktitle={Proceedings of the 4th International Conference on Networking}, author={Loeser, Chris and Schomaker, Gunnar and Brinkmann, André and Vodisek, Mario and Heidebuer, Michael}, year={2005}, pages={800–810} }","ama":"Loeser C, Schomaker G, Brinkmann A, Vodisek M, Heidebuer M. Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts. In: <i>Proceedings of the 4th International Conference on Networking</i>. Vol 3421. Berlin, Heidelberg; 2005:800-810. doi:<a href=\"https://doi.org/10.1007/978-3-540-31957-3_90\">10.1007/978-3-540-31957-3_90</a>"},"publication":"Proceedings of the 4th International Conference on Networking","department":[{"_id":"63"},{"_id":"58"}],"type":"conference","date_created":"2020-10-06T10:36:14Z","place":"Berlin, Heidelberg","intvolume":"      3421","publication_status":"published","date_updated":"2022-01-06T06:54:14Z","author":[{"full_name":"Loeser, Chris","last_name":"Loeser","first_name":"Chris"},{"full_name":"Schomaker, Gunnar","last_name":"Schomaker","first_name":"Gunnar"},{"full_name":"Brinkmann, André","last_name":"Brinkmann","first_name":"André"},{"last_name":"Vodisek","first_name":"Mario","full_name":"Vodisek, Mario"},{"last_name":"Heidebuer","first_name":"Michael","full_name":"Heidebuer, Michael"}],"publication_identifier":{"isbn":["9783540253389","9783540319573"],"issn":["0302-9743","1611-3349"]},"year":"2005","status":"public","title":"Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts","volume":3421,"user_id":"15415","doi":"10.1007/978-3-540-31957-3_90","_id":"19912","language":[{"iso":"eng"}],"page":"800-810"},{"date_created":"2018-04-17T14:34:03Z","type":"conference","keyword":["Zippy"],"department":[{"_id":"518"},{"_id":"78"}],"publication":"Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)","citation":{"ama":"Plessl C, Platzner M. Zippy – A coarse-grained reconfigurable array with support for hardware virtualization. In: <i>Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)</i>. IEEE Computer Society; 2005:213-218. doi:<a href=\"https://doi.org/10.1109/ASAP.2005.69\">10.1109/ASAP.2005.69</a>","bibtex":"@inproceedings{Plessl_Platzner_2005, title={Zippy – A coarse-grained reconfigurable array with support for hardware virtualization}, DOI={<a href=\"https://doi.org/10.1109/ASAP.2005.69\">10.1109/ASAP.2005.69</a>}, booktitle={Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)}, publisher={IEEE Computer Society}, author={Plessl, Christian and Platzner, Marco}, year={2005}, pages={213–218} }","mla":"Plessl, Christian, and Marco Platzner. “Zippy – A Coarse-Grained Reconfigurable Array with Support for Hardware Virtualization.” <i>Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)</i>, IEEE Computer Society, 2005, pp. 213–18, doi:<a href=\"https://doi.org/10.1109/ASAP.2005.69\">10.1109/ASAP.2005.69</a>.","short":"C. Plessl, M. Platzner, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2005, pp. 213–218.","chicago":"Plessl, Christian, and Marco Platzner. “Zippy – A Coarse-Grained Reconfigurable Array with Support for Hardware Virtualization.” In <i>Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)</i>, 213–18. IEEE Computer Society, 2005. <a href=\"https://doi.org/10.1109/ASAP.2005.69\">https://doi.org/10.1109/ASAP.2005.69</a>.","apa":"Plessl, C., &#38; Platzner, M. (2005). Zippy – A coarse-grained reconfigurable array with support for hardware virtualization. In <i>Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)</i> (pp. 213–218). IEEE Computer Society. <a href=\"https://doi.org/10.1109/ASAP.2005.69\">https://doi.org/10.1109/ASAP.2005.69</a>","ieee":"C. Plessl and M. Platzner, “Zippy – A coarse-grained reconfigurable array with support for hardware virtualization,” in <i>Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP)</i>, 2005, pp. 213–218."},"abstract":[{"text":" This paper motivates the use of hardware virtualization on coarse-grained reconfigurable architectures. We introduce Zippy, a coarse-grained multi-context hybrid CPU with architectural support for efficient hardware virtualization. The architectural details and the corresponding tool flow are outlined. As a case study, we compare the non-virtualized and the virtualized execution of an ADPCM decoder. ","lang":"eng"}],"page":"213-218","_id":"2411","publisher":"IEEE Computer Society","doi":"10.1109/ASAP.2005.69","user_id":"24135","status":"public","title":"Zippy – A coarse-grained reconfigurable array with support for hardware virtualization","year":"2005","author":[{"last_name":"Plessl","first_name":"Christian","orcid":"0000-0001-5728-9982","full_name":"Plessl, Christian","id":"16153"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"date_updated":"2022-01-06T06:56:07Z"},{"citation":{"apa":"Enzler, R., Plessl, C., &#38; Platzner, M. (2005). System-level performance evaluation of reconfigurable processors. <i>Microprocessors and Microsystems</i>, <i>29</i>(2–3), 63–73. <a href=\"https://doi.org/10.1016/j.micpro.2004.06.004\">https://doi.org/10.1016/j.micpro.2004.06.004</a>","ieee":"R. Enzler, C. Plessl, and M. Platzner, “System-level performance evaluation of reconfigurable processors,” <i>Microprocessors and Microsystems</i>, vol. 29, no. 2–3, pp. 63–73, 2005.","short":"R. Enzler, C. Plessl, M. Platzner, Microprocessors and Microsystems 29 (2005) 63–73.","chicago":"Enzler, Rolf, Christian Plessl, and Marco Platzner. “System-Level Performance Evaluation of Reconfigurable Processors.” <i>Microprocessors and Microsystems</i> 29, no. 2–3 (2005): 63–73. <a href=\"https://doi.org/10.1016/j.micpro.2004.06.004\">https://doi.org/10.1016/j.micpro.2004.06.004</a>.","mla":"Enzler, Rolf, et al. “System-Level Performance Evaluation of Reconfigurable Processors.” <i>Microprocessors and Microsystems</i>, vol. 29, no. 2–3, Elsevier, 2005, pp. 63–73, doi:<a href=\"https://doi.org/10.1016/j.micpro.2004.06.004\">10.1016/j.micpro.2004.06.004</a>.","ama":"Enzler R, Plessl C, Platzner M. System-level performance evaluation of reconfigurable processors. <i>Microprocessors and Microsystems</i>. 2005;29(2-3):63-73. doi:<a href=\"https://doi.org/10.1016/j.micpro.2004.06.004\">10.1016/j.micpro.2004.06.004</a>","bibtex":"@article{Enzler_Plessl_Platzner_2005, title={System-level performance evaluation of reconfigurable processors}, volume={29}, DOI={<a href=\"https://doi.org/10.1016/j.micpro.2004.06.004\">10.1016/j.micpro.2004.06.004</a>}, number={2–3}, journal={Microprocessors and Microsystems}, publisher={Elsevier}, author={Enzler, Rolf and Plessl, Christian and Platzner, Marco}, year={2005}, pages={63–73} }"},"publication":"Microprocessors and Microsystems","issue":"2-3","abstract":[{"text":" Reconfigurable architectures that tightly integrate a standard CPU core with a field-programmable hardware structure have recently been receiving impact of these design decisions on the overall system performance is a challenging task. In this paper, we first present a framework for the cycle-accurate performance evaluation of hybrid reconfigurable processors on the system level. Then, we discuss a reconfigurable processor for data-streaming applications, which attaches a coarse-grained reconfigurable unit to the coprocessor interface of a standard embedded CPU core. By means of a case study we evaluate the system-level impact of certain design features for the reconfigurable unit, such as multiple contexts, register replication, and hardware context scheduling. The results illustrate that a system-level evaluation framework is of paramount importance for studying the architectural trade-offs and optimizing design parameters for reconfigurable processors.","lang":"eng"}],"date_created":"2018-04-17T14:36:10Z","department":[{"_id":"518"},{"_id":"78"}],"type":"journal_article","keyword":["FPGA","reconfigurable computing","co-simulation","Zippy"],"author":[{"full_name":"Enzler, Rolf","first_name":"Rolf","last_name":"Enzler"},{"full_name":"Plessl, Christian","first_name":"Christian","orcid":"0000-0001-5728-9982","last_name":"Plessl","id":"16153"},{"id":"398","full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner"}],"title":"System-level performance evaluation of reconfigurable processors","year":"2005","status":"public","intvolume":"        29","date_updated":"2022-01-06T06:56:07Z","publisher":"Elsevier","_id":"2412","page":"63-73","volume":29,"doi":"10.1016/j.micpro.2004.06.004","user_id":"24135"},{"date_updated":"2022-01-06T06:57:18Z","publication_status":"published","author":[{"first_name":"Martin","last_name":"Ziegler","full_name":"Ziegler, Martin"},{"full_name":"Fuchssteiner, Benno","last_name":"Fuchssteiner","first_name":"Benno"}],"publication_identifier":{"issn":["0020-7748","1572-9575"]},"year":"2005","title":"Nonlinear Reformulation of Heisenberg's Dynamics","status":"public","doi":"10.1007/s10773-005-7048-9","user_id":"15415","language":[{"iso":"eng"}],"_id":"26278","page":"693-717","citation":{"ieee":"M. Ziegler and B. Fuchssteiner, “Nonlinear Reformulation of Heisenberg’s Dynamics,” <i>International Journal of Theoretical Physics</i>, pp. 693–717, 2005, doi: <a href=\"https://doi.org/10.1007/s10773-005-7048-9\">10.1007/s10773-005-7048-9</a>.","apa":"Ziegler, M., &#38; Fuchssteiner, B. (2005). Nonlinear Reformulation of Heisenberg’s Dynamics. <i>International Journal of Theoretical Physics</i>, 693–717. <a href=\"https://doi.org/10.1007/s10773-005-7048-9\">https://doi.org/10.1007/s10773-005-7048-9</a>","short":"M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.","chicago":"Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s Dynamics.” <i>International Journal of Theoretical Physics</i>, 2005, 693–717. <a href=\"https://doi.org/10.1007/s10773-005-7048-9\">https://doi.org/10.1007/s10773-005-7048-9</a>.","mla":"Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s Dynamics.” <i>International Journal of Theoretical Physics</i>, 2005, pp. 693–717, doi:<a href=\"https://doi.org/10.1007/s10773-005-7048-9\">10.1007/s10773-005-7048-9</a>.","bibtex":"@article{Ziegler_Fuchssteiner_2005, title={Nonlinear Reformulation of Heisenberg’s Dynamics}, DOI={<a href=\"https://doi.org/10.1007/s10773-005-7048-9\">10.1007/s10773-005-7048-9</a>}, journal={International Journal of Theoretical Physics}, author={Ziegler, Martin and Fuchssteiner, Benno}, year={2005}, pages={693–717} }","ama":"Ziegler M, Fuchssteiner B. Nonlinear Reformulation of Heisenberg’s Dynamics. <i>International Journal of Theoretical Physics</i>. Published online 2005:693-717. doi:<a href=\"https://doi.org/10.1007/s10773-005-7048-9\">10.1007/s10773-005-7048-9</a>"},"publication":"International Journal of Theoretical Physics","department":[{"_id":"63"},{"_id":"26"}],"type":"journal_article","date_created":"2021-10-15T12:29:17Z"},{"citation":{"chicago":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” <i>Sci. Comput. Program.</i>, no. 1–3 (2005): 227--257. <a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">https://doi.org/10.1016/j.scico.2004.05.017</a>.","short":"E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.","apa":"Olderog, E.-R., &#38; Wehrheim, H. (2005). Specification and (property) inheritance in {CSP-OZ}. <i>Sci. Comput. Program.</i>, (1–3), 227--257. <a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">https://doi.org/10.1016/j.scico.2004.05.017</a>","ieee":"E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in {CSP-OZ},” <i>Sci. Comput. Program.</i>, no. 1–3, pp. 227--257, 2005.","ama":"Olderog E-R, Wehrheim H. Specification and (property) inheritance in {CSP-OZ}. <i>Sci Comput Program</i>. 2005;(1-3):227--257. doi:<a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">10.1016/j.scico.2004.05.017</a>","bibtex":"@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance in {CSP-OZ}}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">10.1016/j.scico.2004.05.017</a>}, number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, year={2005}, pages={227--257} }","mla":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” <i>Sci. Comput. Program.</i>, no. 1–3, 2005, pp. 227--257, doi:<a href=\"https://doi.org/10.1016/j.scico.2004.05.017\">10.1016/j.scico.2004.05.017</a>."},"publication":"Sci. Comput. Program.","issue":"1-3","date_created":"2018-06-14T06:38:42Z","department":[{"_id":"77"}],"type":"journal_article","author":[{"first_name":"Ernst-Rüdiger","last_name":"Olderog","full_name":"Olderog, Ernst-Rüdiger"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"title":"Specification and (property) inheritance in {CSP-OZ}","status":"public","year":"2005","date_updated":"2022-01-06T06:59:06Z","_id":"3227","page":"227--257","user_id":"29719","doi":"10.1016/j.scico.2004.05.017"},{"date_created":"2018-06-14T06:40:02Z","department":[{"_id":"77"}],"type":"journal_article","citation":{"mla":"Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor. Comput. Sci.</i>, no. 3, 2005, pp. 509--528, doi:<a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">10.1016/j.tcs.2005.06.020</a>.","bibtex":"@article{Wehrheim_2005, title={Slicing techniques for verification re-use}, DOI={<a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">10.1016/j.tcs.2005.06.020</a>}, number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005}, pages={509--528} }","ama":"Wehrheim H. Slicing techniques for verification re-use. <i>Theor Comput Sci</i>. 2005;(3):509--528. doi:<a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">10.1016/j.tcs.2005.06.020</a>","ieee":"H. Wehrheim, “Slicing techniques for verification re-use,” <i>Theor. Comput. Sci.</i>, no. 3, pp. 509--528, 2005.","apa":"Wehrheim, H. (2005). Slicing techniques for verification re-use. <i>Theor. Comput. Sci.</i>, (3), 509--528. <a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">https://doi.org/10.1016/j.tcs.2005.06.020</a>","chicago":"Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor. Comput. Sci.</i>, no. 3 (2005): 509--528. <a href=\"https://doi.org/10.1016/j.tcs.2005.06.020\">https://doi.org/10.1016/j.tcs.2005.06.020</a>.","short":"H. Wehrheim, Theor. Comput. Sci. (2005) 509--528."},"issue":"3","publication":"Theor. Comput. Sci.","_id":"3228","page":"509--528","user_id":"29719","doi":"10.1016/j.tcs.2005.06.020","author":[{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"title":"Slicing techniques for verification re-use","year":"2005","status":"public","date_updated":"2022-01-06T06:59:06Z"},{"user_id":"29719","doi":"10.1007/11494881_5","editor":[{"last_name":"Steffen","first_name":"Martin","full_name":"Steffen, Martin"},{"last_name":"Zavattaro","first_name":"Gianluigi","full_name":"Zavattaro, Gianluigi"}],"page":"67--82","series_title":"Lecture Notes in Computer Science","_id":"3229","date_updated":"2022-01-06T06:59:06Z","year":"2005","title":"Checking the Validity of Scenarios in {UML} Models","status":"public","author":[{"last_name":"Rasch","first_name":"Holger","full_name":"Rasch, Holger"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-14T06:41:20Z","publication":"Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings","citation":{"ieee":"H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,” in <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>, 2005, pp. 67--82.","apa":"Rasch, H., &#38; Wehrheim, H. (2005). Checking the Validity of Scenarios in {UML} Models. In M. Steffen &#38; G. Zavattaro (Eds.), <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i> (pp. 67--82). <a href=\"https://doi.org/10.1007/11494881_5\">https://doi.org/10.1007/11494881_5</a>","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” In <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro, 67--82. Lecture Notes in Computer Science, 2005. <a href=\"https://doi.org/10.1007/11494881_5\">https://doi.org/10.1007/11494881_5</a>.","short":"H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.","mla":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro, 2005, pp. 67--82, doi:<a href=\"https://doi.org/10.1007/11494881_5\">10.1007/11494881_5</a>.","bibtex":"@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Checking the Validity of Scenarios in {UML} Models}, DOI={<a href=\"https://doi.org/10.1007/11494881_5\">10.1007/11494881_5</a>}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen, Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture Notes in Computer Science} }","ama":"Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In: Steffen M, Zavattaro G, eds. <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i>. Lecture Notes in Computer Science. ; 2005:67--82. doi:<a href=\"https://doi.org/10.1007/11494881_5\">10.1007/11494881_5</a>"}},{"series_title":"Lecture Notes in Computer Science","_id":"3230","page":"360--374","editor":[{"full_name":"Lau, Kung{-}Kiu","last_name":"Lau","first_name":"Kung{-}Kiu"},{"full_name":"Banach, Richard","first_name":"Richard","last_name":"Banach"}],"doi":"10.1007/11576280_25","user_id":"29719","author":[{"last_name":"Brückner","first_name":"Ingo","full_name":"Brückner, Ingo"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"year":"2005","status":"public","title":"Slicing an Integrated Formal Method for Verification","date_updated":"2022-01-06T06:59:06Z","date_created":"2018-06-14T06:42:51Z","department":[{"_id":"77"}],"type":"conference","citation":{"ieee":"I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,” in <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>, 2005, pp. 360--374.","apa":"Brückner, I., &#38; Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-}Kiu Lau &#38; R. Banach (Eds.), <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i> (pp. 360--374). <a href=\"https://doi.org/10.1007/11576280_25\">https://doi.org/10.1007/11576280_25</a>","short":"I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.","chicago":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” In <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 360--374. Lecture Notes in Computer Science, 2005. <a href=\"https://doi.org/10.1007/11576280_25\">https://doi.org/10.1007/11576280_25</a>.","mla":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374, doi:<a href=\"https://doi.org/10.1007/11576280_25\">10.1007/11576280_25</a>.","bibtex":"@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={<a href=\"https://doi.org/10.1007/11576280_25\">10.1007/11576280_25</a>}, booktitle={Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors}, year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science} }","ama":"Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification. In: Lau K-}Kiu, Banach R, eds. <i>Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i>. Lecture Notes in Computer Science. ; 2005:360--374. doi:<a href=\"https://doi.org/10.1007/11576280_25\">10.1007/11576280_25</a>"},"publication":"Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings"},{"date_created":"2018-06-14T06:44:17Z","department":[{"_id":"77"}],"type":"conference","citation":{"bibtex":"@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={<a href=\"https://doi.org/10.1007/11415787_3\">10.1007/11415787_3</a>}, booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44}, collection={Lecture Notes in Computer Science} }","ama":"Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne H, King S, C. Henson M, A. Schneider S, eds. <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>. Lecture Notes in Computer Science. ; 2005:24--44. doi:<a href=\"https://doi.org/10.1007/11415787_3\">10.1007/11415787_3</a>","mla":"Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>, edited by Helen Treharne et al., 2005, pp. 24--44, doi:<a href=\"https://doi.org/10.1007/11415787_3\">10.1007/11415787_3</a>.","chicago":"Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” In <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 24--44. Lecture Notes in Computer Science, 2005. <a href=\"https://doi.org/10.1007/11415787_3\">https://doi.org/10.1007/11415787_3</a>.","short":"J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.","ieee":"J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>, 2005, pp. 24--44.","apa":"Derrick, J., &#38; Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}. In H. Treharne, S. King, M. C. Henson, &#38; S. A. Schneider (Eds.), <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i> (pp. 24--44). <a href=\"https://doi.org/10.1007/11415787_3\">https://doi.org/10.1007/11415787_3</a>"},"publication":"{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings","_id":"3231","series_title":"Lecture Notes in Computer Science","page":"24--44","editor":[{"last_name":"Treharne","first_name":"Helen","full_name":"Treharne, Helen"},{"full_name":"King, Steve","last_name":"King","first_name":"Steve"},{"full_name":"C. Henson, Martin","last_name":"C. Henson","first_name":"Martin"},{"last_name":"A. Schneider","first_name":"Steve","full_name":"A. Schneider, Steve"}],"user_id":"29719","doi":"10.1007/11415787_3","author":[{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Non-atomic Refinement in {Z} and {CSP}","status":"public","year":"2005","date_updated":"2022-01-06T06:59:06Z"},{"citation":{"chicago":"Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.” In <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. <a href=\"https://doi.org/10.1007/11415787_24\">https://doi.org/10.1007/11415787_24</a>.","short":"I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.","apa":"Brückner, I., &#38; Wehrheim, H. (2005). Slicing Object-Z Specifications for Verification. In H. Treharne, S. King, M. C. Henson, &#38; S. A. Schneider (Eds.), <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i> (pp. 414--433). <a href=\"https://doi.org/10.1007/11415787_24\">https://doi.org/10.1007/11415787_24</a>","ieee":"I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,” in <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>, 2005, pp. 414--433.","ama":"Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification. In: Treharne H, King S, C. Henson M, A. Schneider S, eds. <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>. Lecture Notes in Computer Science. ; 2005:414--433. doi:<a href=\"https://doi.org/10.1007/11415787_24\">10.1007/11415787_24</a>","bibtex":"@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing Object-Z Specifications for Verification}, DOI={<a href=\"https://doi.org/10.1007/11415787_24\">10.1007/11415787_24</a>}, booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433}, collection={Lecture Notes in Computer Science} }","mla":"Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.” <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>, edited by Helen Treharne et al., 2005, pp. 414--433, doi:<a href=\"https://doi.org/10.1007/11415787_24\">10.1007/11415787_24</a>."},"publication":"{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings","date_created":"2018-06-14T06:45:30Z","department":[{"_id":"77"}],"type":"conference","author":[{"last_name":"Brückner","first_name":"Ingo","full_name":"Brückner, Ingo"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"year":"2005","title":"Slicing Object-Z Specifications for Verification","status":"public","date_updated":"2022-01-06T06:59:06Z","_id":"3232","series_title":"Lecture Notes in Computer Science","page":"414--433","editor":[{"full_name":"Treharne, Helen","last_name":"Treharne","first_name":"Helen"},{"first_name":"Steve","last_name":"King","full_name":"King, Steve"},{"full_name":"C. Henson, Martin","first_name":"Martin","last_name":"C. Henson"},{"last_name":"A. Schneider","first_name":"Steve","full_name":"A. Schneider, Steve"}],"doi":"10.1007/11415787_24","user_id":"29719"},{"citation":{"mla":"Schindelhauer, Christian, and Gunnar Schomaker. “Weighted Distributed Hash Tables.” <i>SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA</i>, 2005, doi:<a href=\"https://doi.org/10.1145/1073970.1074008\">10.1145/1073970.1074008</a>.","bibtex":"@inproceedings{Schindelhauer_Schomaker_2005, title={Weighted distributed hash tables}, DOI={<a href=\"https://doi.org/10.1145/1073970.1074008\">10.1145/1073970.1074008</a>}, booktitle={SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA}, author={Schindelhauer, Christian and Schomaker, Gunnar}, year={2005} }","ama":"Schindelhauer C, Schomaker G. Weighted distributed hash tables. In: <i>SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA</i>. ; 2005. doi:<a href=\"https://doi.org/10.1145/1073970.1074008\">10.1145/1073970.1074008</a>","ieee":"C. Schindelhauer and G. Schomaker, “Weighted distributed hash tables,” 2005, doi: <a href=\"https://doi.org/10.1145/1073970.1074008\">10.1145/1073970.1074008</a>.","apa":"Schindelhauer, C., &#38; Schomaker, G. (2005). Weighted distributed hash tables. <i>SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA</i>. <a href=\"https://doi.org/10.1145/1073970.1074008\">https://doi.org/10.1145/1073970.1074008</a>","short":"C. Schindelhauer, G. Schomaker, in: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA, 2005.","chicago":"Schindelhauer, Christian, and Gunnar Schomaker. “Weighted Distributed Hash Tables.” In <i>SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA</i>, 2005. <a href=\"https://doi.org/10.1145/1073970.1074008\">https://doi.org/10.1145/1073970.1074008</a>."},"publication":"SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA","date_created":"2021-12-15T14:37:16Z","department":[{"_id":"63"},{"_id":"26"}],"type":"conference","author":[{"first_name":"Christian","last_name":"Schindelhauer","full_name":"Schindelhauer, Christian"},{"full_name":"Schomaker, Gunnar","first_name":"Gunnar","last_name":"Schomaker"}],"title":"Weighted distributed hash tables","year":"2005","status":"public","date_updated":"2022-01-06T06:58:42Z","language":[{"iso":"eng"}],"_id":"28987","doi":"10.1145/1073970.1074008","user_id":"15415"},{"supervisor":[{"id":"23","first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes"}],"citation":{"ama":"Otto M. <i>Fault Attacks and Countermeasures</i>. Universität Paderborn; 2005.","bibtex":"@book{Otto_2005, title={Fault Attacks and Countermeasures}, publisher={Universität Paderborn}, author={Otto, Martin}, year={2005} }","mla":"Otto, Martin. <i>Fault Attacks and Countermeasures</i>. Universität Paderborn, 2005.","short":"M. Otto, Fault Attacks and Countermeasures, Universität Paderborn, 2005.","chicago":"Otto, Martin. <i>Fault Attacks and Countermeasures</i>. Universität Paderborn, 2005.","apa":"Otto, M. (2005). <i>Fault Attacks and Countermeasures</i>. Universität Paderborn.","ieee":"M. Otto, <i>Fault Attacks and Countermeasures</i>. Universität Paderborn, 2005."},"type":"dissertation","department":[{"_id":"64"}],"date_created":"2018-05-25T10:50:49Z","date_updated":"2022-01-06T06:58:46Z","title":"Fault Attacks and Countermeasures","year":"2005","status":"public","author":[{"last_name":"Otto","first_name":"Martin","full_name":"Otto, Martin"}],"user_id":"25078","main_file_link":[{"url":"http://nbn-resolving.de/urn:nbn:de:hbz:466-20040101308"}],"publisher":"Universität Paderborn","_id":"2913"},{"publication_status":"published","date_updated":"2022-01-06T06:58:50Z","year":"2005","title":"A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers","author":[{"full_name":"Blömer, Johannes","first_name":"Johannes","last_name":"Blömer","id":"23"},{"first_name":"Alexander","last_name":"May","full_name":"May, Alexander"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540259107","9783540320555"]},"doi":"10.1007/11426639_15","series_title":"Lecture Notes in Computer Science","publication":"EUROCRYPT 2005","type":"book_chapter","department":[{"_id":"64"}],"file":[{"date_created":"2018-06-05T08:18:20Z","creator":"feidens","file_id":"3008","success":1,"content_type":"application/pdf","file_name":"toolkit.pdf","access_level":"closed","file_size":333655,"relation":"main_file","date_updated":"2018-06-05T08:18:20Z"}],"date_created":"2018-06-05T08:16:47Z","has_accepted_license":"1","status":"public","user_id":"25078","ddc":["000"],"page":"251-267","_id":"3006","publisher":"Springer Berlin Heidelberg","file_date_updated":"2018-06-05T08:18:20Z","citation":{"bibtex":"@inbook{Blömer_May_2005, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers}, DOI={<a href=\"https://doi.org/10.1007/11426639_15\">10.1007/11426639_15</a>}, booktitle={EUROCRYPT 2005}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes and May, Alexander}, year={2005}, pages={251–267}, collection={Lecture Notes in Computer Science} }","ama":"Blömer J, May A. A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers. In: <i>EUROCRYPT 2005</i>. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2005:251-267. doi:<a href=\"https://doi.org/10.1007/11426639_15\">10.1007/11426639_15</a>","mla":"Blömer, Johannes, and Alexander May. “A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers.” <i>EUROCRYPT 2005</i>, Springer Berlin Heidelberg, 2005, pp. 251–67, doi:<a href=\"https://doi.org/10.1007/11426639_15\">10.1007/11426639_15</a>.","chicago":"Blömer, Johannes, and Alexander May. “A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers.” In <i>EUROCRYPT 2005</i>, 251–67. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. <a href=\"https://doi.org/10.1007/11426639_15\">https://doi.org/10.1007/11426639_15</a>.","short":"J. Blömer, A. May, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 251–267.","ieee":"J. Blömer and A. May, “A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers,” in <i>EUROCRYPT 2005</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2005, pp. 251–267.","apa":"Blömer, J., &#38; May, A. (2005). A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers. In <i>EUROCRYPT 2005</i> (pp. 251–267). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/11426639_15\">https://doi.org/10.1007/11426639_15</a>"},"place":"Berlin, Heidelberg"},{"publication_status":"published","date_updated":"2022-01-06T06:58:51Z","publication_identifier":{"isbn":["9783540259107","9783540320555"],"issn":["0302-9743","1611-3349"]},"author":[{"full_name":"Ernst, Matthias","first_name":"Matthias","last_name":"Ernst"},{"full_name":"Jochemsz, Ellen","first_name":"Ellen","last_name":"Jochemsz"},{"full_name":"May, Alexander","last_name":"May","first_name":"Alexander"},{"full_name":"de Weger, Benne","last_name":"de Weger","first_name":"Benne"}],"status":"public","title":"Partial Key Exposure Attacks on RSA up to Full Size Exponents","year":"2005","user_id":"25078","doi":"10.1007/11426639_22","_id":"3010","publisher":"Springer Berlin Heidelberg","series_title":"LNCS","page":"371-386","citation":{"ama":"Ernst M, Jochemsz E, May A, de Weger B. Partial Key Exposure Attacks on RSA up to Full Size Exponents. In: <i>EUROCRYPT 2005</i>. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg; 2005:371-386. doi:<a href=\"https://doi.org/10.1007/11426639_22\">10.1007/11426639_22</a>","bibtex":"@inbook{Ernst_Jochemsz_May_de Weger_2005, place={Berlin, Heidelberg}, series={LNCS}, title={Partial Key Exposure Attacks on RSA up to Full Size Exponents}, DOI={<a href=\"https://doi.org/10.1007/11426639_22\">10.1007/11426639_22</a>}, booktitle={EUROCRYPT 2005}, publisher={Springer Berlin Heidelberg}, author={Ernst, Matthias and Jochemsz, Ellen and May, Alexander and de Weger, Benne}, year={2005}, pages={371–386}, collection={LNCS} }","mla":"Ernst, Matthias, et al. “Partial Key Exposure Attacks on RSA up to Full Size Exponents.” <i>EUROCRYPT 2005</i>, Springer Berlin Heidelberg, 2005, pp. 371–86, doi:<a href=\"https://doi.org/10.1007/11426639_22\">10.1007/11426639_22</a>.","chicago":"Ernst, Matthias, Ellen Jochemsz, Alexander May, and Benne de Weger. “Partial Key Exposure Attacks on RSA up to Full Size Exponents.” In <i>EUROCRYPT 2005</i>, 371–86. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. <a href=\"https://doi.org/10.1007/11426639_22\">https://doi.org/10.1007/11426639_22</a>.","short":"M. Ernst, E. Jochemsz, A. May, B. de Weger, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 371–386.","apa":"Ernst, M., Jochemsz, E., May, A., &#38; de Weger, B. (2005). Partial Key Exposure Attacks on RSA up to Full Size Exponents. In <i>EUROCRYPT 2005</i> (pp. 371–386). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/11426639_22\">https://doi.org/10.1007/11426639_22</a>","ieee":"M. Ernst, E. Jochemsz, A. May, and B. de Weger, “Partial Key Exposure Attacks on RSA up to Full Size Exponents,” in <i>EUROCRYPT 2005</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2005, pp. 371–386."},"publication":"EUROCRYPT 2005","department":[{"_id":"64"}],"type":"book_chapter","date_created":"2018-06-05T08:19:48Z","place":"Berlin, Heidelberg"}]