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.
9901 Publications
2010 | Journal Article | LibreCat-ID: 53911
Beineke S, Bähr A, Böcker J. Theoretisch und praktisch erreichbare Regelgüte von Servoantrieben - Teil 3: Einflussgrößen für die erzielbare Bandbreite. antriebstechnik. 2010;(6).
LibreCat
| Download (ext.)
2009 | Dissertation | LibreCat-ID: 19605
Lürwer-Brüggemeier K. Mächtigkeit Und Komplexität von Berechnungen Mit Der Ganzzahligen Division. Vol 261. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2009.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19614
Mense M. On Fault-Tolerant Data Placement in Storage Networks. Vol 260. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2009.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19617
Kortenjan M. Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes. Vol 258. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2009.
LibreCat
| Files available
2009 | Dissertation | LibreCat-ID: 19618
Bonorden O. Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip. Vol 257. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2009.
LibreCat
| Files available
2009 | Report | LibreCat-ID: 19722
Bonorden O, Degener B, Pietrzyk P, Kempkes B. Complexity and Approximation of a Geometric Local Robot Assignment Problem.; 2009.
LibreCat
| Files available
2009 | Book Chapter | LibreCat-ID: 19724
Bonorden O, Degener B, Kempkes B, Pietrzyk P. Complexity and Approximation of a Geometric Local Robot Assignment Problem. In: Algorithmic Aspects of Wireless Sensor Networks. Berlin, Heidelberg: Springer; 2009:252-262. doi:10.1007/978-3-642-05434-1_25
LibreCat
| DOI
2009 | Report | LibreCat-ID: 19825
Schindelhauer C, Mahlmann P, Janson T. 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. Paderborn, Germany; 2009.
LibreCat
| Files available
2009 | Journal Article | LibreCat-ID: 19830
Ooi CC, Schindelhauer C. Minimal Energy Path Planning for Wireless Robots. Mobile Networks and Applications (MONET). 2009:309-321. doi:10.1007/s11036-008-0150-5
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 19831
Ooi CC, Schindelhauer C. Utilizing detours for energy conservation in mobile wireless networks. Telecommunication Systems. 2009;43:25-37. doi:10.1007/s11235-009-9188-3
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19901
Raptopoulos CL, Nikoletseas SE, Spirakis PG. Colouring Non-sparse Random Intersection Graphs. In: 34st International Symposium on Mathematical Foundations of Computer Science. ; 2009:600--611. doi:10.1007/978-1-4939-2864-4_597
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19904
Nikoletseas SE, Raptopoulos CL, Spirakis PG. Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions. In: Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium. ; 2009:1--11. doi:10.1109/IPDPS.2009.5161002
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 19934
Deveci D, Kortenjan M, Schomaker G. Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions. In: Parallel and Distributed Computing and Systems, Nr. 21. ; 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 20254
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: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems. ; 2009. doi:10.1109/iros.2009.5354056
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 20255
Schmickl T, Hamann H, Wörn H, Crailsheim K. Two different approaches to a macroscopic model of a bio-inspired robotic swarm. Robotics and Autonomous Systems. 2009;6(9):913-921. doi:10.1016/j.robot.2009.06.002
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 20259
Hamann H, Troch I, Breitenecker F. Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System. In: MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling. ; 2009.
LibreCat
2009 | Journal Article | LibreCat-ID: 3199
Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. Electr Notes Theor Comput Sci. 2009;(2):135--151. doi:10.1016/j.entcs.2009.08.022
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 3200
Ruhroth T, Wehrheim H. Static Class Elements for Object-Z. Electr Notes Theor Comput Sci. 2009:193--205. doi:10.1016/j.entcs.2009.12.025
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth T, Voigt H, Wehrheim H. Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models. In: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings. ; 2009:360--367. doi:10.1109/SEAA.2009.39
LibreCat
| DOI
2009 | Conference (Editor) | LibreCat-ID: 3202
Leuschel M, Wehrheim H, eds. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings.; 2009. doi:10.1007/978-3-642-00255-7
LibreCat
| DOI