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.

1201 Publications


2010 | Journal Article | LibreCat-ID: 3055
Entrepreneurship and Structural Economic Transformation
T. Gries, W. Naudé, Small Business Economics 34 (2010) 13–29.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3139
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 | DOI
 

2010 | Conference Paper | LibreCat-ID: 3140
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 | DOI
 

2010 | Conference Paper | LibreCat-ID: 3141
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 | DOI
 

2010 | Journal Article | LibreCat-ID: 3189
Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3191
Model-Driven Development with Mechatronic {UML}
W. Schäfer, H. Wehrheim, 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, 2010, pp. 533--554.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 3193
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 | DOI
 

2010 | Conference Paper | LibreCat-ID: 3194
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{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat | DOI
 

2010 | Journal Article | LibreCat-ID: 27009
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 | DOI
 

2010 | Journal Article | LibreCat-ID: 27077
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 | DOI
 

Filters and Search Terms

year=2010

Search

Filter Publications

Display / Sort

Export / Embed