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.
5687 Publications
2010 | Journal Article | LibreCat-ID: 2990
Ackermann MR, Blömer J, Sohler C. Clustering for Metric and Nonmetric Distance Measures. ACM Trans Algorithms. 2010;(4):59:1--59:26. doi:10.1145/1824777.1824779
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 2991
Krueger A, Leutnant V, Haeb-Umbach R, Ackermann M, Blömer J. On the initialization of dynamic models for speech features. Proc of ITG Fachtagung Sprachkommunikation ITG, Bochum, Germany. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2993
Schrieb J. Efficient and Compact CCA Security from Partitioned IBKEM. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
Schäfer W, Trächtler A, Birattari M, et al. Engineering self-coordinating software intensive systems. In: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10. ACM Press; 2010. doi:10.1145/1882362.1882428
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
Jager T, Kohlar F, Schäge S, Schwenk J. Generic Compilers for Authenticated Key Exchange. 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:232--249. doi:10.1007/978-3-642-17373-8_14
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager T, Rupp A. The Semi-Generic Group Model and Applications to Pairing-Based Cryptography. 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:539--556. doi:10.1007/978-3-642-17373-8_31
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev K, Jager T, Kiltz E, Shoup V. Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model. 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:1--18. doi:10.1007/978-3-642-13013-7_1
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3189
Derrick J, Wehrheim H. Model transformations across views. Sci Comput Program. 2010;(3):192--210. doi:10.1016/j.scico.2009.11.004
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer W, Wehrheim H. Model-Driven Development with Mechatronic {UML}. In: Engels G, Lewerentz C, Sch{\"{a}}fer W, Sch{\"{u}}rr A, Westfechtel B, eds. Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday. Lecture Notes in Computer Science. ; 2010:533--554. doi:10.1007/978-3-642-17322-6_23
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised Systems. In: Song Dong J, Zhu H, eds. Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:534--548. doi:10.1007/978-3-642-16901-4_35
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:183--198. doi:10.1007/978-3-642-16265-7_14
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 27159
Samara S, Schomaker G. Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip. In: 2010 10th IEEE International Conference on Computer and Information Technology. ; 2010. doi:10.1109/cit.2010.304
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20934
von Detten M, Meyer M, Travkin D. Reverse Engineering with the Reclipse Tool Suite. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010. Vol 2. ACM Press; 2010:299-300.
LibreCat
2010 | Report | LibreCat-ID: 20935
von Detten M, Meyer M, Travkin D. Reclipse - A Reverse Engineering Tool Suite.; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler R, Meyer M, Gottschalk M. Formal Scenario-based Requirements Specification and Test Case Generation in Healthcare Applications. In: Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care. ACM; 2010:57-67.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach H, Nafz F, Holtmann J, et al. Designing Self-healing in Automotive Systems. In: Lecture Notes in Computer Science. ; 2010. doi:10.1007/978-3-642-16576-4_4
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
Holtmann J. Mit Satzmustern von textuellen Anforderungen zu Modellen. OBJEKTspektrum. 2010;(RE/2010).
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer J, Holtmann J, Schäfer W, Nickel UA. Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In: Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium). Vol P-160. GI-Edition - Lecture Notes in Informatics (LNI). Bonner Koellen Verlag; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 17422
Fischer M, Renken H, Laroque C, Schaumann G, Dangelmaier W. Automated 3D-motion planning for ramps and stairs in intra-logistics material flow simulations. In: Proceedings of the 2010 Winter Simulation Conference. ; 2010. doi:10.1109/wsc.2010.5678906
LibreCat
| DOI
2010 | Report | LibreCat-ID: 17462
Gehweiler J, Meyer auf der Heide F, Schroeder U-P. A Large-Scale Distributed Environment for Peer-to-Peer Services. Paderborn: Heinz Nixdorf Institut; 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 17464
Blesa MJ, Blum C, de Caro A, et al. Adapting a Sensor Net to the Dynamic Environment in a Wildlife Scenario - a Case Study.; 2010.
LibreCat
| Files available
2010 | Preprint | LibreCat-ID: 17586
Brandes P, Degener B, Kempkes B, Meyer auf der Heide F. Building short chains of mobile robots locally with a bounded stepwidth. 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 17665
Bar-Yehuda R, Polevoy G, Rawitz D. Bandwidth allocation in cellular networks with multiple interferences. In: DIALM-PODC. ; 2010:33-42.
LibreCat
2010 | Book Chapter | LibreCat-ID: 18761
Hamann H, Schmickl T, Stradner J, Crailsheim K, Levi P, Kernbach S. Hormone-based Control for Multi-modular Robotics. In: Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution. Springer; 2010:240--263.
LibreCat
2010 | Dissertation | LibreCat-ID: 18910
Bienkowski M. Page Migration in Dynamic Networks. Vol 282. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 18927
Dynia M. Collective Graph Exploration. Vol 284. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2010.
LibreCat
| Files available
2010 | Journal Article | LibreCat-ID: 19011
Degener B, Gehweiler J, Lammersen C. Kinetic Facility Location. Algorithmica. 2010;57(3):562-584. doi:10.1007/s00453-008-9250-7
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19013
Gehweiler J, Meyerhenke H. A distributed diffusive heuristic for clustering a virtual P2P supercomputer. In: Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC). ; 2010. doi:10.1109/ipdpsw.2010.5470922
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19016
Gehweiler J, Meyerhenke H. On Dynamic Graph Partitioning and Graph Clustering using Diffusion. In: Dagstuhl Seminar Proceedings 10261: Algorithm Engineering. ; 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 19018
Thies M, Gehweiler J. Thread Migration and Checkpointing in Java.; 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 19023
Kernbach S, Schmickl T, Hamann H, et al. Adaptive Action Selection Mechanisms for Evolutionary Multimodular Robotics. In: Artificial Life XII (ALife XII). MIT Press; 2010:781-788.
LibreCat
2010 | Conference Paper | LibreCat-ID: 19029
Briest P, Chalermsook P, Khanna S, Laekhanukit B, Nanongkai D. Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing. In: Workshop on Internet and Network Economics (WINE). ; 2010. doi:10.1007/978-3-642-17572-5_37
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1903
Meyer auf der Heide F, Scheideler C. Algorithmische Grundlagen verteilter Speichersysteme. Informatik Spektrum. 2010;(5):468--474. doi:10.1007/s00287-010-0470-2
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19033
Briest P, Chawla S, Kleinberg R, Weinberg SM. Pricing Randomized Allocations. In: Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms. ; 2010. doi:10.1137/1.9781611973075.49
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1904
Gavoille C, Patt-Shamir B, Scheideler C. Foreword. Theory of Computing Systems. 2010;(4):809--810. doi:10.1007/s00224-010-9284-5
LibreCat
| DOI
2010 | Dissertation | LibreCat-ID: 19041
Mahlmann P. Peer-to-Peer Networks Based on Random Graphs. Vol 283. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 19042
Degener B. Local, Distributed Approximation Algorithms for Geometric Assignment Problems. Vol 278. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 1905
Gall D, Jacob R, W. Richa A, Scheideler C, Schmid S, Täubig H. Time Complexity of Distributed Topological Self-stabilization: The Case of Graph Linearization. In: LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings. Vol 6034. Lecture Notes in Computer Science. Springer; 2010:294--305. doi:10.1007/978-3-642-12200-2_27
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1906
Richa AW, Zhang J, Scheideler C, Schmid S. Brief announcement: towards robust medium access in multi-hop networks. In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010. ACM; 2010:114--115. doi:10.1145/1835698.1835726
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1907
Richa AW, Scheideler C, Schmid S, Zhang J. A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks. In: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings. Vol 6343. Lecture Notes in Computer Science. Springer; 2010:179--193. doi:10.1007/978-3-642-15763-9_17
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1908
Doerr B, Ann Goldberg L, Minder L, Sauerwald T, Scheideler C. Brief Announcement: Stabilizing Consensus with the Power of Two Choices. In: Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings. Vol 6343. Lecture Notes in Computer Science. Springer; 2010:528--530. doi:10.1007/978-3-642-15763-9_50
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 1909
Scheideler C, 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. doi:10.1007/978-3-642-16988-5
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 1915
Savorić M, Karl H, Wolisz A. Selected properties of a joint congestion controller for TCP connections. In: Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress - ITC-18. Elsevier; 2010:861-870. doi:10.1016/s1388-3437(03)80235-4
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1916
Karl H, MENGESHA S. ANALYSING CAPACITY IMPROVEMENTS IN WIRELESS NETWORKS BY RELAYING. In: Wireless LANs and Home Networks. WORLD SCIENTIFIC; 2010. doi:10.1142/9789812799562_0031
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1810
Oberthür S, Zaremba L, Lichte HS. Flexible Resource Management for Self-X Systems: An Evaluation. In: 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. IEEE; 2010. doi:10.1109/isorcw.2010.30
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1811
Dannewitz C, Golic J, Ohlman B, Ahlgren B. Secure Naming for a Network of Information. In: 2010 INFOCOM IEEE Conference on Computer Communications Workshops. IEEE; 2010. doi:10.1109/infcomw.2010.5466661
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18136
Fischer M, Jähn C, Suess T. Asynchronous Parallel Reliefboard Computation for Scene Object Approximation. In: Eurographics Symposium on Parallel Graphics and Visualization (EGPGV). The Eurographics Association; 2010:43-51. doi:10.2312/EGPGV/EGPGV10/043-051
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18289
Suess T, Wiesemann T, Fischer M. Evaluation of a c-Load-Collision-Protocol for Load-Balancing in Interactive Environments. In: 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage. ; 2010:448-456. doi:10.1109/nas.2010.52
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 18290
Suess T, Wiesemann T, Fischer M. Gewichtetes c-Collision-Protokoll zur Balancierung eines parallelen Out-of-Core-Renderingsystems. In: Augmented & Virtual Reality in Der Produktentstehung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. ; 2010:39-52.
LibreCat
2010 | Journal Article | LibreCat-ID: 1831
Valentin S, Karl H. Cooperative feedback to improve capacity and error rate in multiuser diversity systems - an OFDM case study. European Transactions on Telecommunications. 2010;21(8):714-724. doi:10.1002/ett.1454
LibreCat
| DOI