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.

5685 Publications


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
 

2010 | Conference Paper | LibreCat-ID: 19033
Pricing Randomized Allocations
P. Briest, S. Chawla, R. Kleinberg, S.M. Weinberg, in: Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 1904
Foreword
C. Gavoille, B. Patt-Shamir, C. Scheideler, Theory of Computing Systems (2010) 809--810.
LibreCat | DOI
 

2010 | Dissertation | LibreCat-ID: 19041
Peer-to-peer networks based on random graphs
P. Mahlmann, Peer-to-Peer Networks Based on Random Graphs, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Dissertation | LibreCat-ID: 19042
Local, distributed approximation algorithms for geometric assignment problems
B. Degener, Local, Distributed Approximation Algorithms for Geometric Assignment Problems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat | Files available
 

2010 | Conference Paper | LibreCat-ID: 1905
Time Complexity of Distributed Topological Self-stabilization: The Case of Graph Linearization
D. Gall, R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, in: LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings, Springer, 2010, pp. 294--305.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1906
Brief announcement: towards robust medium access in multi-hop networks
A.W. Richa, J. Zhang, C. Scheideler, S. Schmid, in: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, ACM, 2010, pp. 114--115.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1907
A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 179--193.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1908
Brief Announcement: Stabilizing Consensus with the Power of Two Choices
B. Doerr, L. Ann Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, Springer, 2010, pp. 528--530.
LibreCat | DOI
 

2010 | Conference (Editor) | LibreCat-ID: 1909
Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
C. Scheideler, ed., Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers, 2010.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 1915
Selected properties of a joint congestion controller for TCP connections
M. Savorić, H. Karl, A. Wolisz, in: Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress - ITC-18, Elsevier, 2010, pp. 861–870.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1916
ANALYSING CAPACITY IMPROVEMENTS IN WIRELESS NETWORKS BY RELAYING
H. Karl, S. MENGESHA, in: Wireless LANs and Home Networks, WORLD SCIENTIFIC, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1810
Flexible Resource Management for Self-X Systems: An Evaluation
S. Oberthür, L. Zaremba, H.S. Lichte, in: 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, IEEE, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 1811
Secure Naming for a Network of Information
C. Dannewitz, J. Golic, B. Ohlman, B. Ahlgren, in: 2010 INFOCOM IEEE Conference on Computer Communications Workshops, IEEE, 2010.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 18136
Asynchronous Parallel Reliefboard Computation for Scene Object Approximation
M. Fischer, C. Jähn, T. Suess, in: Eurographics Symposium on Parallel Graphics and Visualization (EGPGV), The Eurographics Association, 2010, pp. 43–51.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 18289
Evaluation of a c-Load-Collision-Protocol for Load-Balancing in Interactive Environments
T. Suess, T. Wiesemann, M. Fischer, in: 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage, 2010, pp. 448–456.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 18290
Gewichtetes c-Collision-Protokoll zur Balancierung eines parallelen Out-of-Core-Renderingsystems
T. Suess, T. Wiesemann, M. Fischer, in: Augmented & Virtual Reality in Der Produktentstehung, 2010, pp. 39–52.
LibreCat
 

2010 | Journal Article | LibreCat-ID: 1831
Cooperative feedback to improve capacity and error rate in multiuser diversity systems - an OFDM case study
S. Valentin, H. Karl, European Transactions on Telecommunications 21 (2010) 714–724.
LibreCat | DOI
 

2010 | Book Chapter | LibreCat-ID: 22940
Integrative Konzipierung von MID-Produkt und MID-Produktionssystem
J. Gausemeier, R. Dumitrescu, T. Gaukstern, in: J. Gausemeier (Ed.), Frühzeitige Zuverlässigkeitsanalyse mechatronischer Systeme, Carl Hanser Verlag, München, 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 21771
Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary Collaboration
G. Domik, G. Fischer, in: N. Reynolds, M. Turcsànyi-Szabò (Eds.), Key Competencies in the Knowledge Society, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 90–101.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed