Entrepreneurship and Structural Economic Transformation
T. Gries, W. Naudé, Small Business Economics 34 (2010) 13–29.
LibreCat: /record/3055
DOI: 10.1007/s11187-009-9192-8

Generic Compilers for Authenticated Key Exchange
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, 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, pp. 232--249.
LibreCat: /record/3139
DOI: 10.1007/978-3-642-17373-8_14

The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
T. Jager, A. Rupp, 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, pp. 539--556.
LibreCat: /record/3140
DOI: 10.1007/978-3-642-17373-8_31

Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model
K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, 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, pp. 1--18.
LibreCat: /record/3141
DOI: 10.1007/978-3-642-13013-7_1

Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat: /record/3189
DOI: 10.1016/j.scico.2009.11.004

Model-Driven Development with Mechatronic UML
W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch\'22afer, A. Sch\'22urr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

On Symmetries and Spotlights - Verifying Parameterised Systems
N. Timm, H. Wehrheim, 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, 2010, pp. 534--548.
LibreCat: /record/3193
DOI: 10.1007/978-3-642-16901-4_35

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M\rquote ery, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

Carbohydrate nutrition and inflammatory disease mortality in older adults
A. Buyken, V. Flood, M. Empson, E. Rochtchina, A.W. Barclay, J. Brand-Miller, P. Mitchell, The American Journal of Clinical Nutrition (2010) 634–643.
LibreCat: /record/27009
DOI: 10.3945/ajcn.2010.29390

Convenience foods in children's diet and association with dietary quality and body weight status
U. Alexy, L. Libuda, S. Mersmann, M. Kersting, European Journal of Clinical Nutrition (2010) 160–166.
LibreCat: /record/27077
DOI: 10.1038/ejcn.2010.254