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.
7916 Publications
2011 | Journal Article | LibreCat-ID: 54129
Meyer-Hamme J. „Ja also, das war ne gute Stunde“. Qualitätsmerkmale von Geschichtsunterricht aus Schülerperspektiven. Geschichte in Wissenschaft und Unterricht 62 (2011) 5/6. Published online 2011:284-297.
LibreCat
2011 | Book Review | LibreCat-ID: 18683 | 
Peckhaus V. Logik in der Philosophie, hg. v. Wolfgang Spohn/Peter Schroeder-Heister/Erik J. Olsson, Synchron: Heidelberg 2005 (Philosophische Impulse; 6). zbMATH Open, Zbl 120503017. Published online 2011.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 34949
Süßmann J. Leben schreiben als Fürstbischof. Die Autobiographie Ferdinands von Fürstenberg. In: Menne M, Ströhmer M, eds. Total regional. Studien zur frühneuzeitlichen Sozial- und Wirtschaftsgeschichte. Festschrift für Frank Göttmann zum 65. Geburtstag. Schnell & Steiner; 2011:169–187.
LibreCat
2010 | Conference Paper | LibreCat-ID: 19678
Briest P, Röglin H. The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers. In: Workshop on Approximation and Online Algorithms (WAOA). Vol 6534. Lecture Notes in Computer Science. Springer; 2010. doi:10.1007/978-3-642-18318-8_5
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19796
Mense M, Schindelhauer C. Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks. In: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Vol 5873. Lecture Notes in Computer Science. ; 2010:624--639. doi:10.1007/978-3-642-05118-0_43
LibreCat
| DOI
2010 | Book | LibreCat-ID: 20182
Hamann H. Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming. Berlin, Germany: Springer; 2010. doi:10.1007/978-3-642-13377-0
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20226
Hamann H, Meyer B, Schmickl T, Crailsheim K. A Model of Symmetry Breaking in Collective Decision-Making. In: From Animals to Animats 11. Vol 6226. Springer; 2010:639-648. doi:10.1007/978-3-642-15193-4_60
LibreCat
| DOI
2010 | Book | LibreCat-ID: 28105
Eickelmann B. Digitale Medien in Schule und Unterricht erfolgreich implementieren. Eine empirische Analyse aus Sicht der Schulentwicklungsforschung. Vol 19. Waxmann; 2010.
LibreCat
2010 | Book | LibreCat-ID: 26182
Gausemeier J. 6. Symposium für Vorausschau und Technologieplanung. Vol 276. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 26899
Cheng G, Libuda L, Karaolis-Danckert N, et al. Trends in dietary carbohydrate quality during puberty from 1988 to 2007: a cause for concern? British Journal of Nutrition. Published online 2010:1375-1383. doi:10.1017/s0007114510002278
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3195
Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B. 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:260--274. doi: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. {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