[{"publication":"From Animals to Animats 11","type":"conference","status":"public","_id":"20226","department":[{"_id":"63"},{"_id":"238"}],"user_id":"15415","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9783642151927","9783642151934"],"issn":["0302-9743","1611-3349"]},"publication_status":"published","year":"2010","page":"639-648","intvolume":"      6226","citation":{"mla":"Hamann, Heiko, et al. “A Model of Symmetry Breaking in Collective Decision-Making.” <i>From Animals to Animats 11</i>, vol. 6226, Springer, 2010, pp. 639–48, doi:<a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">10.1007/978-3-642-15193-4_60</a>.","bibtex":"@inproceedings{Hamann_Meyer_Schmickl_Crailsheim_2010, title={A Model of Symmetry Breaking in Collective Decision-Making}, volume={6226}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">10.1007/978-3-642-15193-4_60</a>}, booktitle={From Animals to Animats 11}, publisher={Springer}, author={Hamann, Heiko and Meyer, Bernd and Schmickl, Thomas and Crailsheim, Karl}, year={2010}, pages={639–648} }","short":"H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.","apa":"Hamann, H., Meyer, B., Schmickl, T., &#38; Crailsheim, K. (2010). A Model of Symmetry Breaking in Collective Decision-Making. In <i>From Animals to Animats 11</i> (Vol. 6226, pp. 639–648). Springer. <a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">https://doi.org/10.1007/978-3-642-15193-4_60</a>","chicago":"Hamann, Heiko, Bernd Meyer, Thomas Schmickl, and Karl Crailsheim. “A Model of Symmetry Breaking in Collective Decision-Making.” In <i>From Animals to Animats 11</i>, 6226:639–48. Springer, 2010. <a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">https://doi.org/10.1007/978-3-642-15193-4_60</a>.","ieee":"H. Hamann, B. Meyer, T. Schmickl, and K. Crailsheim, “A Model of Symmetry Breaking in Collective Decision-Making,” in <i>From Animals to Animats 11</i>, 2010, vol. 6226, pp. 639–648.","ama":"Hamann H, Meyer B, Schmickl T, Crailsheim K. A Model of Symmetry Breaking in Collective Decision-Making. In: <i>From Animals to Animats 11</i>. Vol 6226. Springer; 2010:639-648. doi:<a href=\"https://doi.org/10.1007/978-3-642-15193-4_60\">10.1007/978-3-642-15193-4_60</a>"},"publisher":"Springer","date_updated":"2022-01-06T06:54:24Z","volume":6226,"date_created":"2020-10-29T14:22:12Z","author":[{"full_name":"Hamann, Heiko","last_name":"Hamann","first_name":"Heiko"},{"full_name":"Meyer, Bernd","last_name":"Meyer","first_name":"Bernd"},{"last_name":"Schmickl","full_name":"Schmickl, Thomas","first_name":"Thomas"},{"first_name":"Karl","full_name":"Crailsheim, Karl","last_name":"Crailsheim"}],"title":"A Model of Symmetry Breaking in Collective Decision-Making","doi":"10.1007/978-3-642-15193-4_60"},{"title":"On Adaptive Self-Organization in Artificial Robot Organisms","doi":"10.1109/computationworld.2009.9","date_updated":"2022-01-06T06:54:25Z","date_created":"2020-11-02T14:13:10Z","author":[{"first_name":"Serge","full_name":"Kernbach, Serge","last_name":"Kernbach"},{"first_name":"Heiko","last_name":"Hamann","full_name":"Hamann, Heiko"},{"first_name":"Jürgen","last_name":"Stradner","full_name":"Stradner, Jürgen"},{"first_name":"Ronald","last_name":"Thenius","full_name":"Thenius, Ronald"},{"first_name":"Thomas","last_name":"Schmickl","full_name":"Schmickl, Thomas"},{"full_name":"Crailsheim, Karl","last_name":"Crailsheim","first_name":"Karl"},{"full_name":"Rossum, A.C. van","last_name":"Rossum","first_name":"A.C. van"},{"last_name":"Sebag","full_name":"Sebag, Michele","first_name":"Michele"},{"full_name":"Bredeche, Nicolas","last_name":"Bredeche","first_name":"Nicolas"},{"last_name":"Yao","full_name":"Yao, Yao","first_name":"Yao"},{"full_name":"Baele, Guy","last_name":"Baele","first_name":"Guy"},{"last_name":"Peer","full_name":"Peer, Yves Van de","first_name":"Yves Van de"},{"full_name":"Timmis, Jon","last_name":"Timmis","first_name":"Jon"},{"first_name":"Maizura","full_name":"Mohktar, Maizura","last_name":"Mohktar"},{"full_name":"Tyrrell, Andy","last_name":"Tyrrell","first_name":"Andy"},{"full_name":"Eiben, A.E.","last_name":"Eiben","first_name":"A.E."},{"last_name":"McKibbin","full_name":"McKibbin, S.P.","first_name":"S.P."},{"first_name":"Wenguo","full_name":"Liu, Wenguo","last_name":"Liu"},{"last_name":"Winfield","full_name":"Winfield, Alan F.T.","first_name":"Alan F.T."}],"year":"2010","citation":{"apa":"Kernbach, S., Hamann, H., Stradner, J., Thenius, R., Schmickl, T., Crailsheim, K., … Winfield, A. F. T. (2010). On Adaptive Self-Organization in Artificial Robot Organisms. In <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>. <a href=\"https://doi.org/10.1109/computationworld.2009.9\">https://doi.org/10.1109/computationworld.2009.9</a>","short":"S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim, A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis, M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.","bibtex":"@inproceedings{Kernbach_Hamann_Stradner_Thenius_Schmickl_Crailsheim_Rossum_Sebag_Bredeche_Yao_et al._2010, title={On Adaptive Self-Organization in Artificial Robot Organisms}, DOI={<a href=\"https://doi.org/10.1109/computationworld.2009.9\">10.1109/computationworld.2009.9</a>}, booktitle={2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns}, author={Kernbach, Serge and Hamann, Heiko and Stradner, Jürgen and Thenius, Ronald and Schmickl, Thomas and Crailsheim, Karl and Rossum, A.C. van and Sebag, Michele and Bredeche, Nicolas and Yao, Yao and et al.}, year={2010} }","mla":"Kernbach, Serge, et al. “On Adaptive Self-Organization in Artificial Robot Organisms.” <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>, 2010, doi:<a href=\"https://doi.org/10.1109/computationworld.2009.9\">10.1109/computationworld.2009.9</a>.","ieee":"S. Kernbach <i>et al.</i>, “On Adaptive Self-Organization in Artificial Robot Organisms,” in <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>, 2010.","chicago":"Kernbach, Serge, Heiko Hamann, Jürgen Stradner, Ronald Thenius, Thomas Schmickl, Karl Crailsheim, A.C. van Rossum, et al. “On Adaptive Self-Organization in Artificial Robot Organisms.” In <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>, 2010. <a href=\"https://doi.org/10.1109/computationworld.2009.9\">https://doi.org/10.1109/computationworld.2009.9</a>.","ama":"Kernbach S, Hamann H, Stradner J, et al. On Adaptive Self-Organization in Artificial Robot Organisms. In: <i>2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns</i>. ; 2010. doi:<a href=\"https://doi.org/10.1109/computationworld.2009.9\">10.1109/computationworld.2009.9</a>"},"publication_status":"published","publication_identifier":{"isbn":["9781424451661"]},"language":[{"iso":"eng"}],"_id":"20258","user_id":"15415","department":[{"_id":"63"},{"_id":"238"}],"abstract":[{"text":"Self-organization in natural systems demonstrates very reliable and scalable collective behavior without using any central elements. When providing collective robotic systems with self-organizing principles, we are facing new problems of making self-organization purposeful, self-adapting to changing environments and faster, in order to meet requirements from a technical perspective. This paper describes on-going work of creating such an artificial self-organization within artificial robot organisms, performed in the framework of several European projects.","lang":"eng"}],"status":"public","type":"conference","publication":"2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns"},{"publication_identifier":{"issn":["0302-9743","1611-3349"]},"publication_status":"published","citation":{"mla":"Grza̧ślewicz, Ryszard, et al. “Robust Undetectable Interference Watermarks.” <i>ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications</i>, 2010, doi:<a href=\"https://doi.org/10.1007/11424826_55\">10.1007/11424826_55</a>.","bibtex":"@article{Grza̧ślewicz_Kutyłowski_Kutyłowski_Pietkiewicz_2010, title={Robust Undetectable Interference Watermarks}, DOI={<a href=\"https://doi.org/10.1007/11424826_55\">10.1007/11424826_55</a>}, journal={ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications}, author={Grza̧ślewicz, Ryszard and Kutyłowski, Jarosław and Kutyłowski, Mirosław and Pietkiewicz, Wojciech}, year={2010} }","short":"R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).","apa":"Grza̧ślewicz, R., Kutyłowski, J., Kutyłowski, M., &#38; Pietkiewicz, W. (2010). Robust Undetectable Interference Watermarks. <i>ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications</i>. <a href=\"https://doi.org/10.1007/11424826_55\">https://doi.org/10.1007/11424826_55</a>","ama":"Grza̧ślewicz R, Kutyłowski J, Kutyłowski M, Pietkiewicz W. Robust Undetectable Interference Watermarks. <i>ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications</i>. Published online 2010. doi:<a href=\"https://doi.org/10.1007/11424826_55\">10.1007/11424826_55</a>","chicago":"Grza̧ślewicz, Ryszard, Jarosław Kutyłowski, Mirosław Kutyłowski, and Wojciech Pietkiewicz. “Robust Undetectable Interference Watermarks.” <i>ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications</i>, 2010. <a href=\"https://doi.org/10.1007/11424826_55\">https://doi.org/10.1007/11424826_55</a>.","ieee":"R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, and W. Pietkiewicz, “Robust Undetectable Interference Watermarks,” <i>ICCSA’05: Proceedings of the 2005 international conference on Computational Science and Its Applications</i>, 2010, doi: <a href=\"https://doi.org/10.1007/11424826_55\">10.1007/11424826_55</a>."},"year":"2010","date_created":"2021-09-13T14:53:37Z","author":[{"last_name":"Grza̧ślewicz","full_name":"Grza̧ślewicz, Ryszard","first_name":"Ryszard"},{"first_name":"Jarosław","last_name":"Kutyłowski","full_name":"Kutyłowski, Jarosław"},{"full_name":"Kutyłowski, Mirosław","last_name":"Kutyłowski","first_name":"Mirosław"},{"last_name":"Pietkiewicz","full_name":"Pietkiewicz, Wojciech","first_name":"Wojciech"}],"date_updated":"2022-01-06T06:56:17Z","doi":"10.1007/11424826_55","title":"Robust Undetectable Interference Watermarks","publication":"ICCSA'05: Proceedings of the 2005 international conference on Computational Science and Its Applications","type":"journal_article","status":"public","department":[{"_id":"63"}],"user_id":"15415","_id":"24282","language":[{"iso":"eng"}]},{"editor":[{"first_name":"Dominique","last_name":"M{\\'{e}}ry","full_name":"M{\\'{e}}ry, Dominique"},{"last_name":"Merz","full_name":"Merz, Stephan","first_name":"Stephan"}],"status":"public","type":"conference","publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings","_id":"3195","series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"year":"2010","citation":{"apa":"Schneider, S., Treharne, H., &#38; Wehrheim, H. (2010). A {CSP} Approach to Control in Event-B. In D. M{\\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i> (pp. 260--274). <a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">https://doi.org/10.1007/978-3-642-16265-7_19</a>","bibtex":"@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={M{\\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={260--274}, collection={Lecture Notes in Computer Science} }","short":"S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.","mla":"Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 260--274, doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>.","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach to Control in Event-B.” In <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">https://doi.org/10.1007/978-3-642-16265-7_19</a>.","ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in Event-B,” in <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 260--274.","ama":"Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B. In: M{\\’{e}}ry D, Merz S, eds. <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:260--274. doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>"},"page":"260--274","title":"A {CSP} Approach to Control in Event-B","doi":"10.1007/978-3-642-16265-7_19","date_updated":"2022-01-06T06:59:04Z","date_created":"2018-06-13T09:20:53Z","author":[{"first_name":"Steve","full_name":"Schneider, Steve","last_name":"Schneider"},{"full_name":"Treharne, Helen","last_name":"Treharne","first_name":"Helen"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}]},{"publication":"Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings","type":"conference","status":"public","editor":[{"first_name":"Javier","full_name":"Esparza, Javier","last_name":"Esparza"},{"last_name":"Majumdar","full_name":"Majumdar, Rupak","first_name":"Rupak"}],"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3196","page":"271--274","citation":{"apa":"Dräger, K., Kupriyanov, A., Finkbeiner, B., &#38; Wehrheim, H. (2010). {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza &#38; R. Majumdar (Eds.), <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i> (pp. 271--274). <a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">https://doi.org/10.1007/978-3-642-12002-2_22</a>","short":"K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.","mla":"Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>.","bibtex":"@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, author={Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar, RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer Science} }","ama":"Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, eds. <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:271--274. doi:<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>","ieee":"K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems,” in <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>, 2010, pp. 271--274.","chicago":"Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” In <i>Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings</i>, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">https://doi.org/10.1007/978-3-642-12002-2_22</a>."},"year":"2010","author":[{"first_name":"Klaus","last_name":"Dräger","full_name":"Dräger, Klaus"},{"full_name":"Kupriyanov, Andrey","last_name":"Kupriyanov","first_name":"Andrey"},{"full_name":"Finkbeiner, Bernd","last_name":"Finkbeiner","first_name":"Bernd"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_created":"2018-06-13T09:22:07Z","date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-12002-2_22","title":"{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems"},{"date_created":"2018-06-13T09:23:16Z","user_id":"29719","author":[{"full_name":"Steenken, Dominik","last_name":"Steenken","first_name":"Dominik"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"},{"full_name":"Wonisch, Daniel","last_name":"Wonisch","first_name":"Daniel"}],"department":[{"_id":"77"}],"date_updated":"2022-01-06T06:59:04Z","_id":"3198","title":"Towards {A} Shape Analysis for Graph Transformation Systems","type":"journal_article","publication":"CoRR","citation":{"ama":"Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation Systems. <i>CoRR</i>. 2010.","chicago":"Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape Analysis for Graph Transformation Systems.” <i>CoRR</i>, 2010.","ieee":"D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for Graph Transformation Systems,” <i>CoRR</i>, 2010.","mla":"Steenken, Dominik, et al. “Towards {A} Shape Analysis for Graph Transformation Systems.” <i>CoRR</i>, 2010.","short":"D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).","bibtex":"@article{Steenken_Wehrheim_Wonisch_2010, title={Towards {A} Shape Analysis for Graph Transformation Systems}, journal={CoRR}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, year={2010} }","apa":"Steenken, D., Wehrheim, H., &#38; Wonisch, D. (2010). Towards {A} Shape Analysis for Graph Transformation Systems. <i>CoRR</i>."},"status":"public","year":"2010"},{"language":[{"iso":"eng"}],"_id":"3810","user_id":"82920","department":[{"_id":"600"}],"status":"public","type":"conference","publication":"Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)","title":"Efficient Statement Identification for Automatic Market Forecasting","main_file_link":[{"url":"https://www.aclweb.org/anthology/C10-1127.pdf"}],"date_updated":"2022-01-06T06:59:37Z","date_created":"2018-08-02T13:38:35Z","author":[{"id":"3900","full_name":"Wachsmuth, Henning","last_name":"Wachsmuth","first_name":"Henning"},{"last_name":"Prettenhofer","full_name":"Prettenhofer, Peter","first_name":"Peter"},{"last_name":"Stein","full_name":"Stein, Benno","first_name":"Benno"}],"year":"2010","citation":{"short":"H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.","bibtex":"@inproceedings{Wachsmuth_Prettenhofer_Stein_2010, title={Efficient Statement Identification for Automatic Market Forecasting}, booktitle={Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)}, author={Wachsmuth, Henning and Prettenhofer, Peter and Stein, Benno}, year={2010}, pages={1128–1136} }","mla":"Wachsmuth, Henning, et al. “Efficient Statement Identification for Automatic Market Forecasting.” <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i>, 2010, pp. 1128–36.","apa":"Wachsmuth, H., Prettenhofer, P., &#38; Stein, B. (2010). Efficient Statement Identification for Automatic Market Forecasting. In <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i> (pp. 1128–1136).","ieee":"H. Wachsmuth, P. Prettenhofer, and B. Stein, “Efficient Statement Identification for Automatic Market Forecasting,” in <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i>, 2010, pp. 1128–1136.","chicago":"Wachsmuth, Henning, Peter Prettenhofer, and Benno Stein. “Efficient Statement Identification for Automatic Market Forecasting.” In <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i>, 1128–36, 2010.","ama":"Wachsmuth H, Prettenhofer P, Stein B. Efficient Statement Identification for Automatic Market Forecasting. In: <i>Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010)</i>. ; 2010:1128-1136."},"page":"1128-1136"},{"status":"public","type":"book_chapter","publication":"SWAT 2010","_id":"2988","series_title":"Lecture Notes in Computer Science","user_id":"25078","department":[{"_id":"64"}],"year":"2010","place":"Berlin, Heidelberg","citation":{"short":"M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.","bibtex":"@inbook{Ackermann_Blömer_2010, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Bregman Clustering for Separable Instances}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">10.1007/978-3-642-13731-0_21</a>}, booktitle={SWAT 2010}, publisher={Springer Berlin Heidelberg}, author={Ackermann, Marcel R. and Blömer, Johannes}, year={2010}, pages={212–223}, collection={Lecture Notes in Computer Science} }","mla":"Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.” <i>SWAT 2010</i>, Springer Berlin Heidelberg, 2010, pp. 212–23, doi:<a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">10.1007/978-3-642-13731-0_21</a>.","apa":"Ackermann, M. R., &#38; Blömer, J. (2010). Bregman Clustering for Separable Instances. In <i>SWAT 2010</i> (pp. 212–223). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">https://doi.org/10.1007/978-3-642-13731-0_21</a>","ama":"Ackermann MR, Blömer J. Bregman Clustering for Separable Instances. In: <i>SWAT 2010</i>. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:212-223. doi:<a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">10.1007/978-3-642-13731-0_21</a>","chicago":"Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.” In <i>SWAT 2010</i>, 212–23. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. <a href=\"https://doi.org/10.1007/978-3-642-13731-0_21\">https://doi.org/10.1007/978-3-642-13731-0_21</a>.","ieee":"M. R. Ackermann and J. Blömer, “Bregman Clustering for Separable Instances,” in <i>SWAT 2010</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2010, pp. 212–223."},"page":"212-223","publication_status":"published","publication_identifier":{"isbn":["9783642137303","9783642137310"],"issn":["0302-9743","1611-3349"]},"title":"Bregman Clustering for Separable Instances","doi":"10.1007/978-3-642-13731-0_21","publisher":"Springer Berlin Heidelberg","date_updated":"2022-01-06T06:58:50Z","date_created":"2018-06-05T07:51:51Z","author":[{"first_name":"Marcel R.","full_name":"Ackermann, Marcel R.","last_name":"Ackermann"},{"last_name":"Blömer","id":"23","full_name":"Blömer, Johannes","first_name":"Johannes"}]},{"publication":"ACM Trans. Algorithms","type":"journal_article","status":"public","department":[{"_id":"64"}],"user_id":"25078","_id":"2990","keyword":["k-means clustering","k-median clustering","Approximation algorithm","Bregman divergences","Itakura-Saito divergence","Kullback-Leibler divergence","Mahalanobis distance","random sampling"],"issue":"4","publication_identifier":{"issn":["1549-6325"]},"publication_status":"published","page":"59:1--59:26","citation":{"apa":"Ackermann, M. R., Blömer, J., &#38; Sohler, C. (2010). Clustering for Metric and Nonmetric Distance Measures. <i>ACM Trans. Algorithms</i>, (4), 59:1--59:26. <a href=\"https://doi.org/10.1145/1824777.1824779\">https://doi.org/10.1145/1824777.1824779</a>","bibtex":"@article{Ackermann_Blömer_Sohler_2010, title={Clustering for Metric and Nonmetric Distance Measures}, DOI={<a href=\"https://doi.org/10.1145/1824777.1824779\">10.1145/1824777.1824779</a>}, number={4}, journal={ACM Trans. Algorithms}, author={Ackermann, Marcel R. and Blömer, Johannes and Sohler, Christian}, year={2010}, pages={59:1--59:26} }","mla":"Ackermann, Marcel R., et al. “Clustering for Metric and Nonmetric Distance Measures.” <i>ACM Trans. Algorithms</i>, no. 4, 2010, pp. 59:1--59:26, doi:<a href=\"https://doi.org/10.1145/1824777.1824779\">10.1145/1824777.1824779</a>.","short":"M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.","chicago":"Ackermann, Marcel R., Johannes Blömer, and Christian Sohler. “Clustering for Metric and Nonmetric Distance Measures.” <i>ACM Trans. Algorithms</i>, no. 4 (2010): 59:1--59:26. <a href=\"https://doi.org/10.1145/1824777.1824779\">https://doi.org/10.1145/1824777.1824779</a>.","ieee":"M. R. Ackermann, J. Blömer, and C. Sohler, “Clustering for Metric and Nonmetric Distance Measures,” <i>ACM Trans. Algorithms</i>, no. 4, pp. 59:1--59:26, 2010.","ama":"Ackermann MR, Blömer J, Sohler C. Clustering for Metric and Nonmetric Distance Measures. <i>ACM Trans Algorithms</i>. 2010;(4):59:1--59:26. doi:<a href=\"https://doi.org/10.1145/1824777.1824779\">10.1145/1824777.1824779</a>"},"year":"2010","date_created":"2018-06-05T07:52:41Z","author":[{"first_name":"Marcel R.","last_name":"Ackermann","full_name":"Ackermann, Marcel R."},{"first_name":"Johannes","last_name":"Blömer","id":"23","full_name":"Blömer, Johannes"},{"first_name":"Christian","full_name":"Sohler, Christian","last_name":"Sohler"}],"date_updated":"2022-01-06T06:58:50Z","doi":"10.1145/1824777.1824779","title":"Clustering for Metric and Nonmetric Distance Measures"},{"date_updated":"2022-01-06T06:58:50Z","author":[{"first_name":"Alexander","full_name":"Krueger, Alexander","last_name":"Krueger"},{"full_name":"Leutnant, Volker","last_name":"Leutnant","first_name":"Volker"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","full_name":"Haeb-Umbach, Reinhold"},{"first_name":"Marcel","full_name":"Ackermann, Marcel","last_name":"Ackermann"},{"first_name":"Johannes","id":"23","full_name":"Blömer, Johannes","last_name":"Blömer"}],"date_created":"2018-06-05T07:53:41Z","title":"On the initialization of dynamic models for speech features","publication_status":"published","year":"2010","citation":{"apa":"Krueger, A., Leutnant, V., Haeb-Umbach, R., Ackermann, M., &#38; Blömer, J. (2010). On the initialization of dynamic models for speech features. <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>.","bibtex":"@article{Krueger_Leutnant_Haeb-Umbach_Ackermann_Blömer_2010, title={On the initialization of dynamic models for speech features}, journal={Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany}, author={Krueger, Alexander and Leutnant, Volker and Haeb-Umbach, Reinhold and Ackermann, Marcel and Blömer, Johannes}, year={2010} }","mla":"Krueger, Alexander, et al. “On the Initialization of Dynamic Models for Speech Features.” <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>, 2010.","short":"A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).","chicago":"Krueger, Alexander, Volker Leutnant, Reinhold Haeb-Umbach, Marcel Ackermann, and Johannes Blömer. “On the Initialization of Dynamic Models for Speech Features.” <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>, 2010.","ieee":"A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, and J. Blömer, “On the initialization of dynamic models for speech features,” <i>Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany</i>, 2010.","ama":"Krueger A, Leutnant V, Haeb-Umbach R, Ackermann M, Blömer J. On the initialization of dynamic models for speech features. <i>Proc of ITG Fachtagung Sprachkommunikation ITG, Bochum, Germany</i>. 2010."},"_id":"2991","department":[{"_id":"64"}],"user_id":"25078","publication":"Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany","type":"journal_article","status":"public"},{"title":"Efficient and Compact CCA Security from Partitioned IBKEM","date_updated":"2022-01-06T06:58:50Z","_id":"2993","series_title":"Proceedings of the 3rd Western European Workshop on Research in Cryptology","date_created":"2018-06-05T08:02:25Z","author":[{"first_name":"Jonas","full_name":"Schrieb, Jonas","last_name":"Schrieb"}],"user_id":"25078","department":[{"_id":"64"}],"year":"2010","citation":{"apa":"Schrieb, J. (2010). Efficient and Compact CCA Security from Partitioned IBKEM.","bibtex":"@article{Schrieb_2010, series={Proceedings of the 3rd Western European Workshop on Research in Cryptology}, title={Efficient and Compact CCA Security from Partitioned IBKEM}, author={Schrieb, Jonas}, year={2010}, collection={Proceedings of the 3rd Western European Workshop on Research in Cryptology} }","short":"J. Schrieb, (2010).","mla":"Schrieb, Jonas. <i>Efficient and Compact CCA Security from Partitioned IBKEM</i>. 2010.","chicago":"Schrieb, Jonas. “Efficient and Compact CCA Security from Partitioned IBKEM.” Proceedings of the 3rd Western European Workshop on Research in Cryptology, 2010.","ieee":"J. Schrieb, “Efficient and Compact CCA Security from Partitioned IBKEM.” 2010.","ama":"Schrieb J. Efficient and Compact CCA Security from Partitioned IBKEM. 2010."},"status":"public","type":"conference"},{"date_updated":"2022-01-06T06:58:50Z","publisher":"ACM Press","date_created":"2018-06-05T08:03:49Z","author":[{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"first_name":"Ansgar","last_name":"Trächtler","full_name":"Trächtler, Ansgar"},{"last_name":"Birattari","full_name":"Birattari, Mauro","first_name":"Mauro"},{"last_name":"Blömer","full_name":"Blömer, Johannes","id":"23","first_name":"Johannes"},{"full_name":"Dorigo, Marco","last_name":"Dorigo","first_name":"Marco"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"first_name":"Rehan","last_name":"O'Grady","full_name":"O'Grady, Rehan"},{"full_name":"Platzner, Marco","id":"398","last_name":"Platzner","first_name":"Marco"},{"last_name":"Rammig","full_name":"Rammig, Franz","first_name":"Franz"},{"first_name":"Wolfgang","full_name":"Reif, Wolfgang","last_name":"Reif"}],"title":"Engineering self-coordinating software intensive systems","doi":"10.1145/1882362.1882428","publication_status":"published","publication_identifier":{"isbn":["9781450304276"]},"year":"2010","citation":{"apa":"Schäfer, W., Trächtler, A., Birattari, M., Blömer, J., Dorigo, M., Engels, G., … Reif, W. (2010). Engineering self-coordinating software intensive systems. In <i>Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10</i>. ACM Press. <a href=\"https://doi.org/10.1145/1882362.1882428\">https://doi.org/10.1145/1882362.1882428</a>","short":"W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.","mla":"Schäfer, Wilhelm, et al. “Engineering Self-Coordinating Software Intensive Systems.” <i>Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10</i>, ACM Press, 2010, doi:<a href=\"https://doi.org/10.1145/1882362.1882428\">10.1145/1882362.1882428</a>.","bibtex":"@inproceedings{Schäfer_Trächtler_Birattari_Blömer_Dorigo_Engels_O’Grady_Platzner_Rammig_Reif_2010, title={Engineering self-coordinating software intensive systems}, DOI={<a href=\"https://doi.org/10.1145/1882362.1882428\">10.1145/1882362.1882428</a>}, booktitle={Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10}, publisher={ACM Press}, author={Schäfer, Wilhelm and Trächtler, Ansgar and Birattari, Mauro and Blömer, Johannes and Dorigo, Marco and Engels, Gregor and O’Grady, Rehan and Platzner, Marco and Rammig, Franz and Reif, Wolfgang}, year={2010} }","ama":"Schäfer W, Trächtler A, Birattari M, et al. Engineering self-coordinating software intensive systems. In: <i>Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10</i>. ACM Press; 2010. doi:<a href=\"https://doi.org/10.1145/1882362.1882428\">10.1145/1882362.1882428</a>","ieee":"W. Schäfer <i>et al.</i>, “Engineering self-coordinating software intensive systems,” in <i>Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER ’10</i>, 2010.","chicago":"Schäfer, Wilhelm, Ansgar Trächtler, Mauro Birattari, Johannes Blömer, Marco Dorigo, Gregor Engels, Rehan O’Grady, Marco Platzner, Franz Rammig, and Wolfgang Reif. “Engineering Self-Coordinating Software Intensive Systems.” In <i>Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10</i>. ACM Press, 2010. <a href=\"https://doi.org/10.1145/1882362.1882428\">https://doi.org/10.1145/1882362.1882428</a>."},"_id":"2994","user_id":"25078","department":[{"_id":"64"}],"type":"conference","publication":"Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10","status":"public"},{"year":"2010","citation":{"mla":"Jager, Tibor, et al. “Generic Compilers for Authenticated Key Exchange.” <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 232--249, doi:<a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">10.1007/978-3-642-17373-8_14</a>.","short":"T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 232--249.","bibtex":"@inproceedings{Jager_Kohlar_Schäge_Schwenk_2010, title={Generic Compilers for Authenticated Key Exchange}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">10.1007/978-3-642-17373-8_14</a>}, booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings}, author={Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}, year={2010}, pages={232--249} }","apa":"Jager, T., Kohlar, F., Schäge, S., &#38; Schwenk, J. (2010). Generic Compilers for Authenticated Key Exchange. In <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i> (pp. 232--249). <a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">https://doi.org/10.1007/978-3-642-17373-8_14</a>","ama":"Jager T, Kohlar F, Schäge S, Schwenk J. Generic Compilers for Authenticated Key Exchange. In: <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>. ; 2010:232--249. doi:<a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">10.1007/978-3-642-17373-8_14</a>","chicago":"Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg Schwenk. “Generic Compilers for Authenticated Key Exchange.” In <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 232--249, 2010. <a href=\"https://doi.org/10.1007/978-3-642-17373-8_14\">https://doi.org/10.1007/978-3-642-17373-8_14</a>.","ieee":"T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “Generic Compilers for Authenticated Key Exchange,” in <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 232--249."},"page":"232--249","date_updated":"2022-01-06T06:58:58Z","date_created":"2018-06-07T09:28:51Z","author":[{"last_name":"Jager","id":"64669","full_name":"Jager, Tibor","first_name":"Tibor"},{"first_name":"Florian","full_name":"Kohlar, Florian","last_name":"Kohlar"},{"first_name":"Sven","last_name":"Schäge","full_name":"Schäge, Sven"},{"first_name":"Jörg","full_name":"Schwenk, Jörg","last_name":"Schwenk"}],"title":"Generic Compilers for Authenticated Key Exchange","doi":"10.1007/978-3-642-17373-8_14","type":"conference","publication":"Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings","status":"public","_id":"3139","user_id":"38235","department":[{"_id":"558"}],"extern":"1"},{"_id":"3140","department":[{"_id":"558"}],"user_id":"38235","extern":"1","publication":"Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings","type":"conference","status":"public","date_updated":"2022-01-06T06:58:58Z","date_created":"2018-06-07T09:29:23Z","author":[{"last_name":"Jager","full_name":"Jager, Tibor","id":"64669","first_name":"Tibor"},{"first_name":"Andy","last_name":"Rupp","full_name":"Rupp, Andy"}],"title":"The Semi-Generic Group Model and Applications to Pairing-Based Cryptography","doi":"10.1007/978-3-642-17373-8_31","year":"2010","page":"539--556","citation":{"chicago":"Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography.” In <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 539--556, 2010. <a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">https://doi.org/10.1007/978-3-642-17373-8_31</a>.","ieee":"T. Jager and A. Rupp, “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography,” in <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 539--556.","ama":"Jager T, Rupp A. The Semi-Generic Group Model and Applications to Pairing-Based Cryptography. In: <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>. ; 2010:539--556. doi:<a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">10.1007/978-3-642-17373-8_31</a>","apa":"Jager, T., &#38; Rupp, A. (2010). The Semi-Generic Group Model and Applications to Pairing-Based Cryptography. In <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i> (pp. 539--556). <a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">https://doi.org/10.1007/978-3-642-17373-8_31</a>","short":"T. Jager, A. Rupp, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556.","mla":"Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography.” <i>Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings</i>, 2010, pp. 539--556, doi:<a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">10.1007/978-3-642-17373-8_31</a>.","bibtex":"@inproceedings{Jager_Rupp_2010, title={The Semi-Generic Group Model and Applications to Pairing-Based Cryptography}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-17373-8_31\">10.1007/978-3-642-17373-8_31</a>}, booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings}, author={Jager, Tibor and Rupp, Andy}, year={2010}, pages={539--556} }"}},{"status":"public","publication":"Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings","type":"conference","extern":"1","department":[{"_id":"558"}],"user_id":"38235","_id":"3141","page":"1--18","citation":{"ama":"Haralambiev K, Jager T, Kiltz E, Shoup V. Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model. In: <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>. ; 2010:1--18. doi:<a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">10.1007/978-3-642-13013-7_1</a>","ieee":"K. Haralambiev, T. Jager, E. Kiltz, and V. Shoup, “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model,” in <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>, 2010, pp. 1--18.","chicago":"Haralambiev, Kristiyan, Tibor Jager, Eike Kiltz, and Victor Shoup. “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.” In <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>, 1--18, 2010. <a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">https://doi.org/10.1007/978-3-642-13013-7_1</a>.","apa":"Haralambiev, K., Jager, T., Kiltz, E., &#38; Shoup, V. (2010). Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model. In <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i> (pp. 1--18). <a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">https://doi.org/10.1007/978-3-642-13013-7_1</a>","short":"K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.","mla":"Haralambiev, Kristiyan, et al. “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.” <i>Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings</i>, 2010, pp. 1--18, doi:<a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">10.1007/978-3-642-13013-7_1</a>.","bibtex":"@inproceedings{Haralambiev_Jager_Kiltz_Shoup_2010, title={Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-13013-7_1\">10.1007/978-3-642-13013-7_1</a>}, booktitle={Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings}, author={Haralambiev, Kristiyan and Jager, Tibor and Kiltz, Eike and Shoup, Victor}, year={2010}, pages={1--18} }"},"year":"2010","doi":"10.1007/978-3-642-13013-7_1","title":"Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model","date_created":"2018-06-07T09:29:52Z","author":[{"first_name":"Kristiyan","full_name":"Haralambiev, Kristiyan","last_name":"Haralambiev"},{"last_name":"Jager","id":"64669","full_name":"Jager, Tibor","first_name":"Tibor"},{"first_name":"Eike","last_name":"Kiltz","full_name":"Kiltz, Eike"},{"full_name":"Shoup, Victor","last_name":"Shoup","first_name":"Victor"}],"date_updated":"2022-01-06T06:58:58Z"},{"_id":"3189","user_id":"29719","department":[{"_id":"77"}],"status":"public","type":"journal_article","publication":"Sci. Comput. Program.","title":"Model transformations across views","doi":"10.1016/j.scico.2009.11.004","date_updated":"2022-01-06T06:59:03Z","author":[{"first_name":"John","full_name":"Derrick, John","last_name":"Derrick"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-13T08:44:32Z","year":"2010","citation":{"mla":"Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” <i>Sci. Comput. Program.</i>, no. 3, 2010, pp. 192--210, doi:<a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">10.1016/j.scico.2009.11.004</a>.","short":"J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.","bibtex":"@article{Derrick_Wehrheim_2010, title={Model transformations across views}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">10.1016/j.scico.2009.11.004</a>}, number={3}, journal={Sci. Comput. Program.}, author={Derrick, John and Wehrheim, Heike}, year={2010}, pages={192--210} }","apa":"Derrick, J., &#38; Wehrheim, H. (2010). Model transformations across views. <i>Sci. Comput. Program.</i>, (3), 192--210. <a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">https://doi.org/10.1016/j.scico.2009.11.004</a>","ama":"Derrick J, Wehrheim H. Model transformations across views. <i>Sci Comput Program</i>. 2010;(3):192--210. doi:<a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">10.1016/j.scico.2009.11.004</a>","ieee":"J. Derrick and H. Wehrheim, “Model transformations across views,” <i>Sci. Comput. Program.</i>, no. 3, pp. 192--210, 2010.","chicago":"Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” <i>Sci. Comput. Program.</i>, no. 3 (2010): 192--210. <a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">https://doi.org/10.1016/j.scico.2009.11.004</a>."},"page":"192--210","issue":"3"},{"publication":"Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday","type":"conference","status":"public","editor":[{"first_name":"Gregor","full_name":"Engels, Gregor","last_name":"Engels"},{"last_name":"Lewerentz","full_name":"Lewerentz, Claus","first_name":"Claus"},{"last_name":"Sch{\\\"{a}}fer","full_name":"Sch{\\\"{a}}fer, Wilhelm","first_name":"Wilhelm"},{"first_name":"Andy","full_name":"Sch{\\\"{u}}rr, Andy","last_name":"Sch{\\\"{u}}rr"},{"first_name":"Bernhard","last_name":"Westfechtel","full_name":"Westfechtel, Bernhard"}],"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3191","page":"533--554","citation":{"ama":"Schäfer W, Wehrheim H. Model-Driven Development with Mechatronic {UML}. In: Engels G, Lewerentz C, Sch{\\\"{a}}fer W, Sch{\\\"{u}}rr A, Westfechtel B, eds. <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday</i>. Lecture Notes in Computer Science. ; 2010:533--554. doi:<a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">10.1007/978-3-642-17322-6_23</a>","ieee":"W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic {UML},” in <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday</i>, 2010, pp. 533--554.","chicago":"Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” In <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday</i>, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch{\\\"{a}}fer, Andy Sch{\\\"{u}}rr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">https://doi.org/10.1007/978-3-642-17322-6_23</a>.","bibtex":"@inproceedings{Schäfer_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Model-Driven Development with Mechatronic {UML}}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">10.1007/978-3-642-17322-6_23</a>}, booktitle={Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={Engels, Gregor and Lewerentz, Claus and Sch{\\\"{a}}fer, Wilhelm and Sch{\\\"{u}}rr, Andy and Westfechtel, BernhardEditors}, year={2010}, pages={533--554}, collection={Lecture Notes in Computer Science} }","short":"W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\\\"{a}}fer, A. Sch{\\\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.","mla":"Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday</i>, edited by Gregor Engels et al., 2010, pp. 533--554, doi:<a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">10.1007/978-3-642-17322-6_23</a>.","apa":"Schäfer, W., &#38; Wehrheim, H. (2010). Model-Driven Development with Mechatronic {UML}. In G. Engels, C. Lewerentz, W. Sch{\\\"{a}}fer, A. Sch{\\\"{u}}rr, &#38; B. Westfechtel (Eds.), <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday</i> (pp. 533--554). <a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">https://doi.org/10.1007/978-3-642-17322-6_23</a>"},"year":"2010","date_created":"2018-06-13T09:10:56Z","author":[{"first_name":"Wilhelm","full_name":"Schäfer, Wilhelm","last_name":"Schäfer"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-17322-6_23","title":"Model-Driven Development with Mechatronic {UML}"},{"author":[{"first_name":"Nils","last_name":"Timm","full_name":"Timm, Nils"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}],"date_created":"2018-06-13T09:12:28Z","date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-16901-4_35","title":"On Symmetries and Spotlights - Verifying Parameterised Systems","page":"534--548","citation":{"chicago":"Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” In <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">https://doi.org/10.1007/978-3-642-16901-4_35</a>.","ieee":"N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, 2010, pp. 534--548.","ama":"Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised Systems. In: Song Dong J, Zhu H, eds. <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:534--548. doi:<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>","short":"N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.","mla":"Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>.","bibtex":"@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>}, booktitle={Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, author={Timm, Nils and Wehrheim, Heike}, editor={Song Dong, Jin and Zhu, HuibiaoEditors}, year={2010}, pages={534--548}, collection={Lecture Notes in Computer Science} }","apa":"Timm, N., &#38; Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong &#38; H. Zhu (Eds.), <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i> (pp. 534--548). <a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">https://doi.org/10.1007/978-3-642-16901-4_35</a>"},"year":"2010","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3193","publication":"Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings","type":"conference","status":"public","editor":[{"first_name":"Jin","full_name":"Song Dong, Jin","last_name":"Song Dong"},{"last_name":"Zhu","full_name":"Zhu, Huibiao","first_name":"Huibiao"}]},{"status":"public","editor":[{"first_name":"Dominique","full_name":"M{\\'{e}}ry, Dominique","last_name":"M{\\'{e}}ry"},{"first_name":"Stephan","last_name":"Merz","full_name":"Merz, Stephan"}],"publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"77"}],"user_id":"14955","series_title":"Lecture Notes in Computer Science","_id":"3194","page":"183--198","citation":{"apa":"Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In D. M{\\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i> (pp. 183--198). <a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">https://doi.org/10.1007/978-3-642-16265-7_14</a>","bibtex":"@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={M{\\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science} }","short":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.","mla":"Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>.","chicago":"Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” In <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">https://doi.org/10.1007/978-3-642-16265-7_14</a>.","ieee":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques,” in <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 183--198.","ama":"Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In: M{\\’{e}}ry D, Merz S, eds. <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:183--198. doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>"},"year":"2010","doi":"10.1007/978-3-642-16265-7_14","title":"Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques","date_created":"2018-06-13T09:19:33Z","author":[{"last_name":"Hülsbusch","full_name":"Hülsbusch, Mathias","first_name":"Mathias"},{"first_name":"Barbara","last_name":"König","full_name":"König, Barbara"},{"first_name":"Arend","last_name":"Rensink","full_name":"Rensink, Arend"},{"last_name":"Semenyak","full_name":"Semenyak, Maria","first_name":"Maria"},{"full_name":"Soltenborn, Christian","id":"1737","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","first_name":"Christian"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_updated":"2022-01-06T06:59:04Z"},{"publication_status":"published","citation":{"apa":"Samara, S., &#38; Schomaker, G. (2010). Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. <i>2010 10th IEEE International Conference on Computer and Information Technology</i>. <a href=\"https://doi.org/10.1109/cit.2010.304\">https://doi.org/10.1109/cit.2010.304</a>","short":"S. Samara, G. Schomaker, in: 2010 10th IEEE International Conference on Computer and Information Technology, 2010.","mla":"Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip.” <i>2010 10th IEEE International Conference on Computer and Information Technology</i>, 2010, doi:<a href=\"https://doi.org/10.1109/cit.2010.304\">10.1109/cit.2010.304</a>.","bibtex":"@inproceedings{Samara_Schomaker_2010, title={Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip}, DOI={<a href=\"https://doi.org/10.1109/cit.2010.304\">10.1109/cit.2010.304</a>}, booktitle={2010 10th IEEE International Conference on Computer and Information Technology}, author={Samara, Sufyan and Schomaker, Gunnar}, year={2010} }","ama":"Samara S, Schomaker G. Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. In: <i>2010 10th IEEE International Conference on Computer and Information Technology</i>. ; 2010. doi:<a href=\"https://doi.org/10.1109/cit.2010.304\">10.1109/cit.2010.304</a>","ieee":"S. Samara and G. Schomaker, “Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip,” 2010, doi: <a href=\"https://doi.org/10.1109/cit.2010.304\">10.1109/cit.2010.304</a>.","chicago":"Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip.” In <i>2010 10th IEEE International Conference on Computer and Information Technology</i>, 2010. <a href=\"https://doi.org/10.1109/cit.2010.304\">https://doi.org/10.1109/cit.2010.304</a>."},"year":"2010","author":[{"last_name":"Samara","full_name":"Samara, Sufyan","first_name":"Sufyan"},{"first_name":"Gunnar","last_name":"Schomaker","full_name":"Schomaker, Gunnar"}],"date_created":"2021-11-04T15:53:55Z","date_updated":"2022-01-06T06:57:35Z","doi":"10.1109/cit.2010.304","title":"Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip","type":"conference","publication":"2010 10th IEEE International Conference on Computer and Information Technology","status":"public","user_id":"15415","department":[{"_id":"63"},{"_id":"26"}],"_id":"27159","language":[{"iso":"eng"}]}]