@inproceedingsNikoletseas_Raptopoulos_Spirakis_2009, title=Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions, DOI=10.1109/IPDPS.2009.5161002, booktitle= Proceedings of IPDPS - IEEE International Parallel &; Distributed Processing Symposium, author=Nikoletseas, Sotiris E. and Raptopoulos, Christoforos L. and Spirakis, Paul G., year=2009, pages=1--11 
LibreCat: /record/19904
DOI: 10.1109/IPDPS.2009.5161002

@inproceedingsDeveci_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 
LibreCat: /record/19934

@inproceedingsStradner_Hamann_Schmickl_Crailsheim_2009, title=Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware, DOI=10.1109/iros.2009.5354056, 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 
LibreCat: /record/20254
DOI: 10.1109/iros.2009.5354056

@articleSchmickl_Hamann_Wörn_Crailsheim_2009, title=Two different approaches to a macroscopic model of a bio-inspired robotic swarm, volume=6, DOI=10.1016/j.robot.2009.06.002, 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 
LibreCat: /record/20255
DOI: 10.1016/j.robot.2009.06.002

@inproceedingsHamann_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 
LibreCat: /record/20259

@articleWehrheim_Wonisch_2009, title=Compositional CSP Traces Refinement Checking, DOI=10.1016/j.entcs.2009.08.022, number=2, journal=Electr. Notes Theor. Comput. Sci., author=Wehrheim, Heike and Wonisch, Daniel, year=2009, pages=135--151 
LibreCat: /record/3199
DOI: 10.1016/j.entcs.2009.08.022

@articleRuhroth_Wehrheim_2009, title=Static Class Elements for Object-Z, DOI=10.1016/j.entcs.2009.12.025, journal=Electr. Notes Theor. Comput. Sci., author=Ruhroth, Thomas and Wehrheim, Heike, year=2009, pages=193--205 
LibreCat: /record/3200
DOI: 10.1016/j.entcs.2009.12.025

@inproceedingsRuhroth_Voigt_Wehrheim_2009, title=Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models, DOI=10.1109/SEAA.2009.39, 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 
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

@bookLeuschel_Wehrheim_2009, series=Lecture Notes in Computer Science, title=Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings, DOI=10.1007/978-3-642-00255-7, year=2009, collection=Lecture Notes in Computer Science 
LibreCat: /record/3202
DOI: 10.1007/978-3-642-00255-7

@bookSchröer_2009, title=Hierarchisches Clustering mit minimalen Cluster-Durchmessern, author=Schröer, Carsten, year=2009 
LibreCat: /record/2880