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.
9807 Publications
2010 | Journal Article | LibreCat-ID: 2510
Haake, C.-J., & Klaus, B. (2010). Stability and Nash implementation in matching markets with couples. Theory and Decision, 69(4), 537–554. https://doi.org/10.1007/s11238-008-9122-2
LibreCat
| Files available
| DOI
2010 | Book Chapter | LibreCat-ID: 19628
Büker, P., & Vorst, C. (2010). Kompetenzen und Unterrichtsziele im Lese- und Literaturunterricht der Grundschule. In M. Kämper-van den Boogaart & K. H. Spinner (Eds.), Lese- und Literaturunterricht (Deutschunterricht in Theorie und Praxis, Bd. 11/2) (Vol. 11/2, pp. 21–48). Baltmannsweiler: Schneider Verlag.
LibreCat
2010 | Conference Paper | LibreCat-ID: 19678
Briest, P., & Röglin, H. (2010). The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers. In Workshop on Approximation and Online Algorithms (WAOA) (Vol. 6534). Springer. https://doi.org/10.1007/978-3-642-18318-8_5
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19796
Mense, M., & Schindelhauer, C. (2010). 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, pp. 624--639). https://doi.org/10.1007/978-3-642-05118-0_43
LibreCat
| DOI
2010 | Book | LibreCat-ID: 20182
Hamann, H. (2010). Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming. Berlin, Germany: Springer. https://doi.org/10.1007/978-3-642-13377-0
LibreCat
| DOI
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: 26134
Körmer, R., Schmid, H.-J., & Peukert, W. (2010). Aerosol synthesis of silicon nanoparticles with narrow size distribution—Part 2: Theoretical analysis of the formation mechanism. Journal of Aerosol Science, 41(11), 1008–1019. https://doi.org/10.1016/j.jaerosci.2010.08.002
LibreCat
| DOI
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 | 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