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.
1416 Publications
2011 | Conference Paper | LibreCat-ID: 2985
Ackermann, M. R., Blömer, J., & Scholz, C. (2011). Hardness and Non-Approximability of Bregman Clustering Problems.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
Blömer, J. (2011). How to Share a Secret. In Algorithms Unplugged (pp. 159–168). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-15328-0_17
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3052
Gries, T., Gravemeyer, S., & Xue, J. (2011). Income Determination and Income Discrimination in Shenzhen. Urban Studies, 48(7), 1457–1475. https://doi.org/10.1177/0042098010375317
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3053
Gries, T., Kraft, M., & Meierrieks, D. (2011). Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean. Applied Economics, 43(30), 4729–4739. https://doi.org/10.1080/00036846.2010.498352
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3054
Gries, T., Krieger, T., & Meierrieks, D. (2011). Causal Linkages Between Domestic Terrorism and Economic Growth. Defence and Peace Economics, 22(5), 493–508. https://doi.org/10.1080/10242694.2010.532943
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3058
Gries, T., Kraft, M., & Piek, C. (2011). Interregional Migration, Self-selection and the Returns to Education in Brazil. The Annals of Regional Science, 46(3), 707–732. https://doi.org/10.1007/s00168-009-0344-1
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3137
Hofheinz, D., Jager, T., & Kiltz, E. (2011). Short Signatures from Weaker Assumptions. In Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings (pp. 647--666). https://doi.org/10.1007/978-3-642-25385-0_35
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
Jager, T., & Somorovsky, J. (2011). How to break XML encryption. In Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011 (pp. 413--422). https://doi.org/10.1145/2046707.2046756
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider, S., Treharne, H., & Wehrheim, H. (2011). Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study. Electr. Notes Theor. Comput. Sci., 69--80. https://doi.org/10.1016/j.entcs.2011.11.019
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Mechanically verified proof obligations for linearizability. {ACM} Trans. Program. Lang. Syst., (1), 4:1--4:43. https://doi.org/10.1145/1889997.1890001
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, T., Wehrheim, H., & Ziegert, S. (2011). ReL: {A} Generic Refactoring Language for Specification and Execution. In 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011 (pp. 83--90). https://doi.org/10.1109/SEAA.2011.22
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler & W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337). https://doi.org/10.1007/978-3-642-21437-0_25
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken, D., Wehrheim, H., & Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. In A. da Silva Sim{\~{a}}o & C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers (pp. 92--107). https://doi.org/10.1007/978-3-642-25032-3_7
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider, S., Treharne, H., & Wehrheim, H. (2011). A {CSP} Account of Event-B Refinement. In J. Derrick, E. A. Boiten, & S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. (pp. 139--154). https://doi.org/10.4204/EPTCS.55.9
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 26981
Sondermann-Wölke, C., Sextro, W., Reinold, P., & Trächtler, A. (2011). Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs. Technische Zuverlässigkeit TTZ.
LibreCat
2011 | Dissertation | LibreCat-ID: 26982
Krol, R. (2011). Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM): Vol. Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293.
LibreCat
2011 | Journal Article | LibreCat-ID: 27010
Diethelm, K., Remer, T., Jilani, H., Kunz, C., & Buyken, A. (2011). Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood. Clinical Nutrition, 640–646. https://doi.org/10.1016/j.clnu.2011.05.004
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27011
Chun Yu Louie, J., Buyken, A., Heyer, K., & Flood, V. M. (2011). Dietary glycaemic index and glycaemic load among Australian children and adolescents. British Journal of Nutrition, 1273–1282. https://doi.org/10.1017/s0007114511001577
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27068
Libuda, L., Kersting, M., & Alexy, U. (2011). Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents. Public Health Nutrition, 433–441. https://doi.org/10.1017/s1368980011002138
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 27069
Alexy, U., Cheng, G., Libuda, L., Hilbig, A., & Kersting, M. (2011). 24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study. Clinical Nutrition, 78–84. https://doi.org/10.1016/j.clnu.2011.08.014
LibreCat
| DOI