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.
1399 Publications
2011 | Journal Article | LibreCat-ID: 2955
SME performance in transition economies: The financial regulation and firm level corruption nexus
T. Gries, A. Wieneke, Journal of Comparative Economics 39 (2011) 221–229.
LibreCat
| DOI
T. Gries, A. Wieneke, Journal of Comparative Economics 39 (2011) 221–229.
2011 | Conference Paper | LibreCat-ID: 2985
Hardness and Non-Approximability of Bregman Clustering Problems.
M.R. Ackermann, J. Blömer, C. Scholz, (2011).
LibreCat
M.R. Ackermann, J. Blömer, C. Scholz, (2011).
2011 | Book Chapter | LibreCat-ID: 2986
How to Share a Secret
J. Blömer, in: Algorithms Unplugged, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 159–168.
LibreCat
| DOI
J. Blömer, in: Algorithms Unplugged, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 159–168.
2011 | Journal Article | LibreCat-ID: 3052
Income Determination and Income Discrimination in Shenzhen
T. Gries, S. Gravemeyer, J. Xue, Urban Studies 48 (2011) 1457–1475.
LibreCat
| DOI
T. Gries, S. Gravemeyer, J. Xue, Urban Studies 48 (2011) 1457–1475.
2011 | Journal Article | LibreCat-ID: 3053
Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean
T. Gries, M. Kraft, D. Meierrieks, Applied Economics 43 (2011) 4729–4739.
LibreCat
| DOI
T. Gries, M. Kraft, D. Meierrieks, Applied Economics 43 (2011) 4729–4739.
2011 | Journal Article | LibreCat-ID: 3054
Causal Linkages Between Domestic Terrorism and Economic Growth
T. Gries, T. Krieger, D. Meierrieks, Defence and Peace Economics 22 (2011) 493–508.
LibreCat
| DOI
T. Gries, T. Krieger, D. Meierrieks, Defence and Peace Economics 22 (2011) 493–508.
2011 | Journal Article | LibreCat-ID: 3058
Interregional Migration, Self-selection and the Returns to Education in Brazil
T. Gries, M. Kraft, C. Piek, The Annals of Regional Science 46 (2011) 707–732.
LibreCat
| DOI
T. Gries, M. Kraft, C. Piek, The Annals of Regional Science 46 (2011) 707–732.
2011 | Conference Paper | LibreCat-ID: 3137
Short Signatures from Weaker Assumptions
D. Hofheinz, T. Jager, E. Kiltz, 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
D. Hofheinz, T. Jager, E. Kiltz, 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.
2011 | Conference Paper | LibreCat-ID: 3138
How to break XML encryption
T. Jager, J. Somorovsky, 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
T. Jager, J. Somorovsky, 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.
2011 | Journal Article | LibreCat-ID: 3183
Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
2011 | Journal Article | LibreCat-ID: 3184
Mechanically verified proof obligations for linearizability
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
2011 | Conference Paper | LibreCat-ID: 3185
ReL: {A} Generic Refactoring Language for Specification and Execution
T. Ruhroth, H. Wehrheim, S. Ziegert, 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
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
2011 | Conference Paper | LibreCat-ID: 3186
Verifying Linearisability with Potential Linearisation Points
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
2011 | Conference Paper | LibreCat-ID: 3187
Sound and Complete Abstract Graph Transformation
D. Steenken, H. Wehrheim, D. Wonisch, 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, 2011, pp. 92--107.
LibreCat
| DOI
D. Steenken, H. Wehrheim, D. Wonisch, 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, 2011, pp. 92--107.
2011 | Conference Paper | LibreCat-ID: 3188
A {CSP} Account of Event-B Refinement
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
2011 | Conference Paper | LibreCat-ID: 26981
Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs
C. Sondermann-Wölke, W. Sextro, P. Reinold, A. Trächtler, in: Technische Zuverlässigkeit TTZ, 2011.
LibreCat
C. Sondermann-Wölke, W. Sextro, P. Reinold, A. Trächtler, in: Technische Zuverlässigkeit TTZ, 2011.
2011 | Dissertation | LibreCat-ID: 26982
Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)
R. Krol, Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
LibreCat
R. Krol, Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.
2011 | Journal Article | LibreCat-ID: 27010
Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood
K. Diethelm, T. Remer, H. Jilani, C. Kunz, A. Buyken, Clinical Nutrition (2011) 640–646.
LibreCat
| DOI
K. Diethelm, T. Remer, H. Jilani, C. Kunz, A. Buyken, Clinical Nutrition (2011) 640–646.
2011 | Journal Article | LibreCat-ID: 27011
Dietary glycaemic index and glycaemic load among Australian children and adolescents
J. Chun Yu Louie, A. Buyken, K. Heyer, V.M. Flood, British Journal of Nutrition (2011) 1273–1282.
LibreCat
| DOI
J. Chun Yu Louie, A. Buyken, K. Heyer, V.M. Flood, British Journal of Nutrition (2011) 1273–1282.
2011 | Journal Article | LibreCat-ID: 27068
Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents
L. Libuda, M. Kersting, U. Alexy, Public Health Nutrition (2011) 433–441.
LibreCat
| DOI
L. Libuda, M. Kersting, U. Alexy, Public Health Nutrition (2011) 433–441.