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.

5714 Publications


2010 | Conference Paper | LibreCat-ID: 19711
A local, distributed constant-factor approximation algorithm for the dynamic facility location problem
B. Degener, P. Pietrzyk, B. Kempkes, in: International Parallel & Distributed Processing Symposium (IPDPS), 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19796
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19824
A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs
T. Janson, P. Mahlmann, C. Schindelhauer, in: Proceedings of the 16th International Conference on Parallel and Distributed Systems, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19829
Coverage-hole trap model in target tracking using distributed relay-robot network
H. Miao, C.C. Ooi, X. Wu, C. Schindelhauer, in: Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10, 2010, pp. 1299–1304.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19933
Distributed and dynamic resource management for self-optimizing mechatronic systems
G. Schomaker, S. Oberthur, M. Kortenjan, in: 8th IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.
LibreCat | DOI
 

2010 | Book | LibreCat-ID: 20182
Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20220
A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20222
Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller
T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20223
Artificial Hormone Reaction Networks: Towards Higher Evolvability in Evolutionary Multi-Modular Robotics
H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life XII (ALife XII), Odense, Denmark, MIT  Press, 2010, pp. 773–780.
LibreCat | arXiv
 

2010 | Conference Paper | LibreCat-ID: 20226
A Model of Symmetry Breaking in Collective Decision-Making
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20258
On Adaptive Self-Organization in Artificial Robot Organisms
S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim, A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis, M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 24282
Robust Undetectable Interference Watermarks
R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3195
A {CSP} Approach to Control in Event-B
S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3196
{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3198
Towards {A} Shape Analysis for Graph Transformation Systems
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 3810
Efficient Statement Identification for Automatic Market Forecasting
H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
LibreCat | Download (ext.)
 

2010 | Book Chapter | LibreCat-ID: 2988
Bregman Clustering for Separable Instances
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 2990
Clustering for Metric and Nonmetric Distance Measures
M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 2991
On the initialization of dynamic models for speech features
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2993 LibreCat
 

2010 | Conference Paper | LibreCat-ID: 2994
Engineering self-coordinating software intensive systems
W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3139
Generic Compilers for Authenticated Key Exchange
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 232--249.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3140
The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
T. Jager, A. Rupp, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3141
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model
K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 3189
Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3191
Model-Driven Development with Mechatronic {UML}
W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3193
On Symmetries and Spotlights - Verifying Parameterised Systems
N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3194
Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 27159
Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip
S. Samara, G. Schomaker, in: 2010 10th IEEE International Conference on Computer and Information Technology, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 20934
Reverse Engineering with the Reclipse Tool Suite
M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.
LibreCat
 

2010 | Report | LibreCat-ID: 20935
Reclipse - A Reverse Engineering Tool Suite
M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20936
Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications
R. Löffler, M. Meyer, M. Gottschalk, in: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, New York, NY, USA, 2010, pp. 57–67.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 20961
Designing Self-healing in Automotive Systems
H. Seebach, F. Nafz, J. Holtmann, J. Meyer, M. Tichy, W. Reif, W. Schäfer, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 20962
Mit Satzmustern von textuellen Anforderungen zu Modellen
J. Holtmann, OBJEKTspektrum (2010).
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 20963
Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie
J. Meyer, J. Holtmann, W. Schäfer, U.A. Nickel, in: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), Bonner Koellen Verlag, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 17422
Automated 3D-motion planning for ramps and stairs in intra-logistics material flow simulations
M. Fischer, H. Renken, C. Laroque, G. Schaumann, W. Dangelmaier, in: Proceedings of the 2010 Winter Simulation Conference, 2010.
LibreCat | DOI
 

2010 | Report | LibreCat-ID: 17462
A Large-Scale Distributed Environment for Peer-to-Peer Services
J. Gehweiler, F. Meyer auf der Heide, U.-P. Schroeder, A Large-Scale Distributed Environment for Peer-to-Peer Services, Heinz Nixdorf Institut, Paderborn, 2010.
LibreCat | Files available
 

2010 | Report | LibreCat-ID: 17464
Adapting a sensor net to the dynamic environment in a wildlife scenario - a case study
M.J. Blesa, C. Blum, A. de Caro, B. Degener, B. Kempkes, P. Leone, G. Persiano, F. Meyer auf der Heide, G. Mylonas, Adapting a Sensor Net to the Dynamic Environment in a Wildlife Scenario - a Case Study, 2010.
LibreCat | Files available
 

2010 | Preprint | LibreCat-ID: 17586
Building short chains of mobile robots locally with a bounded stepwidth
P. Brandes, B. Degener, B. Kempkes, F. Meyer auf der Heide, (2010).
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 17665
Bandwidth allocation in cellular networks with multiple interferences
R. Bar-Yehuda, G. Polevoy, D. Rawitz, in: DIALM-PODC, 2010, pp. 33–42.
LibreCat
 

2010 | Book Chapter | LibreCat-ID: 18761
Hormone-based Control for Multi-modular Robotics
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, P. Levi, S. Kernbach, in: Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution, Springer, 2010, pp. 240--263.
LibreCat
 

2010 | Dissertation | LibreCat-ID: 18910
Page migration in dynamic networks
M. Bienkowski, Page Migration in Dynamic Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Dissertation | LibreCat-ID: 18927
Collective graph exploration
M. Dynia, Collective Graph Exploration, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Journal Article | LibreCat-ID: 19011
Kinetic Facility Location
B. Degener, J. Gehweiler, C. Lammersen, Algorithmica 57 (2010) 562–584.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19013
A distributed diffusive heuristic for clustering a virtual P2P supercomputer
J. Gehweiler, H. Meyerhenke, in: Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC), 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 19016
On Dynamic Graph Partitioning and Graph Clustering using Diffusion
J. Gehweiler, H. Meyerhenke, in: Dagstuhl Seminar Proceedings 10261: Algorithm Engineering, 2010.
LibreCat | Files available
 

2010 | Report | LibreCat-ID: 19018
Thread Migration and Checkpointing in Java
M. Thies, J. Gehweiler, Thread Migration and Checkpointing in Java, 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 19023
Adaptive Action Selection Mechanisms for Evolutionary Multimodular Robotics
S. Kernbach, T. Schmickl, H. Hamann, J. Stradner, F. Schlachter, C. s. F. Schwarzer, A.F.T. Winfield, R. Matthias, in: Artificial Life XII (ALife XII), MIT Press, 2010, pp. 781–788.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 19029
Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing
P. Briest, P. Chalermsook, S. Khanna, B. Laekhanukit, D. Nanongkai, in: Workshop on Internet and Network Economics (WINE), 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 1903
Algorithmische Grundlagen verteilter Speichersysteme
F. Meyer auf der Heide, C. Scheideler, Informatik Spektrum (2010) 468--474.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed