[{"author":[{"full_name":"Weskamp, N.","first_name":"N.","last_name":"Weskamp"},{"first_name":"D.","last_name":"Kuhn","full_name":"Kuhn, D."},{"id":"48129","full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier"},{"last_name":"Klebe","first_name":"G.","full_name":"Klebe, G."}],"title":"Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing","status":"public","year":"2004","intvolume":"        20","date_updated":"2022-01-06T06:52:44Z","language":[{"iso":"eng"}],"_id":"16186","page":"1522-1526","volume":20,"user_id":"49109","citation":{"bibtex":"@article{Weskamp_Kuhn_Hüllermeier_Klebe_2004, title={Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing}, volume={20}, number={10}, journal={Bioinformatics}, author={Weskamp, N. and Kuhn, D. and Hüllermeier, Eyke and Klebe, G.}, year={2004}, pages={1522–1526} }","ama":"Weskamp N, Kuhn D, Hüllermeier E, Klebe G. Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing. <i>Bioinformatics</i>. 2004;20(10):1522-1526.","mla":"Weskamp, N., et al. “Efficient Similarity Search in Protein Structure Databases: Improving Clique-Detection through Clique-Hashing.” <i>Bioinformatics</i>, vol. 20, no. 10, 2004, pp. 1522–26.","short":"N. Weskamp, D. Kuhn, E. Hüllermeier, G. Klebe, Bioinformatics 20 (2004) 1522–1526.","chicago":"Weskamp, N., D. Kuhn, Eyke Hüllermeier, and G. Klebe. “Efficient Similarity Search in Protein Structure Databases: Improving Clique-Detection through Clique-Hashing.” <i>Bioinformatics</i> 20, no. 10 (2004): 1522–26.","ieee":"N. Weskamp, D. Kuhn, E. Hüllermeier, and G. Klebe, “Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing,” <i>Bioinformatics</i>, vol. 20, no. 10, pp. 1522–1526, 2004.","apa":"Weskamp, N., Kuhn, D., Hüllermeier, E., &#38; Klebe, G. (2004). Efficient similarity search in protein structure databases: Improving clique-detection through clique-hashing. <i>Bioinformatics</i>, <i>20</i>(10), 1522–1526."},"issue":"10","publication":"Bioinformatics","date_created":"2020-02-28T16:06:17Z","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"journal_article"},{"department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"type":"journal_article","date_created":"2020-02-28T16:08:50Z","citation":{"apa":"Hüllermeier, E. (2004). Flexible constraints for regularization in learning from data. <i>International Journal of Intelligent Systems</i>, <i>19</i>(6), 525–541.","mla":"Hüllermeier, Eyke. “Flexible Constraints for Regularization in Learning from Data.” <i>International Journal of Intelligent Systems</i>, vol. 19, no. 6, 2004, pp. 525–41.","ieee":"E. Hüllermeier, “Flexible constraints for regularization in learning from data,” <i>International Journal of Intelligent Systems</i>, vol. 19, no. 6, pp. 525–541, 2004.","chicago":"Hüllermeier, Eyke. “Flexible Constraints for Regularization in Learning from Data.” <i>International Journal of Intelligent Systems</i> 19, no. 6 (2004): 525–41.","short":"E. Hüllermeier, International Journal of Intelligent Systems 19 (2004) 525–541.","ama":"Hüllermeier E. Flexible constraints for regularization in learning from data. <i>International Journal of Intelligent Systems</i>. 2004;19(6):525-541.","bibtex":"@article{Hüllermeier_2004, title={Flexible constraints for regularization in learning from data}, volume={19}, number={6}, journal={International Journal of Intelligent Systems}, author={Hüllermeier, Eyke}, year={2004}, pages={525–541} }"},"issue":"6","publication":"International Journal of Intelligent Systems","volume":19,"user_id":"49109","_id":"16187","language":[{"iso":"eng"}],"page":"525-541","intvolume":"        19","date_updated":"2022-01-06T06:52:44Z","author":[{"full_name":"Hüllermeier, Eyke","first_name":"Eyke","last_name":"Hüllermeier","id":"48129"}],"status":"public","year":"2004","title":"Flexible constraints for regularization in learning from data"},{"language":[{"iso":"eng"}],"_id":"16399","page":"617-637","doi":"10.1162/1054746043280619","user_id":"15415","publication_identifier":{"issn":["1054-7460","1531-3263"]},"author":[{"last_name":"Klein","first_name":"Jan","full_name":"Klein, Jan"},{"full_name":"Krokowski, Jens","last_name":"Krokowski","first_name":"Jens"},{"full_name":"Fischer, Matthias","last_name":"Fischer","first_name":"Matthias","id":"146"},{"first_name":"Michael","last_name":"Wand","full_name":"Wand, Michael"},{"full_name":"Wanka, Rolf","last_name":"Wanka","first_name":"Rolf"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"}],"title":"The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments","year":"2004","status":"public","date_updated":"2022-01-06T06:52:50Z","publication_status":"published","date_created":"2020-04-03T11:42:11Z","department":[{"_id":"63"}],"type":"journal_article","citation":{"ieee":"J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, and F. Meyer auf der Heide, “The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments,” <i>Presence: Teleoperators and Virtual Environments</i>, pp. 617–637, 2004.","apa":"Klein, J., Krokowski, J., Fischer, M., Wand, M., Wanka, R., &#38; Meyer auf der Heide, F. (2004). The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments. <i>Presence: Teleoperators and Virtual Environments</i>, 617–637. <a href=\"https://doi.org/10.1162/1054746043280619\">https://doi.org/10.1162/1054746043280619</a>","short":"J. Klein, J. Krokowski, M. Fischer, M. Wand, R. Wanka, F. Meyer auf der Heide, Presence: Teleoperators and Virtual Environments (2004) 617–637.","chicago":"Klein, Jan, Jens Krokowski, Matthias Fischer, Michael Wand, Rolf Wanka, and Friedhelm Meyer auf der Heide. “The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments.” <i>Presence: Teleoperators and Virtual Environments</i>, 2004, 617–37. <a href=\"https://doi.org/10.1162/1054746043280619\">https://doi.org/10.1162/1054746043280619</a>.","mla":"Klein, Jan, et al. “The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments.” <i>Presence: Teleoperators and Virtual Environments</i>, 2004, pp. 617–37, doi:<a href=\"https://doi.org/10.1162/1054746043280619\">10.1162/1054746043280619</a>.","bibtex":"@article{Klein_Krokowski_Fischer_Wand_Wanka_Meyer auf der Heide_2004, title={The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments}, DOI={<a href=\"https://doi.org/10.1162/1054746043280619\">10.1162/1054746043280619</a>}, journal={Presence: Teleoperators and Virtual Environments}, author={Klein, Jan and Krokowski, Jens and Fischer, Matthias and Wand, Michael and Wanka, Rolf and Meyer auf der Heide, Friedhelm}, year={2004}, pages={617–637} }","ama":"Klein J, Krokowski J, Fischer M, Wand M, Wanka R, Meyer auf der Heide F. The Randomized Sample Tree: A Data Structure for Interactive Walk-Throughs in Externally Stored Virtual Environments. <i>Presence: Teleoperators and Virtual Environments</i>. 2004:617-637. doi:<a href=\"https://doi.org/10.1162/1054746043280619\">10.1162/1054746043280619</a>"},"publication":"Presence: Teleoperators and Virtual Environments","abstract":[{"text":"We present a new data structure for rendering highly complex virtual environments of arbitrary topology. The special feature of our approach is that it allows an interactive navigation in very large scenes (30 GB/400 million polygons in our benchmark scenes) that cannot be stored in main memory, but only on a local or remote hard disk. Furthermore, it allows interactive rendering of substantially more complex scenes by instantiating objects.\r\n\r\nThe sampling process is done in the preprocessing. There, the polygons are randomly distributed in our hierarchical data structure, the randomized sample tree. This tree only uses space that is linear in the number of polygons. In order to produce an approximate image of the scene, the tree is traversed and polygons stored in the visited nodes are rendered. During the interactive walkthrough, parts of the sample tree are loaded from local or remote hard disk.\r\n\r\nWe implemented our algorithm in a prototypical walkthrough system. Analysis and experiments show that the quality of our images is comparable to images computed by the conventional z-buffer algorithm regardless of the scene topology.","lang":"eng"}]},{"status":"public","year":"2004","title":"Sensor Networks with More Features Using Less Hardware","author":[{"full_name":"Liu Jing, Michelle","last_name":"Liu Jing","first_name":"Michelle"},{"full_name":"Ruehrup, Stefan","first_name":"Stefan","last_name":"Ruehrup"},{"first_name":"Christian","last_name":"Schindelhauer","full_name":"Schindelhauer, Christian"},{"last_name":"Volbert","first_name":"Klaus","full_name":"Volbert, Klaus"},{"full_name":"Dierkes, Martin","last_name":"Dierkes","first_name":"Martin"},{"last_name":"Bellgardt","first_name":"Andreas","full_name":"Bellgardt, Andreas"},{"id":"659","first_name":"Rüdiger","last_name":"Ibers","full_name":"Ibers, Rüdiger"},{"full_name":"Hilleringmann, Ulrich","last_name":"Hilleringmann","first_name":"Ulrich"}],"date_updated":"2022-01-06T06:51:28Z","_id":"13071","language":[{"iso":"eng"}],"user_id":"14955","publication":"{GOR/NGB Conference Tilburg 2004}","citation":{"mla":"Liu Jing, Michelle, et al. “Sensor Networks with More Features Using Less Hardware.” <i>{GOR/NGB Conference Tilburg 2004}</i>, 2004.","ama":"Liu Jing M, Ruehrup S, Schindelhauer C, et al. Sensor Networks with More Features Using Less Hardware. In: <i>{GOR/NGB Conference Tilburg 2004}</i>. Tilburg, Netherlands; 2004.","bibtex":"@inproceedings{Liu Jing_Ruehrup_Schindelhauer_Volbert_Dierkes_Bellgardt_Ibers_Hilleringmann_2004, place={Tilburg, Netherlands}, title={Sensor Networks with More Features Using Less Hardware}, booktitle={{GOR/NGB Conference Tilburg 2004}}, author={Liu Jing, Michelle and Ruehrup, Stefan and Schindelhauer, Christian and Volbert, Klaus and Dierkes, Martin and Bellgardt, Andreas and Ibers, Rüdiger and Hilleringmann, Ulrich}, year={2004} }","apa":"Liu Jing, M., Ruehrup, S., Schindelhauer, C., Volbert, K., Dierkes, M., Bellgardt, A., … Hilleringmann, U. (2004). Sensor Networks with More Features Using Less Hardware. In <i>{GOR/NGB Conference Tilburg 2004}</i>. Tilburg, Netherlands.","ieee":"M. Liu Jing <i>et al.</i>, “Sensor Networks with More Features Using Less Hardware,” in <i>{GOR/NGB Conference Tilburg 2004}</i>, 2004.","short":"M. Liu Jing, S. Ruehrup, C. Schindelhauer, K. Volbert, M. Dierkes, A. Bellgardt, R. Ibers, U. Hilleringmann, in: {GOR/NGB Conference Tilburg 2004}, Tilburg, Netherlands, 2004.","chicago":"Liu Jing, Michelle, Stefan Ruehrup, Christian Schindelhauer, Klaus Volbert, Martin Dierkes, Andreas Bellgardt, Rüdiger Ibers, and Ulrich Hilleringmann. “Sensor Networks with More Features Using Less Hardware.” In <i>{GOR/NGB Conference Tilburg 2004}</i>. Tilburg, Netherlands, 2004."},"date_created":"2019-08-28T11:58:24Z","place":"Tilburg, Netherlands","type":"conference","department":[{"_id":"48"},{"_id":"63"}]},{"publication":"Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th","citation":{"apa":"Carlson, E., Bettstetter, C., Karl, H., Prehofer, C., &#38; Wolisz, A. (2004). Distributed maintenance of resource reservation paths in multihop 802.11 networks. In <i>Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th</i> (pp. 2994--2998).","ieee":"E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, and A. Wolisz, “Distributed maintenance of resource reservation paths in multihop 802.11 networks,” in <i>Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th</i>, 2004, pp. 2994--2998.","chicago":"Carlson, Emma, Christian Bettstetter, Holger Karl, Christian Prehofer, and Adam Wolisz. “Distributed Maintenance of Resource Reservation Paths in Multihop 802.11 Networks.” In <i>Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th</i>, 2994--2998, 2004.","short":"E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, A. Wolisz, in: Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th, 2004, pp. 2994--2998.","mla":"Carlson, Emma, et al. “Distributed Maintenance of Resource Reservation Paths in Multihop 802.11 Networks.” <i>Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th</i>, 2004, pp. 2994--2998.","ama":"Carlson E, Bettstetter C, Karl H, Prehofer C, Wolisz A. Distributed maintenance of resource reservation paths in multihop 802.11 networks. In: <i>Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th</i>. ; 2004:2994--2998.","bibtex":"@inproceedings{Carlson_Bettstetter_Karl_Prehofer_Wolisz_2004, title={Distributed maintenance of resource reservation paths in multihop 802.11 networks}, booktitle={Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th}, author={Carlson, Emma and Bettstetter, Christian and Karl, Holger and Prehofer, Christian and Wolisz, Adam}, year={2004}, pages={2994--2998} }"},"type":"conference","department":[{"_id":"75"}],"date_created":"2017-11-27T10:22:29Z","date_updated":"2022-01-06T06:50:24Z","year":"2004","status":"public","title":"Distributed maintenance of resource reservation paths in multihop 802.11 networks","author":[{"last_name":"Carlson","first_name":"Emma","full_name":"Carlson, Emma"},{"first_name":"Christian","last_name":"Bettstetter","full_name":"Bettstetter, Christian"},{"first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger","id":"126"},{"full_name":"Prehofer, Christian","first_name":"Christian","last_name":"Prehofer"},{"full_name":"Wolisz, Adam","last_name":"Wolisz","first_name":"Adam"}],"user_id":"15572","page":"2994--2998","_id":"1002"},{"citation":{"ama":"Gross J, Karl H, Wolisz A. On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems. In: <i>European Wireless 2004</i>. ; 2004.","bibtex":"@inproceedings{Gross_Karl_Wolisz_2004, title={On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems}, booktitle={European Wireless 2004}, author={Gross, James and Karl, Holger and Wolisz, Adam}, year={2004} }","mla":"Gross, James, et al. “On the Effect of Inband Signaling and Realistic Channel Knowledge on Dynamic OFDM-FDMA Systems.” <i>European Wireless 2004</i>, 2004.","chicago":"Gross, James, Holger Karl, and Adam Wolisz. “On the Effect of Inband Signaling and Realistic Channel Knowledge on Dynamic OFDM-FDMA Systems.” In <i>European Wireless 2004</i>, 2004.","short":"J. Gross, H. Karl, A. Wolisz, in: European Wireless 2004, 2004.","apa":"Gross, J., Karl, H., &#38; Wolisz, A. (2004). On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems. In <i>European Wireless 2004</i>.","ieee":"J. Gross, H. Karl, and A. Wolisz, “On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems,” in <i>European Wireless 2004</i>, 2004."},"publication":"European Wireless 2004","department":[{"_id":"75"}],"type":"conference","date_created":"2017-11-27T10:22:29Z","date_updated":"2022-01-06T06:50:27Z","author":[{"full_name":"Gross, James","first_name":"James","last_name":"Gross"},{"full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl","id":"126"},{"full_name":"Wolisz, Adam","last_name":"Wolisz","first_name":"Adam"}],"title":"On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems","status":"public","year":"2004","user_id":"15572","_id":"1006"},{"related_material":{"link":[{"url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.3185","relation":"confirmation"}]},"citation":{"chicago":"Kubisch, Martin, Holger Karl, and Adam Wolisz. “A MAC Protocol for Wireless Sensor Networks with Multiple Selectable, Fixed-Orientation Antennas.” <i>Frequenz</i>, no. 3–4 (2004): 92--96. <a href=\"https://doi.org//10.1.1.3.3185\">https://doi.org//10.1.1.3.3185</a>.","short":"M. Kubisch, H. Karl, A. Wolisz, Frequenz (2004) 92--96.","ieee":"M. Kubisch, H. Karl, and A. Wolisz, “A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas,” <i>Frequenz</i>, no. 3–4, pp. 92--96, 2004.","apa":"Kubisch, M., Karl, H., &#38; Wolisz, A. (2004). A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas. <i>Frequenz</i>, (3–4), 92--96. <a href=\"https://doi.org//10.1.1.3.3185\">https://doi.org//10.1.1.3.3185</a>","bibtex":"@article{Kubisch_Karl_Wolisz_2004, title={A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas}, DOI={<a href=\"https://doi.org//10.1.1.3.3185\">/10.1.1.3.3185</a>}, number={3–4}, journal={Frequenz}, author={Kubisch, Martin and Karl, Holger and Wolisz, Adam}, year={2004}, pages={92--96} }","ama":"Kubisch M, Karl H, Wolisz A. A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas. <i>Frequenz</i>. 2004;(3-4):92--96. doi:<a href=\"https://doi.org//10.1.1.3.3185\">/10.1.1.3.3185</a>","mla":"Kubisch, Martin, et al. “A MAC Protocol for Wireless Sensor Networks with Multiple Selectable, Fixed-Orientation Antennas.” <i>Frequenz</i>, no. 3–4, 2004, pp. 92--96, doi:<a href=\"https://doi.org//10.1.1.3.3185\">/10.1.1.3.3185</a>."},"issue":"3-4","publication":"Frequenz","department":[{"_id":"75"}],"type":"journal_article","date_created":"2017-11-27T10:22:29Z","date_updated":"2022-01-06T06:50:31Z","author":[{"full_name":"Kubisch, Martin","first_name":"Martin","last_name":"Kubisch"},{"id":"126","full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl"},{"full_name":"Wolisz, Adam","first_name":"Adam","last_name":"Wolisz"}],"title":"A MAC protocol for wireless sensor networks with multiple selectable, fixed-orientation antennas","status":"public","year":"2004","doi":"/10.1.1.3.3185","user_id":"15572","_id":"1017","page":"92--96"},{"date_updated":"2022-01-06T06:50:31Z","year":"2004","title":"Throughput optimization of dynamic OFDM-FDMA systems with inband signaling","status":"public","author":[{"full_name":"Gross, James","first_name":"James","last_name":"Gross"},{"full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl","id":"126"},{"full_name":"Wolisz, Adam","first_name":"Adam","last_name":"Wolisz"}],"user_id":"15572","_id":"1019","publication":"2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004)","citation":{"ieee":"J. Gross, H. Karl, and A. Wolisz, “Throughput optimization of dynamic OFDM-FDMA systems with inband signaling,” in <i>2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004)</i>, 2004.","apa":"Gross, J., Karl, H., &#38; Wolisz, A. (2004). Throughput optimization of dynamic OFDM-FDMA systems with inband signaling. In <i>2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004)</i>.","chicago":"Gross, James, Holger Karl, and Adam Wolisz. “Throughput Optimization of Dynamic OFDM-FDMA Systems with Inband Signaling.” In <i>2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004)</i>, 2004.","short":"J. Gross, H. Karl, A. Wolisz, in: 2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004), 2004.","mla":"Gross, James, et al. “Throughput Optimization of Dynamic OFDM-FDMA Systems with Inband Signaling.” <i>2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004)</i>, 2004.","bibtex":"@inproceedings{Gross_Karl_Wolisz_2004, title={Throughput optimization of dynamic OFDM-FDMA systems with inband signaling}, booktitle={2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004)}, author={Gross, James and Karl, Holger and Wolisz, Adam}, year={2004} }","ama":"Gross J, Karl H, Wolisz A. Throughput optimization of dynamic OFDM-FDMA systems with inband signaling. In: <i>2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004)</i>. ; 2004."},"type":"conference","department":[{"_id":"75"}],"date_created":"2017-11-27T10:22:29Z"},{"extern":"1","citation":{"bibtex":"@inproceedings{Walder_Platzner_2004, place={Berlin, Heidelberg}, title={A Runtime Environment for Reconfigurable Hardware Operating Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30117-2_84\">10.1007/978-3-540-30117-2_84</a>}, booktitle={Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={Springer}, author={Walder, Herbert and Platzner, Marco}, year={2004}, pages={831–835} }","ama":"Walder H, Platzner M. A Runtime Environment for Reconfigurable Hardware Operating Systems. In: <i>Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL)</i>. Berlin, Heidelberg: Springer; 2004:831-835. doi:<a href=\"https://doi.org/10.1007/978-3-540-30117-2_84\">10.1007/978-3-540-30117-2_84</a>","mla":"Walder, Herbert, and Marco Platzner. “A Runtime Environment for Reconfigurable Hardware Operating Systems.” <i>Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL)</i>, Springer, 2004, pp. 831–35, doi:<a href=\"https://doi.org/10.1007/978-3-540-30117-2_84\">10.1007/978-3-540-30117-2_84</a>.","chicago":"Walder, Herbert, and Marco Platzner. “A Runtime Environment for Reconfigurable Hardware Operating Systems.” In <i>Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL)</i>, 831–35. Berlin, Heidelberg: Springer, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30117-2_84\">https://doi.org/10.1007/978-3-540-30117-2_84</a>.","short":"H. Walder, M. Platzner, in: Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL), Springer, Berlin, Heidelberg, 2004, pp. 831–835.","ieee":"H. Walder and M. Platzner, “A Runtime Environment for Reconfigurable Hardware Operating Systems,” in <i>Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL)</i>, 2004, pp. 831–835.","apa":"Walder, H., &#38; Platzner, M. (2004). A Runtime Environment for Reconfigurable Hardware Operating Systems. In <i>Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL)</i> (pp. 831–835). Berlin, Heidelberg: Springer. <a href=\"https://doi.org/10.1007/978-3-540-30117-2_84\">https://doi.org/10.1007/978-3-540-30117-2_84</a>"},"publication":"Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL)","department":[{"_id":"78"}],"type":"conference","place":"Berlin, Heidelberg","date_created":"2019-10-04T21:28:56Z","date_updated":"2022-01-06T06:51:40Z","publication_status":"published","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540229896","9783540301172"]},"author":[{"full_name":"Walder, Herbert","first_name":"Herbert","last_name":"Walder"},{"id":"398","last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco"}],"title":"A Runtime Environment for Reconfigurable Hardware Operating Systems","status":"public","year":"2004","doi":"10.1007/978-3-540-30117-2_84","user_id":"398","_id":"13618","publisher":"Springer","language":[{"iso":"eng"}],"page":"831-835"},{"department":[{"_id":"78"}],"type":"conference","date_created":"2019-10-04T21:31:54Z","extern":"1","citation":{"bibtex":"@inproceedings{Walder_Nobs_Platzner_2004, title={XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems}, booktitle={Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Walder, Hebert and Nobs, Samuel and Platzner, Marco}, year={2004} }","ama":"Walder H, Nobs S, Platzner M. XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems. In: <i>Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>. CSREA Press; 2004.","mla":"Walder, Hebert, et al. “XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems.” <i>Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, CSREA Press, 2004.","chicago":"Walder, Hebert, Samuel Nobs, and Marco Platzner. “XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems.” In <i>Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>. CSREA Press, 2004.","short":"H. Walder, S. Nobs, M. Platzner, in: Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2004.","ieee":"H. Walder, S. Nobs, and M. Platzner, “XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems,” in <i>Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 2004.","apa":"Walder, H., Nobs, S., &#38; Platzner, M. (2004). XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems. In <i>Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>. CSREA Press."},"publication":"Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)","user_id":"398","_id":"13619","language":[{"iso":"eng"}],"publisher":"CSREA Press","date_updated":"2022-01-06T06:51:40Z","author":[{"first_name":"Hebert","last_name":"Walder","full_name":"Walder, Hebert"},{"first_name":"Samuel","last_name":"Nobs","full_name":"Nobs, Samuel"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"title":"XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems","year":"2004","status":"public"},{"publication_status":"published","date_updated":"2022-01-06T06:51:40Z","title":"Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine","year":"2004","status":"public","publication_identifier":{"isbn":["0769522300"]},"author":[{"full_name":"Dyer, Matthias","first_name":"Matthias","last_name":"Dyer"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"},{"full_name":"Thiele, Lothar","first_name":"Lothar","last_name":"Thiele"}],"user_id":"398","doi":"10.1109/fccm.2004.31","_id":"13620","language":[{"iso":"eng"}],"publisher":"IEEE CS Press","publication":"Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)","citation":{"ama":"Dyer M, Platzner M, Thiele L. Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine. In: <i>Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)</i>. IEEE CS Press; 2004. doi:<a href=\"https://doi.org/10.1109/fccm.2004.31\">10.1109/fccm.2004.31</a>","bibtex":"@inproceedings{Dyer_Platzner_Thiele_2004, title={Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine}, DOI={<a href=\"https://doi.org/10.1109/fccm.2004.31\">10.1109/fccm.2004.31</a>}, booktitle={Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)}, publisher={IEEE CS Press}, author={Dyer, Matthias and Platzner, Marco and Thiele, Lothar}, year={2004} }","mla":"Dyer, Matthias, et al. “Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine.” <i>Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)</i>, IEEE CS Press, 2004, doi:<a href=\"https://doi.org/10.1109/fccm.2004.31\">10.1109/fccm.2004.31</a>.","chicago":"Dyer, Matthias, Marco Platzner, and Lothar Thiele. “Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine.” In <i>Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)</i>. IEEE CS Press, 2004. <a href=\"https://doi.org/10.1109/fccm.2004.31\">https://doi.org/10.1109/fccm.2004.31</a>.","short":"M. Dyer, M. Platzner, L. Thiele, in: Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), IEEE CS Press, 2004.","apa":"Dyer, M., Platzner, M., &#38; Thiele, L. (2004). Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine. In <i>Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)</i>. IEEE CS Press. <a href=\"https://doi.org/10.1109/fccm.2004.31\">https://doi.org/10.1109/fccm.2004.31</a>","ieee":"M. Dyer, M. Platzner, and L. Thiele, “Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine,” in <i>Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)</i>, 2004."},"type":"conference","department":[{"_id":"78"}],"date_created":"2019-10-04T21:32:57Z"},{"status":"public","_id":"33825","publisher":"Springer-Verlag","page":"206-226","editor":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"full_name":"Damm, Werner","last_name":"Damm","first_name":"Werner"},{"full_name":"Desel, Jörg","first_name":"Jörg","last_name":"Desel"},{"full_name":"Große-Rhode, Martin","last_name":"Große-Rhode","first_name":"Martin"},{"full_name":"Reif, Wolfgang","first_name":"Wolfgang","last_name":"Reif"},{"full_name":"Schnieder, Eckehard","last_name":"Schnieder","first_name":"Eckehard"},{"last_name":"Westkämper","first_name":"Engelbert","full_name":"Westkämper, Engelbert"}],"volume":3147,"user_id":"5786","citation":{"apa":"Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, &#38; E. Westkämper (Eds.), <i>Integration of Software Specification Techniques for Applications in Engineering</i> (Vol. 3147, pp. 206–226). Springer-Verlag. <a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">https://doi.org/10.1007/978-3-540-27863-4_13</a>","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in <i>Integration of Software Specification Techniques for Applications in Engineering</i>, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.","short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.","chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In <i>Integration of Software Specification Techniques for Applications in Engineering</i>, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. <a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">https://doi.org/10.1007/978-3-540-27863-4_13</a>.","mla":"Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” <i>Integration of Software Specification Techniques for Applications in Engineering</i>, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>.","ama":"Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. <i>Integration of Software Specification Techniques for Applications in Engineering</i>. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>","bibtex":"@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }"},"place":"Berlin, Heidelberg","publication_identifier":{"isbn":["978-3-540-27863-4"]},"author":[{"full_name":"Flake, Stephan","first_name":"Stephan","last_name":"Flake"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"last_name":"Pape","first_name":"Ulrich","full_name":"Pape, Ulrich"},{"first_name":"Jürgen","last_name":"Ruf","full_name":"Ruf, Jürgen"}],"title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","year":"2004","intvolume":"      3147","date_updated":"2022-10-20T09:26:15Z","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-540-27863-4_13","publication":"Integration of Software Specification Techniques for Applications in Engineering","abstract":[{"lang":"eng","text":"This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles."}],"date_created":"2022-10-20T09:25:53Z","department":[{"_id":"672"}],"keyword":["Model Check","Temporal Logic","Object Constraint Language","Abstract Syntax","Temporal Logic Formula"],"type":"book_chapter"},{"publication":"Workflow Handbook 2004","citation":{"mla":"Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” <i>Workflow Handbook 2004</i>, edited by Layna Fischer, Workflow Management Coalition (WfMC), 2004.","bibtex":"@inbook{Schattkowsky_Müller_Pawlak_2004, place={Lighthouse Point, FL, USA}, title={Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management Coalition (WfMC)}, author={Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}, editor={Fischer, Layna}, year={2004} }","ama":"Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. <i>Workflow Handbook 2004</i>. Workflow Management Coalition (WfMC); 2004.","ieee":"T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in <i>Workflow Handbook 2004</i>, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.","apa":"Schattkowsky, T., Müller, W., &#38; Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), <i>Workflow Handbook 2004</i>. Workflow Management Coalition (WfMC).","chicago":"Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In <i>Workflow Handbook 2004</i>, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow Management Coalition (WfMC), 2004.","short":"T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004."},"place":"Lighthouse Point, FL, USA","date_created":"2022-10-20T09:33:49Z","type":"book_chapter","department":[{"_id":"672"}],"status":"public","title":"Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering","year":"2004","publication_identifier":{"isbn":["0970350961"]},"author":[{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Pawlak, Adam","first_name":"Adam","last_name":"Pawlak"}],"date_updated":"2022-10-20T09:34:51Z","publisher":"Workflow Management Coalition (WfMC)","_id":"33827","language":[{"iso":"eng"}],"user_id":"5786","editor":[{"last_name":"Fischer","first_name":"Layna","full_name":"Fischer, Layna"}]},{"publication":"UML-B System Specification for Proven Electronic Design","citation":{"chicago":"Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.","short":"A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.","apa":"Krupp, A., &#38; Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic Design</i> (pp. 155–168). Kluwer.","ieee":"A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.","ama":"Krupp A, Müller W. Refinement of Finite State Machines with Complementary Model Checking. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Kluwer; 2004:155-168.","bibtex":"@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite State Machines with Complementary Model Checking}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }","mla":"Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, Kluwer, 2004, pp. 155–68."},"type":"book_chapter","department":[{"_id":"672"}],"place":"Dordrecht","date_created":"2022-10-20T09:54:53Z","date_updated":"2022-10-20T09:56:28Z","year":"2004","title":"Refinement of Finite State Machines with Complementary Model Checking","status":"public","publication_identifier":{"isbn":["1-4020-2866-0"]},"author":[{"last_name":"Krupp","first_name":"Alexander","full_name":"Krupp, Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"user_id":"5786","editor":[{"last_name":"Mermet","first_name":"J.","full_name":"Mermet, J."}],"page":"155-168","_id":"33830","publisher":"Kluwer","language":[{"iso":"eng"}]},{"place":"Dordrecht","date_created":"2022-10-20T09:49:57Z","type":"book_chapter","department":[{"_id":"672"}],"publication":"Best of FDL'03","citation":{"bibtex":"@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }","ama":"Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm Ch, ed. <i>Best of FDL’03</i>. Kluwer; 2004:301-314.","mla":"Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” <i>Best of FDL’03</i>, edited by Ch. Grimm, Kluwer, 2004, pp. 301–14.","short":"A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In <i>Best of FDL’03</i>, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.","ieee":"A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in <i>Best of FDL’03</i>, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), <i>Best of FDL’03</i> (pp. 301–314). Kluwer."},"page":"301-314","_id":"33829","publisher":"Kluwer","language":[{"iso":"eng"}],"user_id":"5786","editor":[{"first_name":"Ch.","last_name":"Grimm","full_name":"Grimm, Ch."}],"title":"Combining Formal Refinement and Model Checking for Analysis of Realtime Systems","status":"public","year":"2004","author":[{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"full_name":"Oliver, Ian","first_name":"Ian","last_name":"Oliver"}],"publication_identifier":{"isbn":["978-1-4020-7991-7"]},"date_updated":"2022-10-20T09:50:11Z"},{"date_updated":"2022-10-20T09:59:24Z","year":"2004","title":"The Echo Cancellation Unit Case Study","status":"public","author":[{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"full_name":"Oliver, Ian","first_name":"Ian","last_name":"Oliver"}],"publication_identifier":{"isbn":["1-4020-2866-0"]},"user_id":"5786","editor":[{"full_name":"Mermet, J.","last_name":"Mermet","first_name":"J."}],"page":"227-240","language":[{"iso":"eng"}],"_id":"33832","publisher":"Kluwer","publication":"UML-B System Specification for Proven Electronic Design","citation":{"short":"A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation Unit Case Study.” In <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic Design</i> (pp. 227–240). Kluwer.","ieee":"A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.","ama":"Krupp A, Müller W, Oliver I. The Echo Cancellation Unit Case Study. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Kluwer; 2004:227-240.","bibtex":"@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }","mla":"Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” <i>UML-B System Specification for Proven Electronic Design</i>, edited by J. Mermet, Kluwer, 2004, pp. 227–40."},"type":"book_chapter","department":[{"_id":"672"}],"date_created":"2022-10-20T09:59:04Z","place":"Dordrecht"},{"user_id":"41047","language":[{"iso":"ger"}],"_id":"47645","date_updated":"2023-10-05T13:38:53Z","status":"public","title":"Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen","year":"2004","author":[{"first_name":"Dominic","last_name":"Dumrauf","full_name":"Dumrauf, Dominic"}],"type":"bachelorsthesis","department":[{"_id":"34"},{"_id":"64"}],"date_created":"2023-10-05T13:34:24Z","citation":{"ieee":"D. Dumrauf, <i>Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen</i>. 2004.","apa":"Dumrauf, D. (2004). <i>Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen</i>.","short":"D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.","chicago":"Dumrauf, Dominic. <i>Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen</i>, 2004.","mla":"Dumrauf, Dominic. <i>Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen</i>. 2004.","bibtex":"@book{Dumrauf_2004, title={Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen}, author={Dumrauf, Dominic}, year={2004} }","ama":"Dumrauf D. <i>Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen</i>.; 2004."}},{"citation":{"bibtex":"@book{Herden_2004, title={Implementierung und Evaluierung eines Angriffs auf DSA}, author={Herden, Tim}, year={2004} }","chicago":"Herden, Tim. <i>Implementierung und Evaluierung eines Angriffs auf DSA</i>, 2004.","ama":"Herden T. <i>Implementierung und Evaluierung eines Angriffs auf DSA</i>.; 2004.","short":"T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.","ieee":"T. Herden, <i>Implementierung und Evaluierung eines Angriffs auf DSA</i>. 2004.","mla":"Herden, Tim. <i>Implementierung und Evaluierung eines Angriffs auf DSA</i>. 2004.","apa":"Herden, T. (2004). <i>Implementierung und Evaluierung eines Angriffs auf DSA</i>."},"date_created":"2023-10-05T13:33:32Z","department":[{"_id":"34"},{"_id":"64"}],"type":"bachelorsthesis","author":[{"full_name":"Herden, Tim","first_name":"Tim","last_name":"Herden"}],"status":"public","year":"2004","title":"Implementierung und Evaluierung eines Angriffs auf DSA","date_updated":"2023-10-05T13:39:00Z","_id":"47642","language":[{"iso":"ger"}],"user_id":"41047"},{"author":[{"full_name":"Gesemann, Sebastian","first_name":"Sebastian","last_name":"Gesemann"}],"year":"2004","title":"Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes","status":"public","has_accepted_license":"1","date_updated":"2023-10-05T22:09:01Z","language":[{"iso":"ger"}],"_id":"47644","ddc":["000"],"user_id":"41047","citation":{"ieee":"S. Gesemann, <i>Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes</i>. 2004.","mla":"Gesemann, Sebastian. <i>Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes</i>. 2004.","apa":"Gesemann, S. (2004). <i>Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes</i>.","bibtex":"@book{Gesemann_2004, title={Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes}, author={Gesemann, Sebastian}, year={2004} }","short":"S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.","ama":"Gesemann S. <i>Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes</i>.; 2004.","chicago":"Gesemann, Sebastian. <i>Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes</i>, 2004."},"file_date_updated":"2023-10-05T22:09:01Z","date_created":"2023-10-05T13:34:08Z","file":[{"file_size":236287,"access_level":"open_access","file_name":"2004_Gesemann_ImplementierungEinesVerfahrensZurBerechnungOptimalerLaengenbeschraenkterPraefixCodes.ps","date_updated":"2023-10-05T22:09:01Z","relation":"main_file","content_type":"application/postscript","file_id":"47790","creator":"bhenrik","date_created":"2023-10-05T22:04:42Z"}],"oa":"1","department":[{"_id":"34"},{"_id":"64"}],"type":"bachelorsthesis"},{"file_date_updated":"2023-10-05T22:09:09Z","citation":{"short":"M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven, 2004.","chicago":"Gorski, Michael. <i>Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven</i>, 2004.","ieee":"M. Gorski, <i>Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven</i>. 2004.","apa":"Gorski, M. (2004). <i>Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven</i>.","bibtex":"@book{Gorski_2004, title={Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven}, author={Gorski, Michael}, year={2004} }","ama":"Gorski M. <i>Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven</i>.; 2004.","mla":"Gorski, Michael. <i>Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven</i>. 2004."},"file":[{"file_name":"2004_Gorski_Schoof-Algorithmus.zip","file_size":567686,"access_level":"open_access","relation":"main_file","date_updated":"2023-10-05T22:09:09Z","file_id":"47789","content_type":"application/zip","creator":"bhenrik","date_created":"2023-10-05T22:04:24Z"}],"date_created":"2023-10-05T13:33:51Z","type":"bachelorsthesis","department":[{"_id":"34"},{"_id":"64"}],"oa":"1","year":"2004","status":"public","title":"Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven","author":[{"first_name":"Michael","last_name":"Gorski","full_name":"Gorski, Michael"}],"date_updated":"2023-10-05T22:09:09Z","has_accepted_license":"1","language":[{"iso":"ger"}],"_id":"47643","user_id":"41047","ddc":["000"]}]