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.
7562 Publications
2010 | Book | LibreCat-ID: 20182
Hamann, Heiko. Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming. Berlin, Germany: Springer, 2010. https://doi.org/10.1007/978-3-642-13377-0.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20226
Hamann, Heiko, Bernd Meyer, Thomas Schmickl, and Karl Crailsheim. “A Model of Symmetry Breaking in Collective Decision-Making.” In From Animals to Animats 11, 6226:639–48. Springer, 2010. https://doi.org/10.1007/978-3-642-15193-4_60.
LibreCat
| DOI
2010 | Book | LibreCat-ID: 28105
Eickelmann, Birgit. Digitale Medien in Schule und Unterricht erfolgreich implementieren. Eine empirische Analyse aus Sicht der Schulentwicklungsforschung. Vol. 19. Empirische Erziehungswissenschaft. Münster: Waxmann, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 26899
Cheng, Guo, Lars Libuda, Nadina Karaolis-Danckert, Ute Alexy, Katja Bolzenius, Thomas Remer, and Anette Buyken. “Trends in Dietary Carbohydrate Quality during Puberty from 1988 to 2007: A Cause for Concern?” British Journal of Nutrition, 2010, 1375–83. https://doi.org/10.1017/s0007114510002278.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3195
Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach to Control in Event-B.” In Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_19.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike 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, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-12002-2_22.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3468
Becker, Jörg, Daniel Beverungen, Martin Matzner, and Oliver Müller. “Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services.” In Exploring Service Sciences, edited by Jean-Henry Morin, Jolita Ralyté, and Mehdi Snene, 282--288. Lecture Notes in Business Information Processing (LNBIP). Berlin, 2010. https://doi.org/10.1007/978-3-642-14319-9_25.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 2988
Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.” In SWAT 2010, 212–23. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-13731-0_21.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3055
Gries, Thomas, and Wim Naudé. “Entrepreneurship and Structural Economic Transformation.” Small Business Economics 34, no. 1 (2010): 13–29. https://doi.org/10.1007/s11187-009-9192-8.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg 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, 232--249, 2010. https://doi.org/10.1007/978-3-642-17373-8_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager, Tibor, and Andy 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, 539--556, 2010. https://doi.org/10.1007/978-3-642-17373-8_31.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, Kristiyan, Tibor Jager, Eike Kiltz, and Victor 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, 1--18, 2010. https://doi.org/10.1007/978-3-642-13013-7_1.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” In Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch{\"{a}}fer, Andy Sch{\"{u}}rr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-17322-6_23.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm, Nils, and Heike 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, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16901-4_35.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike 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, edited by Dominique M{\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27078
Libuda, Lars, Stefan A. Wudy, Eckhard Schoenau, and Thomas 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, 2010, 428–35. https://doi.org/10.1017/s0007114510003508.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27780
Buyken, Anette, P. Mitchell, A. Ceriello, and J. Brand-Miller. “Optimal Dietary Approaches for Prevention of Type 2 Diabetes: A Life-Course Perspective.” Diabetologia, 2010, 406–18. https://doi.org/10.1007/s00125-009-1629-8.
LibreCat
| DOI
2010 | Misc | LibreCat-ID: 27939
Gausemeier, Jürgen, and M. Grafe. 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. Vol. 274. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20934
Detten, Markus von, Matthias Meyer, and Dietrich Travkin. “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, 2:299–300. New York, NY, USA: ACM Press, 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, Hella, Florian Nafz, Jörg Holtmann, Jan Meyer, Matthias Tichy, Wolfgang Reif, and Wilhelm Schäfer. “Designing Self-Healing in Automotive Systems.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 2010. https://doi.org/10.1007/978-3-642-16576-4_4.
LibreCat
| DOI