Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5792 Publications
2010 | Conference Paper | LibreCat-ID: 46410
@inproceedings{Wagner_Trautmann_2010, title={Online convergence detection for evolutionary multi-objective algorithms revisited}, DOI={10.1109/CEC.2010.5586474}, booktitle={IEEE Congress on Evolutionary Computation}, author={Wagner, Tobias and Trautmann, Heike}, year={2010}, pages={1–8} }
LibreCat
| DOI
2009 | Dissertation | LibreCat-ID: 19605
@book{Lürwer-Brüggemeier_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Mächtigkeit und Komplexität von Berechnungen mit der ganzzahligen Division}, volume={261}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Lürwer-Brüggemeier, Katharina}, year={2009}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19614
@book{Mense_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={On Fault-Tolerant Data Placement in Storage Networks}, volume={260}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Mense, Mario}, year={2009}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19617
@book{Kortenjan_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes}, volume={258}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Kortenjan, Michael}, year={2009}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19618
@book{Bonorden_2009, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip}, volume={257}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Bonorden, Olaf}, year={2009}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2009 | Report | LibreCat-ID: 19722
@book{Bonorden_Degener_Pietrzyk_Kempkes_2009, title={Complexity and approximation of a geometric local robot assignment problem}, author={Bonorden, Olaf and Degener, Bastian and Pietrzyk, Peter and Kempkes, Barbara}, year={2009} }
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 19724
@inbook{Bonorden_Degener_Kempkes_Pietrzyk_2009, place={Berlin, Heidelberg}, title={Complexity and Approximation of a Geometric Local Robot Assignment Problem}, DOI={10.1007/978-3-642-05434-1_25}, booktitle={Algorithmic Aspects of Wireless Sensor Networks}, publisher={Springer}, author={Bonorden, Olaf and Degener, Bastian and Kempkes, Barbara and Pietrzyk, Peter}, year={2009}, pages={252–262} }
LibreCat
| DOI
2009 | Report | LibreCat-ID: 19825
@book{Schindelhauer_Mahlmann_Janson_2009, title={3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs}, publisher={Paderborn, Germany}, author={Schindelhauer, Christian and Mahlmann, Peter and Janson, Thomas}, year={2009} }
LibreCat
| Files available
2009 | Journal Article | LibreCat-ID: 19830
@article{Ooi_Schindelhauer_2009, title={Minimal Energy Path Planning for Wireless Robots}, DOI={10.1007/s11036-008-0150-5}, journal={Mobile Networks and Applications (MONET)}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2009}, pages={309–321} }
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 19831
@article{Ooi_Schindelhauer_2009, title={Utilizing detours for energy conservation in mobile wireless networks}, volume={43}, DOI={10.1007/s11235-009-9188-3}, journal={Telecommunication Systems}, author={Ooi, Chia Ching and Schindelhauer, Christian}, year={2009}, pages={25–37} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19901
@inproceedings{Raptopoulos_Nikoletseas_Spirakis_2009, title={Colouring Non-sparse Random Intersection Graphs}, DOI={10.1007/978-1-4939-2864-4_597}, 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} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19904
@inproceedings{Nikoletseas_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
| DOI
2009 | Conference Paper | LibreCat-ID: 19934
@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} }
LibreCat
2009 | Conference Paper | LibreCat-ID: 20254
@inproceedings{Stradner_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
| DOI
2009 | Journal Article | LibreCat-ID: 20255
@article{Schmickl_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
| DOI
2009 | Conference Paper | LibreCat-ID: 20259
@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} }
LibreCat
2009 | Journal Article | LibreCat-ID: 3199
@article{Wehrheim_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
| DOI
2009 | Journal Article | LibreCat-ID: 3200
@article{Ruhroth_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
| DOI
2009 | Conference Paper | LibreCat-ID: 3201
@inproceedings{Ruhroth_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
| DOI
2009 | Conference (Editor) | LibreCat-ID: 3202
@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={10.1007/978-3-642-00255-7}, year={2009}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI