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
K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems,” in 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 | Conference Paper | LibreCat-ID: 3467
J. Becker, D. Beverungen, M. Matzner, and O. Müller, “Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services,” in Proceedings of the IADIS Internatioal Conference e-Society 2010, Porto, Portugal, 2010, pp. 322--329.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 3139
T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “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, pp. 232--249.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
T. Jager and A. Rupp, “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, pp. 539--556.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
K. Haralambiev, T. Jager, E. Kiltz, and V. Shoup, “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, pp. 1--18.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in 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
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques,” in Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27078
L. Libuda, S. A. Wudy, E. Schoenau, and T. Remer, “Comparison of the effects of dietary protein, androstenediol and forearm muscle area on radial bone variables in healthy prepubertal children,” British Journal of Nutrition, pp. 428–435, 2010, doi: 10.1017/s0007114510003508.
LibreCat
| DOI
2010 | Misc | LibreCat-ID: 27939
J. Gausemeier and M. Grafe, 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, vol. 274. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
2010 | Dissertation | LibreCat-ID: 18910
M. Bienkowski, Page migration in dynamic networks, vol. 282. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 18927
M. Dynia, Collective graph exploration, vol. 284. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Book Chapter | LibreCat-ID: 19027
E.-M. Seng, “Rekonstruktionen von Kontinuität zwischen 1600 und 1800: Überbrückung der durch Politik, Religion und Krieg verursachten Zäsuren,” in Geschichte der Rekonstruktion. Konstruktion der Geschichte. Publikation und Ausstellungskatalog, Pinakothek der Moderne, W. Nerdinger, Ed. München, 2010, pp. 78–95 und 224–232.
LibreCat
2010 | Journal Article | LibreCat-ID: 19032
E.-M. Seng, “Stadtbaukunst,” Enzyklopädie der Neuzeit, Stuttgart, 2010.
LibreCat
2010 | Dissertation | LibreCat-ID: 19041
P. Mahlmann, 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
B. Degener, Local, distributed approximation algorithms for geometric assignment problems, vol. 278. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available