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