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.
7302 Publications
2010 | Conference Paper | LibreCat-ID: 20226
Hamann, H., Meyer, B., Schmickl, T., & Crailsheim, K. (2010). A Model of Symmetry Breaking in Collective Decision-Making. In From Animals to Animats 11 (Vol. 6226, pp. 639–648). Springer. https://doi.org/10.1007/978-3-642-15193-4_60
LibreCat
| DOI
2010 | Book | LibreCat-ID: 28105
Eickelmann, B. (2010). Digitale Medien in Schule und Unterricht erfolgreich implementieren. Eine empirische Analyse aus Sicht der Schulentwicklungsforschung (Vol. 19). Waxmann.
LibreCat
2010 | Journal Article | LibreCat-ID: 26899
Cheng, G., Libuda, L., Karaolis-Danckert, N., Alexy, U., Bolzenius, K., Remer, T., & Buyken, A. (2010). Trends in dietary carbohydrate quality during puberty from 1988 to 2007: a cause for concern? British Journal of Nutrition, 1375–1383. https://doi.org/10.1017/s0007114510002278
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3195
Schneider, S., Treharne, H., & Wehrheim, H. (2010). A {CSP} Approach to Control in Event-B. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 260--274). https://doi.org/10.1007/978-3-642-16265-7_19
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, K., Kupriyanov, A., Finkbeiner, B., & Wehrheim, H. (2010). {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. 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 (pp. 271--274). https://doi.org/10.1007/978-3-642-12002-2_22
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3468
Becker, J., Beverungen, D., Matzner, M., & Müller, O. (2010). Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services. In J.-H. Morin, J. Ralyté, & M. Snene (Eds.), Exploring Service Sciences (pp. 282--288). Berlin. https://doi.org/10.1007/978-3-642-14319-9_25
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3503
Backhaus, K., Becker, J., Beverungen, D., Frohs, M., Müller, O., Weddeling, M., … Steiner, M. (2010). Enabling Individualized Recommendations and Dynamic Pricing of Value-Added Services through Willingness-to-Pay Data. Electronic Markets, (2), 131--146. https://doi.org/10.1007/s12525-010-0032-0
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 2988
Ackermann, M. R., & Blömer, J. (2010). Bregman Clustering for Separable Instances. In SWAT 2010 (pp. 212–223). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/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. (2010). 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 (pp. 232--249). https://doi.org/10.1007/978-3-642-17373-8_14
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager, T., & Rupp, A. (2010). 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 (pp. 539--556). https://doi.org/10.1007/978-3-642-17373-8_31
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, K., Jager, T., Kiltz, E., & Shoup, V. (2010). 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 (pp. 1--18). https://doi.org/10.1007/978-3-642-13013-7_1
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, W., & Wehrheim, H. (2010). Model-Driven Development with Mechatronic {UML}. 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 (pp. 533--554). https://doi.org/10.1007/978-3-642-17322-6_23
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm, N., & Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. 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 (pp. 534--548). https://doi.org/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. (2010). Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In D. M{\’{e}}ry & S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183--198). https://doi.org/10.1007/978-3-642-16265-7_14
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27078
Libuda, L., Wudy, S. A., Schoenau, E., & Remer, T. (2010). Comparison of the effects of dietary protein, androstenediol and forearm muscle area on radial bone variables in healthy prepubertal children. British Journal of Nutrition, 428–435. https://doi.org/10.1017/s0007114510003508
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 27590
Remer, T., & Libuda, L. (2010). Bone-anabolic impact of dietary high protein intake compared with effects of low potential renal acid load, endogenous steroid hormones, and muscularity in children. . In Nutritional Influences on Bone Health. . Springer.
LibreCat
2010 | Misc | LibreCat-ID: 27939
Gausemeier, J., & Grafe, M. (2010). 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung (Vol. 274). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, H., Nafz, F., Holtmann, J., Meyer, J., Tichy, M., Reif, W., & Schäfer, W. (2010). Designing Self-healing in Automotive Systems. In Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-16576-4_4
LibreCat
| DOI
2010 | Dissertation | LibreCat-ID: 18910
Bienkowski, M. (2010). Page migration in dynamic networks (Vol. 282). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 18927
Dynia, M. (2010). Collective graph exploration (Vol. 284). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available