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.
7937 Publications
2010 | Conference Paper | LibreCat-ID: 3196
Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, 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. Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3467
Becker J, Beverungen D, Matzner M, Müller O. Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services. In: Kommers P, Isaías P, eds. Proceedings of the IADIS Internatioal Conference E-Society 2010. Porto, Portugal; 2010:322--329.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3468
Becker J, Beverungen D, Matzner M, Müller O. Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services. In: Morin J-H, Ralyté J, Snene M, eds. Exploring Service Sciences. Lecture Notes in Business Information Processing (LNBIP). Berlin; 2010:282--288. doi:10.1007/978-3-642-14319-9_25
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 2988
Ackermann MR, Blömer J. Bregman Clustering for Separable Instances. In: SWAT 2010. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2010:212-223. doi:10.1007/978-3-642-13731-0_21
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 | 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 | Journal Article | LibreCat-ID: 27078
Libuda L, Wudy SA, Schoenau E, Remer T. Comparison of the effects of dietary protein, androstenediol and forearm muscle area on radial bone variables in healthy prepubertal children. British Journal of Nutrition. Published online 2010:428-435. doi:10.1017/s0007114510003508
LibreCat
| DOI
2010 | Misc | LibreCat-ID: 27939
Gausemeier J, Grafe M. 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. Vol 274. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2010.
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 | 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 | Book Chapter | LibreCat-ID: 19027
Seng E-M. Rekonstruktionen von Kontinuität zwischen 1600 und 1800: Überbrückung der durch Politik, Religion und Krieg verursachten Zäsuren. In: Nerdinger W, ed. Geschichte der Rekonstruktion. Konstruktion der Geschichte. Publikation und Ausstellungskatalog, Pinakothek der Moderne. München; 2010:78-95 und 224-232.
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: 19032
Seng E-M. Stadtbaukunst. Enzyklopädie der Neuzeit, Stuttgart. 2010.
LibreCat
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