[{"citation":{"bibtex":"@inproceedings{Raptopoulos_Nikoletseas_Spirakis_2009, title={Colouring Non-sparse Random Intersection Graphs}, DOI={<a href=\"https://doi.org/10.1007/978-1-4939-2864-4_597\">10.1007/978-1-4939-2864-4_597</a>}, booktitle={34st International Symposium on Mathematical Foundations of Computer Science}, author={Raptopoulos, Christoforos L. and Nikoletseas, Sotiris E. and Spirakis, Paul G.}, year={2009}, pages={600--611} }","chicago":"Raptopoulos, Christoforos L., Sotiris E. Nikoletseas, and Paul G. Spirakis. “Colouring Non-Sparse Random Intersection Graphs.” In <i>34st International Symposium on Mathematical Foundations of Computer Science</i>, 600--611, 2009. <a href=\"https://doi.org/10.1007/978-1-4939-2864-4_597\">https://doi.org/10.1007/978-1-4939-2864-4_597</a>.","short":"C.L. Raptopoulos, S.E. Nikoletseas, P.G. Spirakis, in: 34st International Symposium on Mathematical Foundations of Computer Science, 2009, pp. 600--611.","ama":"Raptopoulos CL, Nikoletseas SE, Spirakis PG. Colouring Non-sparse Random Intersection Graphs. In: <i>34st International Symposium on Mathematical Foundations of Computer Science</i>. ; 2009:600--611. doi:<a href=\"https://doi.org/10.1007/978-1-4939-2864-4_597\">10.1007/978-1-4939-2864-4_597</a>","ieee":"C. L. Raptopoulos, S. E. Nikoletseas, and P. G. Spirakis, “Colouring Non-sparse Random Intersection Graphs,” in <i>34st International Symposium on Mathematical Foundations of Computer Science</i>, 2009, pp. 600--611.","apa":"Raptopoulos, C. L., Nikoletseas, S. E., &#38; Spirakis, P. G. (2009). Colouring Non-sparse Random Intersection Graphs. In <i>34st International Symposium on Mathematical Foundations of Computer Science</i> (pp. 600--611). <a href=\"https://doi.org/10.1007/978-1-4939-2864-4_597\">https://doi.org/10.1007/978-1-4939-2864-4_597</a>","mla":"Raptopoulos, Christoforos L., et al. “Colouring Non-Sparse Random Intersection Graphs.” <i>34st International Symposium on Mathematical Foundations of Computer Science</i>, 2009, pp. 600--611, doi:<a href=\"https://doi.org/10.1007/978-1-4939-2864-4_597\">10.1007/978-1-4939-2864-4_597</a>."},"publication":"34st International Symposium on Mathematical Foundations of Computer Science","department":[{"_id":"63"}],"type":"conference","date_created":"2020-10-06T10:09:51Z","publication_status":"published","date_updated":"2022-01-06T06:54:14Z","publication_identifier":{"isbn":["9781493928637","9781493928644"]},"author":[{"first_name":"Christoforos L.","last_name":"Raptopoulos","full_name":"Raptopoulos, Christoforos L."},{"first_name":"Sotiris E.","last_name":"Nikoletseas","full_name":"Nikoletseas, Sotiris E."},{"first_name":"Paul G.","last_name":"Spirakis","full_name":"Spirakis, Paul G."}],"title":"Colouring Non-sparse Random Intersection Graphs","year":"2009","status":"public","user_id":"15415","doi":"10.1007/978-1-4939-2864-4_597","_id":"19901","language":[{"iso":"eng"}],"page":"600--611"},{"user_id":"15415","doi":"10.1109/IPDPS.2009.5161002","page":"1--11","_id":"19904","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:14Z","title":"Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions","status":"public","year":"2009","author":[{"last_name":"Nikoletseas","first_name":"Sotiris E.","full_name":"Nikoletseas, Sotiris E."},{"last_name":"Raptopoulos","first_name":"Christoforos L.","full_name":"Raptopoulos, Christoforos L."},{"first_name":"Paul G.","last_name":"Spirakis","full_name":"Spirakis, Paul G."}],"type":"conference","department":[{"_id":"63"}],"date_created":"2020-10-06T10:23:53Z","publication":" Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium","citation":{"chicago":"Nikoletseas, Sotiris E., Christoforos L. Raptopoulos, and Paul G. Spirakis. “Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions.” In <i> Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing Symposium</i>, 1--11, 2009. <a href=\"https://doi.org/10.1109/IPDPS.2009.5161002\">https://doi.org/10.1109/IPDPS.2009.5161002</a>.","short":"S.E. Nikoletseas, C.L. Raptopoulos, P.G. Spirakis, in:  Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing Symposium, 2009, pp. 1--11.","apa":"Nikoletseas, S. E., Raptopoulos, C. L., &#38; Spirakis, P. G. (2009). Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions. In <i> Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing Symposium</i> (pp. 1--11). <a href=\"https://doi.org/10.1109/IPDPS.2009.5161002\">https://doi.org/10.1109/IPDPS.2009.5161002</a>","ieee":"S. E. Nikoletseas, C. L. Raptopoulos, and P. G. Spirakis, “Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions,” in <i> Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing Symposium</i>, 2009, pp. 1--11.","ama":"Nikoletseas SE, Raptopoulos CL, Spirakis PG. Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions. In: <i> Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing Symposium</i>. ; 2009:1--11. doi:<a href=\"https://doi.org/10.1109/IPDPS.2009.5161002\">10.1109/IPDPS.2009.5161002</a>","bibtex":"@inproceedings{Nikoletseas_Raptopoulos_Spirakis_2009, title={Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions}, DOI={<a href=\"https://doi.org/10.1109/IPDPS.2009.5161002\">10.1109/IPDPS.2009.5161002</a>}, booktitle={ Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing Symposium}, author={Nikoletseas, Sotiris E. and Raptopoulos, Christoforos L. and Spirakis, Paul G.}, year={2009}, pages={1--11} }","mla":"Nikoletseas, Sotiris E., et al. “Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions.” <i> Proceedings of IPDPS - IEEE International Parallel &#38; Distributed Processing Symposium</i>, 2009, pp. 1--11, doi:<a href=\"https://doi.org/10.1109/IPDPS.2009.5161002\">10.1109/IPDPS.2009.5161002</a>."}},{"user_id":"15415","language":[{"iso":"eng"}],"_id":"19934","date_updated":"2022-01-06T06:54:14Z","author":[{"first_name":"Deniz","last_name":"Deveci","full_name":"Deveci, Deniz"},{"last_name":"Kortenjan","first_name":"Michael","full_name":"Kortenjan, Michael"},{"last_name":"Schomaker","first_name":"Gunnar","full_name":"Schomaker, Gunnar"}],"year":"2009","status":"public","title":"Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions","department":[{"_id":"63"},{"_id":"70"}],"type":"conference","date_created":"2020-10-06T14:12:26Z","citation":{"short":"D. Deveci, M. Kortenjan, G. Schomaker, in:  Parallel and Distributed Computing and Systems, Nr. 21, 2009.","chicago":"Deveci, Deniz, Michael Kortenjan, and Gunnar Schomaker. “Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions.” In <i> Parallel and Distributed Computing and Systems, Nr. 21</i>, 2009.","ieee":"D. Deveci, M. Kortenjan, and G. Schomaker, “Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions,” in <i> Parallel and Distributed Computing and Systems, Nr. 21</i>, 2009.","apa":"Deveci, D., Kortenjan, M., &#38; Schomaker, G. (2009). Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions. In <i> Parallel and Distributed Computing and Systems, Nr. 21</i>.","bibtex":"@inproceedings{Deveci_Kortenjan_Schomaker_2009, title={Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions}, booktitle={ Parallel and Distributed Computing and Systems, Nr. 21}, author={Deveci, Deniz and Kortenjan, Michael and Schomaker, Gunnar}, year={2009} }","ama":"Deveci D, Kortenjan M, Schomaker G. Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions. In: <i> Parallel and Distributed Computing and Systems, Nr. 21</i>. ; 2009.","mla":"Deveci, Deniz, et al. “Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions.” <i> Parallel and Distributed Computing and Systems, Nr. 21</i>, 2009."},"publication":" Parallel and Distributed Computing and Systems, Nr. 21"},{"type":"conference","department":[{"_id":"63"},{"_id":"238"}],"date_created":"2020-11-02T14:04:46Z","abstract":[{"lang":"eng","text":"One of the prominent challenges in mobile robotics is to develop control methodologies that allow the adaptation to dynamic and unforeseen environments. The classic approach of hand-coded controllers is very efficient for well-defined tasks and specific environments but poor in adapting to changing environmental conditions. One alternative approach is the application of evolutionary algorithms which need, in turn, easily evolvable representations of controllers. In this paper, we investigate one promising approach of an artificial hormone system as a control paradigm which is believed to be easily optimized by evolutionary processes. In a first step of this research, we focus on the simple task of collision avoidance. We present a brief mathematical analysis of this controller approach and an implementation of the controller on a mobile robot to check the feasibility in principle of our approach. The task is successfully accomplished and we conclude with a discussion of the hormone dynamics in the robot."}],"publication":"2009 IEEE/RSJ International Conference on Intelligent Robots and Systems","citation":{"mla":"Stradner, Jürgen, et al. “Analysis and Implementation of an Artificial Homeostatic Hormone System: A First Case Study in Robotic Hardware.” <i>2009 IEEE/RSJ International Conference on Intelligent Robots and Systems</i>, 2009, doi:<a href=\"https://doi.org/10.1109/iros.2009.5354056\">10.1109/iros.2009.5354056</a>.","bibtex":"@inproceedings{Stradner_Hamann_Schmickl_Crailsheim_2009, title={Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware}, DOI={<a href=\"https://doi.org/10.1109/iros.2009.5354056\">10.1109/iros.2009.5354056</a>}, booktitle={2009 IEEE/RSJ International Conference on Intelligent Robots and Systems}, author={Stradner, Jürgen and Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}, year={2009} }","ama":"Stradner J, Hamann H, Schmickl T, Crailsheim K. Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware. In: <i>2009 IEEE/RSJ International Conference on Intelligent Robots and Systems</i>. ; 2009. doi:<a href=\"https://doi.org/10.1109/iros.2009.5354056\">10.1109/iros.2009.5354056</a>","ieee":"J. Stradner, H. Hamann, T. Schmickl, and K. Crailsheim, “Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware,” in <i>2009 IEEE/RSJ International Conference on Intelligent Robots and Systems</i>, 2009.","apa":"Stradner, J., Hamann, H., Schmickl, T., &#38; Crailsheim, K. (2009). Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware. In <i>2009 IEEE/RSJ International Conference on Intelligent Robots and Systems</i>. <a href=\"https://doi.org/10.1109/iros.2009.5354056\">https://doi.org/10.1109/iros.2009.5354056</a>","short":"J. Stradner, H. Hamann, T. Schmickl, K. Crailsheim, in: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009.","chicago":"Stradner, Jürgen, Heiko Hamann, Thomas Schmickl, and Karl Crailsheim. “Analysis and Implementation of an Artificial Homeostatic Hormone System: A First Case Study in Robotic Hardware.” In <i>2009 IEEE/RSJ International Conference on Intelligent Robots and Systems</i>, 2009. <a href=\"https://doi.org/10.1109/iros.2009.5354056\">https://doi.org/10.1109/iros.2009.5354056</a>."},"doi":"10.1109/iros.2009.5354056","user_id":"15415","_id":"20254","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:54:25Z","publication_status":"published","year":"2009","status":"public","title":"Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware","author":[{"first_name":"Jürgen","last_name":"Stradner","full_name":"Stradner, Jürgen"},{"first_name":"Heiko","last_name":"Hamann","full_name":"Hamann, Heiko"},{"full_name":"Schmickl, Thomas","last_name":"Schmickl","first_name":"Thomas"},{"full_name":"Crailsheim, Karl","last_name":"Crailsheim","first_name":"Karl"}],"publication_identifier":{"isbn":["9781424438037"]}},{"citation":{"ieee":"T. Schmickl, H. Hamann, H. Wörn, and K. Crailsheim, “Two different approaches to a macroscopic model of a bio-inspired robotic swarm,” <i>Robotics and Autonomous Systems</i>, vol. 6, no. 9, pp. 913–921, 2009.","apa":"Schmickl, T., Hamann, H., Wörn, H., &#38; Crailsheim, K. (2009). Two different approaches to a macroscopic model of a bio-inspired robotic swarm. <i>Robotics and Autonomous Systems</i>, <i>6</i>(9), 913–921. <a href=\"https://doi.org/10.1016/j.robot.2009.06.002\">https://doi.org/10.1016/j.robot.2009.06.002</a>","short":"T. Schmickl, H. Hamann, H. Wörn, K. Crailsheim, Robotics and Autonomous Systems 6 (2009) 913–921.","chicago":"Schmickl, Thomas, Heiko Hamann, Heinz Wörn, and Karl Crailsheim. “Two Different Approaches to a Macroscopic Model of a Bio-Inspired Robotic Swarm.” <i>Robotics and Autonomous Systems</i> 6, no. 9 (2009): 913–21. <a href=\"https://doi.org/10.1016/j.robot.2009.06.002\">https://doi.org/10.1016/j.robot.2009.06.002</a>.","mla":"Schmickl, Thomas, et al. “Two Different Approaches to a Macroscopic Model of a Bio-Inspired Robotic Swarm.” <i>Robotics and Autonomous Systems</i>, vol. 6, no. 9, 2009, pp. 913–21, doi:<a href=\"https://doi.org/10.1016/j.robot.2009.06.002\">10.1016/j.robot.2009.06.002</a>.","bibtex":"@article{Schmickl_Hamann_Wörn_Crailsheim_2009, title={Two different approaches to a macroscopic model of a bio-inspired robotic swarm}, volume={6}, DOI={<a href=\"https://doi.org/10.1016/j.robot.2009.06.002\">10.1016/j.robot.2009.06.002</a>}, number={9}, journal={Robotics and Autonomous Systems}, author={Schmickl, Thomas and Hamann, Heiko and Wörn, Heinz and Crailsheim, Karl}, year={2009}, pages={913–921} }","ama":"Schmickl T, Hamann H, Wörn H, Crailsheim K. Two different approaches to a macroscopic model of a bio-inspired robotic swarm. <i>Robotics and Autonomous Systems</i>. 2009;6(9):913-921. doi:<a href=\"https://doi.org/10.1016/j.robot.2009.06.002\">10.1016/j.robot.2009.06.002</a>"},"volume":6,"user_id":"15415","_id":"20255","page":"913-921","status":"public","department":[{"_id":"63"},{"_id":"238"}],"type":"journal_article","date_created":"2020-11-02T14:07:44Z","abstract":[{"text":"By compiling macroscopic models we analyze the adaptive behavior in a swarm of autonomous robots generated by a bio-inspired, distributed control algorithm. We developed two macroscopic models by taking two different perspectives: A Stock & Flow model, which is simple to implement and fast to simulate, and a spatially resolved model based on diffusion processes. These two models were compared concerning their prediction quality and their analytical power: One model allowed easy identification of the major feedback loops governing the swarm behavior. The other model allowed analysis of the expected shapes and positions of observable robot clusters. We found a high correlation in the challenges posed by both modeling techniques and we highlighted the inherent problems of inferring emergent macroscopic rules from a microscopic description of swarm behavior.","lang":"eng"}],"issue":"9","publication":"Robotics and Autonomous Systems","doi":"10.1016/j.robot.2009.06.002","language":[{"iso":"eng"}],"intvolume":"         6","publication_status":"published","date_updated":"2022-01-06T06:54:25Z","author":[{"full_name":"Schmickl, Thomas","last_name":"Schmickl","first_name":"Thomas"},{"full_name":"Hamann, Heiko","first_name":"Heiko","last_name":"Hamann"},{"last_name":"Wörn","first_name":"Heinz","full_name":"Wörn, Heinz"},{"last_name":"Crailsheim","first_name":"Karl","full_name":"Crailsheim, Karl"}],"publication_identifier":{"issn":["0921-8890"]},"year":"2009","title":"Two different approaches to a macroscopic model of a bio-inspired robotic swarm"},{"publication":"MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling","citation":{"short":"H. Hamann, I. Troch, F. Breitenecker, in: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, 2009.","chicago":"Hamann, Heiko, Inge Troch, and F. Breitenecker. “Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System.” In <i>MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling</i>, 2009.","ieee":"H. Hamann, I. Troch, and F. Breitenecker, “Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System,” in <i>MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling</i>, 2009.","apa":"Hamann, H., Troch, I., &#38; Breitenecker, F. (2009). Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System. In <i>MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling</i>.","bibtex":"@inproceedings{Hamann_Troch_Breitenecker_2009, title={Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System}, booktitle={MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling}, author={Hamann, Heiko and Troch, Inge and Breitenecker, F.}, year={2009} }","ama":"Hamann H, Troch I, Breitenecker F. Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System. In: <i>MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling</i>. ; 2009.","mla":"Hamann, Heiko, et al. “Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System.” <i>MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling</i>, 2009."},"type":"conference","department":[{"_id":"63"},{"_id":"238"}],"date_created":"2020-11-02T14:18:27Z","date_updated":"2022-01-06T06:54:25Z","year":"2009","title":"Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System","status":"public","author":[{"full_name":"Hamann, Heiko","last_name":"Hamann","first_name":"Heiko"},{"first_name":"Inge","last_name":"Troch","full_name":"Troch, Inge"},{"first_name":"F.","last_name":"Breitenecker","full_name":"Breitenecker, F."}],"user_id":"15415","_id":"20259","language":[{"iso":"eng"}]},{"issue":"2","publication":"Electr. Notes Theor. Comput. Sci.","citation":{"chicago":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2009): 135--151. <a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">https://doi.org/10.1016/j.entcs.2009.08.022</a>.","short":"H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.","ieee":"H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 135--151, 2009.","apa":"Wehrheim, H., &#38; Wonisch, D. (2009). Compositional {CSP} Traces Refinement Checking. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 135--151. <a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">https://doi.org/10.1016/j.entcs.2009.08.022</a>","bibtex":"@article{Wehrheim_Wonisch_2009, title={Compositional {CSP} Traces Refinement Checking}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">10.1016/j.entcs.2009.08.022</a>}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={135--151} }","ama":"Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. <i>Electr Notes Theor Comput Sci</i>. 2009;(2):135--151. doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">10.1016/j.entcs.2009.08.022</a>","mla":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2009, pp. 135--151, doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">10.1016/j.entcs.2009.08.022</a>."},"date_created":"2018-06-13T09:24:52Z","type":"journal_article","department":[{"_id":"77"}],"status":"public","year":"2009","title":"Compositional {CSP} Traces Refinement Checking","author":[{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"},{"full_name":"Wonisch, Daniel","last_name":"Wonisch","first_name":"Daniel"}],"date_updated":"2022-01-06T06:59:04Z","page":"135--151","_id":"3199","user_id":"29719","doi":"10.1016/j.entcs.2009.08.022"},{"date_updated":"2022-01-06T06:59:04Z","author":[{"last_name":"Ruhroth","first_name":"Thomas","full_name":"Ruhroth, Thomas"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"title":"Static Class Elements for Object-Z","status":"public","year":"2009","doi":"10.1016/j.entcs.2009.12.025","user_id":"29719","_id":"3200","page":"193--205","citation":{"ieee":"T. Ruhroth and H. Wehrheim, “Static Class Elements for Object-Z,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 193--205, 2009.","apa":"Ruhroth, T., &#38; Wehrheim, H. (2009). Static Class Elements for Object-Z. <i>Electr. Notes Theor. Comput. Sci.</i>, 193--205. <a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">https://doi.org/10.1016/j.entcs.2009.12.025</a>","mla":"Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2009, pp. 193--205, doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">10.1016/j.entcs.2009.12.025</a>.","bibtex":"@article{Ruhroth_Wehrheim_2009, title={Static Class Elements for Object-Z}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">10.1016/j.entcs.2009.12.025</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Ruhroth, Thomas and Wehrheim, Heike}, year={2009}, pages={193--205} }","chicago":"Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2009, 193--205. <a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">https://doi.org/10.1016/j.entcs.2009.12.025</a>.","short":"T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.","ama":"Ruhroth T, Wehrheim H. Static Class Elements for Object-Z. <i>Electr Notes Theor Comput Sci</i>. 2009:193--205. doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">10.1016/j.entcs.2009.12.025</a>"},"publication":"Electr. Notes Theor. Comput. Sci.","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T09:26:31Z"},{"department":[{"_id":"77"}],"type":"conference","date_created":"2018-06-13T09:30:27Z","citation":{"short":"T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.","chicago":"Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models.” In <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>, 360--367, 2009. <a href=\"https://doi.org/10.1109/SEAA.2009.39\">https://doi.org/10.1109/SEAA.2009.39</a>.","apa":"Ruhroth, T., Voigt, H., &#38; Wehrheim, H. (2009). Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models. In <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i> (pp. 360--367). <a href=\"https://doi.org/10.1109/SEAA.2009.39\">https://doi.org/10.1109/SEAA.2009.39</a>","ieee":"T. Ruhroth, H. Voigt, and H. Wehrheim, “Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models,” in <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>, 2009, pp. 360--367.","ama":"Ruhroth T, Voigt H, Wehrheim H. Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models. In: <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>. ; 2009:360--367. doi:<a href=\"https://doi.org/10.1109/SEAA.2009.39\">10.1109/SEAA.2009.39</a>","bibtex":"@inproceedings{Ruhroth_Voigt_Wehrheim_2009, title={Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models}, DOI={<a href=\"https://doi.org/10.1109/SEAA.2009.39\">10.1109/SEAA.2009.39</a>}, booktitle={35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings}, author={Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike}, year={2009}, pages={360--367} }","mla":"Ruhroth, Thomas, et al. “Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models.” <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>, 2009, pp. 360--367, doi:<a href=\"https://doi.org/10.1109/SEAA.2009.39\">10.1109/SEAA.2009.39</a>."},"publication":"35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings","user_id":"29719","doi":"10.1109/SEAA.2009.39","_id":"3201","page":"360--367","date_updated":"2022-01-06T06:59:04Z","author":[{"last_name":"Ruhroth","first_name":"Thomas","full_name":"Ruhroth, Thomas"},{"first_name":"Hendrik","last_name":"Voigt","full_name":"Voigt, Hendrik"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"title":"Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models","status":"public","year":"2009"},{"_id":"3202","series_title":"Lecture Notes in Computer Science","editor":[{"full_name":"Leuschel, Michael","last_name":"Leuschel","first_name":"Michael"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"user_id":"29719","doi":"10.1007/978-3-642-00255-7","publication_identifier":{"isbn":["978-3-642-00254-0"]},"status":"public","title":"Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings","year":"2009","date_updated":"2022-01-06T06:59:04Z","date_created":"2018-06-13T09:44:34Z","department":[{"_id":"77"}],"type":"conference_editor","citation":{"mla":"Leuschel, Michael, and Heike Wehrheim, editors. <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. 2009, doi:<a href=\"https://doi.org/10.1007/978-3-642-00255-7\">10.1007/978-3-642-00255-7</a>.","ama":"Leuschel M, Wehrheim H, eds. <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>.; 2009. doi:<a href=\"https://doi.org/10.1007/978-3-642-00255-7\">10.1007/978-3-642-00255-7</a>","bibtex":"@book{Leuschel_Wehrheim_2009, series={Lecture Notes in Computer Science}, title={Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-00255-7\">10.1007/978-3-642-00255-7</a>}, year={2009}, collection={Lecture Notes in Computer Science} }","apa":"Leuschel, M., &#38; Wehrheim, H. (Eds.). (2009). <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. <a href=\"https://doi.org/10.1007/978-3-642-00255-7\">https://doi.org/10.1007/978-3-642-00255-7</a>","ieee":"M. Leuschel and H. Wehrheim, Eds., <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. 2009.","chicago":"Leuschel, Michael, and Heike Wehrheim, eds. <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. Lecture Notes in Computer Science, 2009. <a href=\"https://doi.org/10.1007/978-3-642-00255-7\">https://doi.org/10.1007/978-3-642-00255-7</a>.","short":"M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009."}},{"file_date_updated":"2018-05-25T09:07:18Z","citation":{"ieee":"C. Schröer, <i>Hierarchisches Clustering mit minimalen Cluster-Durchmessern</i>. 2009.","apa":"Schröer, C. (2009). <i>Hierarchisches Clustering mit minimalen Cluster-Durchmessern</i>.","chicago":"Schröer, Carsten. <i>Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern</i>, 2009.","short":"C. Schröer, Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern, 2009.","mla":"Schröer, Carsten. <i>Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern</i>. 2009.","bibtex":"@book{Schröer_2009, title={Hierarchisches Clustering mit minimalen Cluster-Durchmessern}, author={Schröer, Carsten}, year={2009} }","ama":"Schröer C. <i>Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern</i>.; 2009."},"supervisor":[{"full_name":"Blömer, Johannes","last_name":"Blömer","first_name":"Johannes","id":"23"}],"type":"bachelorsthesis","department":[{"_id":"64"}],"file":[{"content_type":"application/pdf","success":1,"file_id":"2881","date_updated":"2018-05-25T09:07:18Z","relation":"main_file","file_size":626531,"access_level":"closed","file_name":"2009_Schroeer_HierarchischesDurchmesserClustering.pdf","date_created":"2018-05-25T09:07:18Z","creator":"feidens"}],"date_created":"2018-05-25T09:07:25Z","date_updated":"2022-01-06T06:58:25Z","has_accepted_license":"1","year":"2009","status":"public","title":"Hierarchisches Clustering mit minimalen Cluster-Durchmessern","author":[{"full_name":"Schröer, Carsten","last_name":"Schröer","first_name":"Carsten"}],"user_id":"25078","ddc":["000"],"_id":"2880"},{"file_date_updated":"2018-07-12T09:41:46Z","supervisor":[{"first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes"}],"citation":{"chicago":"Liske, Gennadij. <i>Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens</i>, 2009.","short":"G. Liske, Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens, 2009.","apa":"Liske, G. (2009). <i>Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens</i>.","ieee":"G. Liske, <i>Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens</i>. 2009.","ama":"Liske G. <i>Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens</i>.; 2009.","bibtex":"@book{Liske_2009, title={Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens}, author={Liske, Gennadij}, year={2009} }","mla":"Liske, Gennadij. <i>Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens</i>. 2009."},"file":[{"file_size":1196648,"access_level":"open_access","file_name":"2009_Liske_AnalyseUndEvaluationEinesIdentitaetsbasiertenSigncryptionVerfahrens.pdf","date_updated":"2018-07-12T09:41:46Z","relation":"main_file","content_type":"application/pdf","file_id":"2897","creator":"feidens","date_created":"2018-05-25T09:30:58Z"}],"date_created":"2018-05-25T09:31:04Z","type":"bachelorsthesis","oa":"1","department":[{"_id":"64"}],"year":"2009","title":"Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens","status":"public","author":[{"first_name":"Gennadij","last_name":"Liske","full_name":"Liske, Gennadij"}],"date_updated":"2022-01-06T06:58:42Z","has_accepted_license":"1","urn":"28960","_id":"2896","ddc":["000"],"user_id":"25078"},{"citation":{"mla":"Scholz, Christoph. <i>Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen</i>. 2009.","ama":"Scholz C. <i>Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen</i>.; 2009.","bibtex":"@book{Scholz_2009, title={Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen}, author={Scholz, Christoph}, year={2009} }","apa":"Scholz, C. (2009). <i>Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen</i>.","ieee":"C. Scholz, <i>Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen</i>. 2009.","short":"C. Scholz, Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen, 2009.","chicago":"Scholz, Christoph. <i>Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen</i>, 2009."},"supervisor":[{"full_name":"Blömer, Johannes","last_name":"Blömer","first_name":"Johannes","id":"23"}],"file_date_updated":"2018-05-25T09:48:10Z","department":[{"_id":"64"}],"type":"mastersthesis","date_created":"2018-05-25T09:48:17Z","file":[{"creator":"feidens","date_created":"2018-05-25T09:48:10Z","file_name":"2009_Scholz_DieSchwierigkeitDesKMedianClusteringsFuerBregmanDivergenzen.pdf","file_size":844164,"access_level":"closed","relation":"main_file","date_updated":"2018-05-25T09:48:10Z","file_id":"2905","success":1,"content_type":"application/pdf"}],"has_accepted_license":"1","date_updated":"2022-01-06T06:58:44Z","author":[{"first_name":"Christoph","last_name":"Scholz","full_name":"Scholz, Christoph"}],"year":"2009","status":"public","title":"Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen","user_id":"25078","ddc":["000"],"_id":"2904"},{"citation":{"apa":"Ackermann, M. R. (2009). <i>Algorithms for the Bregman k-Median Problem</i>. Universität Paderborn.","ieee":"M. R. Ackermann, <i>Algorithms for the Bregman k-Median Problem</i>. Universität Paderborn, 2009.","short":"M.R. Ackermann, Algorithms for the Bregman K-Median Problem, Universität Paderborn, 2009.","chicago":"Ackermann, Marcel Rudolf. <i>Algorithms for the Bregman K-Median Problem</i>. Universität Paderborn, 2009.","mla":"Ackermann, Marcel Rudolf. <i>Algorithms for the Bregman K-Median Problem</i>. Universität Paderborn, 2009.","ama":"Ackermann MR. <i>Algorithms for the Bregman K-Median Problem</i>. Universität Paderborn; 2009.","bibtex":"@book{Ackermann_2009, title={Algorithms for the Bregman k-Median Problem}, publisher={Universität Paderborn}, author={Ackermann, Marcel Rudolf}, year={2009} }"},"supervisor":[{"last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes","id":"23"}],"department":[{"_id":"64"}],"type":"dissertation","date_created":"2018-05-25T10:48:51Z","date_updated":"2022-01-06T06:58:46Z","author":[{"first_name":"Marcel Rudolf","last_name":"Ackermann","full_name":"Ackermann, Marcel Rudolf"}],"status":"public","year":"2009","title":"Algorithms for the Bregman k-Median Problem","user_id":"25078","publisher":"Universität Paderborn","_id":"2911","main_file_link":[{"url":"http://digital.ub.uni-paderborn.de/hs/content/titleinfo/1561"}]},{"extern":"1","citation":{"short":"S. Kakvi, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 300–301.","chicago":"Kakvi, Saqib. “Reinforcement Learning for Blackjack.” In <i>Lecture Notes in Computer Science</i>, 300–301. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. <a href=\"https://doi.org/10.1007/978-3-642-04052-8_43\">https://doi.org/10.1007/978-3-642-04052-8_43</a>.","ieee":"S. Kakvi, “Reinforcement Learning for Blackjack,” in <i>Lecture Notes in Computer Science</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 300–301.","apa":"Kakvi, S. (2009). Reinforcement Learning for Blackjack. In <i>Lecture Notes in Computer Science</i> (pp. 300–301). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-04052-8_43\">https://doi.org/10.1007/978-3-642-04052-8_43</a>","bibtex":"@inbook{Kakvi_2009, place={Berlin, Heidelberg}, title={Reinforcement Learning for Blackjack}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-04052-8_43\">10.1007/978-3-642-04052-8_43</a>}, booktitle={Lecture Notes in Computer Science}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib}, year={2009}, pages={300–301} }","ama":"Kakvi S. Reinforcement Learning for Blackjack. In: <i>Lecture Notes in Computer Science</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:300-301. doi:<a href=\"https://doi.org/10.1007/978-3-642-04052-8_43\">10.1007/978-3-642-04052-8_43</a>","mla":"Kakvi, Saqib. “Reinforcement Learning for Blackjack.” <i>Lecture Notes in Computer Science</i>, Springer Berlin Heidelberg, 2009, pp. 300–01, doi:<a href=\"https://doi.org/10.1007/978-3-642-04052-8_43\">10.1007/978-3-642-04052-8_43</a>."},"publication":"Lecture Notes in Computer Science","department":[{"_id":"558"}],"type":"book_chapter","place":"Berlin, Heidelberg","date_created":"2018-05-25T12:38:01Z","date_updated":"2022-01-06T06:58:47Z","publication_status":"published","publication_identifier":{"isbn":["9783642040511","9783642040528"],"issn":["0302-9743","1611-3349"]},"author":[{"first_name":"Saqib","last_name":"Kakvi","full_name":"Kakvi, Saqib"}],"year":"2009","title":"Reinforcement Learning for Blackjack","status":"public","doi":"10.1007/978-3-642-04052-8_43","user_id":"25078","_id":"2920","publisher":"Springer Berlin Heidelberg","page":"300-301"},{"date_updated":"2022-01-06T06:58:50Z","publication_status":"published","year":"2009","status":"public","title":"Coresets and Approximate Clustering for Bregman Divergences","publication_identifier":{"isbn":["9780898716801","9781611973068"]},"author":[{"last_name":"Ackermann","first_name":"Marcel R.","full_name":"Ackermann, Marcel R."},{"first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes","id":"23"}],"doi":"10.1137/1.9781611973068.118","user_id":"25078","page":"1088-1097","language":[{"iso":"eng"}],"_id":"2995","publisher":"Society for Industrial and Applied Mathematics","publication":"Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms","citation":{"mla":"Ackermann, Marcel R., and Johannes Blömer. “Coresets and Approximate Clustering for Bregman Divergences.” <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms</i>, Society for Industrial and Applied Mathematics, 2009, pp. 1088–97, doi:<a href=\"https://doi.org/10.1137/1.9781611973068.118\">10.1137/1.9781611973068.118</a>.","apa":"Ackermann, M. R., &#38; Blömer, J. (2009). Coresets and Approximate Clustering for Bregman Divergences. In <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms</i> (pp. 1088–1097). Philadelphia, PA: Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/1.9781611973068.118\">https://doi.org/10.1137/1.9781611973068.118</a>","ieee":"M. R. Ackermann and J. Blömer, “Coresets and Approximate Clustering for Bregman Divergences,” in <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms</i>, Philadelphia, PA: Society for Industrial and Applied Mathematics, 2009, pp. 1088–1097.","ama":"Ackermann MR, Blömer J. Coresets and Approximate Clustering for Bregman Divergences. In: <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms</i>. Philadelphia, PA: Society for Industrial and Applied Mathematics; 2009:1088-1097. doi:<a href=\"https://doi.org/10.1137/1.9781611973068.118\">10.1137/1.9781611973068.118</a>","short":"M.R. Ackermann, J. Blömer, in: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2009, pp. 1088–1097.","chicago":"Ackermann, Marcel R., and Johannes Blömer. “Coresets and Approximate Clustering for Bregman Divergences.” In <i>Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms</i>, 1088–97. Philadelphia, PA: Society for Industrial and Applied Mathematics, 2009. <a href=\"https://doi.org/10.1137/1.9781611973068.118\">https://doi.org/10.1137/1.9781611973068.118</a>.","bibtex":"@inbook{Ackermann_Blömer_2009, place={Philadelphia, PA}, title={Coresets and Approximate Clustering for Bregman Divergences}, DOI={<a href=\"https://doi.org/10.1137/1.9781611973068.118\">10.1137/1.9781611973068.118</a>}, booktitle={Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms}, publisher={Society for Industrial and Applied Mathematics}, author={Ackermann, Marcel R. and Blömer, Johannes}, year={2009}, pages={1088–1097} }"},"type":"book_chapter","department":[{"_id":"64"}],"place":"Philadelphia, PA","date_created":"2018-06-05T08:05:17Z"},{"doi":"10.1007/978-3-642-05089-3_8","user_id":"25078","publisher":"Springer Berlin Heidelberg","_id":"3000","page":"106-122","date_updated":"2022-01-06T06:58:50Z","publication_status":"published","author":[{"full_name":"Schrieb, Jonas","last_name":"Schrieb","first_name":"Jonas"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"},{"last_name":"Wonisch","first_name":"Daniel","full_name":"Wonisch, Daniel"}],"publication_identifier":{"isbn":["9783642050886","9783642050893"],"issn":["0302-9743","1611-3349"]},"status":"public","title":"Three-Valued Spotlight Abstractions","year":"2009","department":[{"_id":"64"}],"type":"book_chapter","place":"Berlin, Heidelberg","date_created":"2018-06-05T08:09:11Z","citation":{"apa":"Schrieb, J., Wehrheim, H., &#38; Wonisch, D. (2009). Three-Valued Spotlight Abstractions. In <i>FM 2009: Formal Methods</i> (pp. 106–122). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">https://doi.org/10.1007/978-3-642-05089-3_8</a>","ieee":"J. Schrieb, H. Wehrheim, and D. Wonisch, “Three-Valued Spotlight Abstractions,” in <i>FM 2009: Formal Methods</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 106–122.","short":"J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.","chicago":"Schrieb, Jonas, Heike Wehrheim, and Daniel Wonisch. “Three-Valued Spotlight Abstractions.” In <i>FM 2009: Formal Methods</i>, 106–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. <a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">https://doi.org/10.1007/978-3-642-05089-3_8</a>.","mla":"Schrieb, Jonas, et al. “Three-Valued Spotlight Abstractions.” <i>FM 2009: Formal Methods</i>, Springer Berlin Heidelberg, 2009, pp. 106–22, doi:<a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">10.1007/978-3-642-05089-3_8</a>.","ama":"Schrieb J, Wehrheim H, Wonisch D. Three-Valued Spotlight Abstractions. In: <i>FM 2009: Formal Methods</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:106-122. doi:<a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">10.1007/978-3-642-05089-3_8</a>","bibtex":"@inbook{Schrieb_Wehrheim_Wonisch_2009, place={Berlin, Heidelberg}, title={Three-Valued Spotlight Abstractions}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">10.1007/978-3-642-05089-3_8</a>}, booktitle={FM 2009: Formal Methods}, publisher={Springer Berlin Heidelberg}, author={Schrieb, Jonas and Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={106–122} }"},"publication":"FM 2009: Formal Methods"},{"department":[{"_id":"558"}],"type":"conference","date_created":"2018-06-07T09:30:18Z","extern":"1","citation":{"short":"T. Jager, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, 2009, pp. 399--416.","chicago":"Jager, Tibor, and Jörg Schwenk. “On the Analysis of Cryptographic Assumptions in the Generic Ring Model.” In <i>Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings</i>, 399--416, 2009. <a href=\"https://doi.org/10.1007/978-3-642-10366-7_24\">https://doi.org/10.1007/978-3-642-10366-7_24</a>.","ieee":"T. Jager and J. Schwenk, “On the Analysis of Cryptographic Assumptions in the Generic Ring Model,” in <i>Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings</i>, 2009, pp. 399--416.","apa":"Jager, T., &#38; Schwenk, J. (2009). On the Analysis of Cryptographic Assumptions in the Generic Ring Model. In <i>Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings</i> (pp. 399--416). <a href=\"https://doi.org/10.1007/978-3-642-10366-7_24\">https://doi.org/10.1007/978-3-642-10366-7_24</a>","bibtex":"@inproceedings{Jager_Schwenk_2009, title={On the Analysis of Cryptographic Assumptions in the Generic Ring Model}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-10366-7_24\">10.1007/978-3-642-10366-7_24</a>}, booktitle={Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings}, author={Jager, Tibor and Schwenk, Jörg}, year={2009}, pages={399--416} }","ama":"Jager T, Schwenk J. On the Analysis of Cryptographic Assumptions in the Generic Ring Model. In: <i>Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings</i>. ; 2009:399--416. doi:<a href=\"https://doi.org/10.1007/978-3-642-10366-7_24\">10.1007/978-3-642-10366-7_24</a>","mla":"Jager, Tibor, and Jörg Schwenk. “On the Analysis of Cryptographic Assumptions in the Generic Ring Model.” <i>Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings</i>, 2009, pp. 399--416, doi:<a href=\"https://doi.org/10.1007/978-3-642-10366-7_24\">10.1007/978-3-642-10366-7_24</a>."},"publication":"Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings","doi":"10.1007/978-3-642-10366-7_24","user_id":"38235","_id":"3142","page":"399--416","date_updated":"2022-01-06T06:58:58Z","author":[{"id":"64669","full_name":"Jager, Tibor","last_name":"Jager","first_name":"Tibor"},{"first_name":"Jörg","last_name":"Schwenk","full_name":"Schwenk, Jörg"}],"status":"public","year":"2009","title":"On the Analysis of Cryptographic Assumptions in the Generic Ring Model"},{"citation":{"bibtex":"@book{Meyer_2009, title={Musterbasiertes Re-Engineering von Softwaresystemen}, publisher={Universitaetsbibliothek Paderborn}, author={Meyer, Matthias}, year={2009} }","ama":"Meyer M. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn; 2009.","mla":"Meyer, Matthias. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn, 2009.","short":"M. Meyer, Musterbasiertes Re-Engineering von Softwaresystemen, Universitaetsbibliothek Paderborn, 2009.","chicago":"Meyer, Matthias. <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn, 2009.","ieee":"M. Meyer, <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn, 2009.","apa":"Meyer, M. (2009). <i>Musterbasiertes Re-Engineering von Softwaresystemen</i>. Universitaetsbibliothek Paderborn."},"date_created":"2021-01-13T10:02:36Z","department":[{"_id":"76"}],"type":"dissertation","author":[{"full_name":"Meyer, Matthias","first_name":"Matthias","last_name":"Meyer"}],"year":"2009","title":"Musterbasiertes Re-Engineering von Softwaresystemen","status":"public","date_updated":"2022-01-06T06:54:41Z","_id":"20937","language":[{"iso":"eng"}],"publisher":"Universitaetsbibliothek Paderborn","main_file_link":[{"url":"http://ubdok.uni-paderborn.de/servlets/DocumentServlet?id=11678"}],"user_id":"5786"},{"_id":"17453","language":[{"iso":"eng"}],"user_id":"15415","volume":"04","year":"2009","status":"public","title":"Self-Organisation and Self-Optimization","author":[{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"last_name":"Rammig","first_name":"Franz-Josef","full_name":"Rammig, Franz-Josef"}],"date_updated":"2022-01-06T06:53:12Z","intvolume":"         4","date_created":"2020-07-29T13:51:54Z","type":"journal_article","department":[{"_id":"63"}],"publication":"Public Service Review: Science and Technology","citation":{"ama":"Meyer auf der Heide F, Rammig F-J. Self-Organisation and Self-Optimization. <i>Public Service Review: Science and Technology</i>. 2009;04.","bibtex":"@article{Meyer auf der Heide_Rammig_2009, title={Self-Organisation and Self-Optimization}, volume={04}, journal={Public Service Review: Science and Technology}, author={Meyer auf der Heide, Friedhelm and Rammig, Franz-Josef}, year={2009} }","mla":"Meyer auf der Heide, Friedhelm, and Franz-Josef Rammig. “Self-Organisation and Self-Optimization.” <i>Public Service Review: Science and Technology</i>, vol. 04, 2009.","chicago":"Meyer auf der Heide, Friedhelm, and Franz-Josef Rammig. “Self-Organisation and Self-Optimization.” <i>Public Service Review: Science and Technology</i> 04 (2009).","short":"F. Meyer auf der Heide, F.-J. Rammig, Public Service Review: Science and Technology 04 (2009).","apa":"Meyer auf der Heide, F., &#38; Rammig, F.-J. (2009). Self-Organisation and Self-Optimization. <i>Public Service Review: Science and Technology</i>, <i>04</i>.","ieee":"F. Meyer auf der Heide and F.-J. Rammig, “Self-Organisation and Self-Optimization,” <i>Public Service Review: Science and Technology</i>, vol. 04, 2009."}}]