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
M. R. Ackermann, J. Blömer, and C. Scholz, “Hardness and Non-Approximability of Bregman Clustering Problems.” 2011.
LibreCat
 

2011 | Book Chapter | LibreCat-ID: 2986
J. Blömer, “How to Share a Secret,” in Algorithms Unplugged, Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 159–168.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3052
T. Gries, S. Gravemeyer, and J. Xue, “Income Determination and Income Discrimination in Shenzhen,” Urban Studies, vol. 48, no. 7, pp. 1457–1475, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3053
T. Gries, M. Kraft, and D. Meierrieks, “Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean,” Applied Economics, vol. 43, no. 30, pp. 4729–4739, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3054
T. Gries, T. Krieger, and D. Meierrieks, “Causal Linkages Between Domestic Terrorism and Economic Growth,” Defence and Peace Economics, vol. 22, no. 5, pp. 493–508, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3058
T. Gries, M. Kraft, and C. Piek, “Interregional Migration, Self-selection and the Returns to Education in Brazil,” The Annals of Regional Science, vol. 46, no. 3, pp. 707–732, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3137
D. Hofheinz, T. Jager, and E. Kiltz, “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, 2011, pp. 647--666.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3138
T. Jager and J. Somorovsky, “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, 2011, pp. 413--422.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3183
S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study,” Electr. Notes Theor. Comput. Sci., pp. 69--80, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanically verified proof obligations for linearizability,” {ACM} Trans. Program. Lang. Syst., no. 1, pp. 4:1--4:43, 2011.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
T. Ruhroth, H. Wehrheim, and S. Ziegert, “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, 2011, pp. 83--90.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with Potential Linearisation Points,” in {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph Transformation,” in Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Account of Event-B Refinement,” in Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 26981
C. Sondermann-Wölke, W. Sextro, P. Reinold, and A. Trächtler, “Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs,” 2011.
LibreCat
 

2011 | Dissertation | LibreCat-ID: 26982
R. Krol, 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, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 27010
K. Diethelm, T. Remer, H. Jilani, C. Kunz, and A. Buyken, “Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood,” Clinical Nutrition, pp. 640–646, 2011, doi: 10.1016/j.clnu.2011.05.004.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27011
J. Chun Yu Louie, A. Buyken, K. Heyer, and V. M. Flood, “Dietary glycaemic index and glycaemic load among Australian children and adolescents,” British Journal of Nutrition, pp. 1273–1282, 2011, doi: 10.1017/s0007114511001577.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27068
L. Libuda, M. Kersting, and U. Alexy, “Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents,” Public Health Nutrition, pp. 433–441, 2011, doi: 10.1017/s1368980011002138.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 27069
U. Alexy, G. Cheng, L. Libuda, A. Hilbig, and M. Kersting, “24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study,” Clinical Nutrition, pp. 78–84, 2011, doi: 10.1016/j.clnu.2011.08.014.
LibreCat | DOI
 

Filters and Search Terms

year=2011

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed