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.
1197 Publications
2010 | Book Chapter | LibreCat-ID: 26754
Attributionsstile von Grundschulkindern und deren Erklärungsfaktoren
F. Hellmich, F. Günther, S. Sievers, in: K.-H. Arnold, K. Hauenschild, B. Schmidt, B. Ziegenmeyer (Eds.), Zwischen Fachdidaktik Und Stufendidaktik: Perspektiven Für Die Grundschulpädagogik. Jahrbuch Grundschulpädagogik, VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 151–154.
LibreCat
F. Hellmich, F. Günther, S. Sievers, in: K.-H. Arnold, K. Hauenschild, B. Schmidt, B. Ziegenmeyer (Eds.), Zwischen Fachdidaktik Und Stufendidaktik: Perspektiven Für Die Grundschulpädagogik. Jahrbuch Grundschulpädagogik, VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 151–154.
2010 | Book Chapter | LibreCat-ID: 26755
Attributionsstile von Grundschulkindern und deren Erklärungsfaktoren
T. Deters, F. Hellmich, in: K.-H. Arnold, K. Hauenschild, B. Schmidt, B. Ziegenmeyer (Eds.), Zwischen Fachdidaktik und Stufendidaktik: Perspektiven für die Grundschulpädagogik., VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 99–102.
LibreCat
T. Deters, F. Hellmich, in: K.-H. Arnold, K. Hauenschild, B. Schmidt, B. Ziegenmeyer (Eds.), Zwischen Fachdidaktik und Stufendidaktik: Perspektiven für die Grundschulpädagogik., VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 99–102.
2010 | Book Chapter | LibreCat-ID: 26756
Förderung der Lesefähigkeit durch Lesetagebücher – Ergebnisse aus einer empirischen Studie
J. Höntges, F. Hellmich, in: K.-H. Arnold, K. Hauenschild, B. Schmidt, B. Ziegenmeyer (Eds.), Zwischen Fachdidaktik und Stufendidaktik: Perspektiven für die Grundschulpädagogik, VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 129–132.
LibreCat
J. Höntges, F. Hellmich, in: K.-H. Arnold, K. Hauenschild, B. Schmidt, B. Ziegenmeyer (Eds.), Zwischen Fachdidaktik und Stufendidaktik: Perspektiven für die Grundschulpädagogik, VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 129–132.
2010 | Book Chapter | LibreCat-ID: 26757
Wissenschaftliches Denken in der Grundschule
F. Hellmich, J. Höntges, in: H. Köster, F. Hellmich, V. Nordmeier (Eds.), Handbuch Experimentieren, Schneider Hohengehren, Baltmannsweiler, 2010, pp. 69–81.
LibreCat
F. Hellmich, J. Höntges, in: H. Köster, F. Hellmich, V. Nordmeier (Eds.), Handbuch Experimentieren, Schneider Hohengehren, Baltmannsweiler, 2010, pp. 69–81.
2010 | Journal Article | LibreCat-ID: 26758
Glück oder Pech? Über Erfolge und Misserfolge nachdenken – eine Herausforderung für Kinder?!
T. Deters, F. Hellmich, Grundschulunterricht 1 (2010) 35–38.
LibreCat
T. Deters, F. Hellmich, Grundschulunterricht 1 (2010) 35–38.
2010 | Book Chapter | LibreCat-ID: 26873
Diagnose und Förderung im Mathematikunterricht der Grundschule
F. Hellmich, in: P. Hanke, G. Möwes-Butschko, A.K. Hein, D. Berntzen, A. Thieltges (Eds.), Anspruchsvolles Fördern in Der Grundschule, ZfL, Münster, 2010, pp. 185–192.
LibreCat
F. Hellmich, in: P. Hanke, G. Möwes-Butschko, A.K. Hein, D. Berntzen, A. Thieltges (Eds.), Anspruchsvolles Fördern in Der Grundschule, ZfL, Münster, 2010, pp. 185–192.
2010 | Book Chapter | LibreCat-ID: 26879
Erklärungsfaktoren für dynamische Selbstkonzepte bei Grundschulkindern
F. Hellmich, F. Günther, S. Sievers, in: K.-H. Arnold, K. Hauenschild, B. Schmidt, B. Ziegenmeyer (Eds.), Zwischen Fachdidaktik und Stufendidaktik: Perspektiven für die Grundschulpädagogik, VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 151–154.
LibreCat
F. Hellmich, F. Günther, S. Sievers, in: K.-H. Arnold, K. Hauenschild, B. Schmidt, B. Ziegenmeyer (Eds.), Zwischen Fachdidaktik und Stufendidaktik: Perspektiven für die Grundschulpädagogik, VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 151–154.
2010 | Journal Article | LibreCat-ID: 26897
Validation of protein intake assessed from weighed dietary records against protein estimated from 24 h urine samples in children, adolescents and young adults participating in the Dortmund Nutritional and Longitudinally Designed (DONALD) Study
B. Bokhof, A.L. Günther, G. Berg-Beckhoff, A. Kroke, A. Buyken, Public Health Nutrition (2010) 826–834.
LibreCat
| DOI
B. Bokhof, A.L. Günther, G. Berg-Beckhoff, A. Kroke, A. Buyken, Public Health Nutrition (2010) 826–834.
2010 | Journal Article | LibreCat-ID: 26899
Trends in dietary carbohydrate quality during puberty from 1988 to 2007: a cause for concern?
G. Cheng, L. Libuda, N. Karaolis-Danckert, U. Alexy, K. Bolzenius, T. Remer, A. Buyken, British Journal of Nutrition (2010) 1375–1383.
LibreCat
| DOI
G. Cheng, L. Libuda, N. Karaolis-Danckert, U. Alexy, K. Bolzenius, T. Remer, A. Buyken, British Journal of Nutrition (2010) 1375–1383.
2010 | Journal Article | LibreCat-ID: 26902
Relation of isoflavones and fiber intake in childhood to the timing of puberty
G. Cheng, T. Remer, R. Prinz-Langenohl, M. Blaszkewicz, G.H. Degen, A. Buyken, The American Journal of Clinical Nutrition (2010) 556–564.
LibreCat
| DOI
G. Cheng, T. Remer, R. Prinz-Langenohl, M. Blaszkewicz, G.H. Degen, A. Buyken, The American Journal of Clinical Nutrition (2010) 556–564.
2010 | Conference Paper | LibreCat-ID: 3195
A {CSP} Approach to Control in Event-B
S. Schneider, H. Treharne, 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. 260--274.
LibreCat
| DOI
S. Schneider, H. Treharne, 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. 260--274.
2010 | Conference Paper | LibreCat-ID: 3196
{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
LibreCat
| DOI
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
2010 | Journal Article | LibreCat-ID: 3198
Towards {A} Shape Analysis for Graph Transformation Systems
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
LibreCat
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
2010 | Journal Article | LibreCat-ID: 3418
Survival at the center—the stability of minimum differentiation
B. Hehenkamp, A. Wambach, Journal of Economic Behavior & Organization (2010) 853--858.
LibreCat
B. Hehenkamp, A. Wambach, Journal of Economic Behavior & Organization (2010) 853--858.
2010 | Conference Paper | LibreCat-ID: 3463
Produktivitätsbenchmarking als Bestandteil eines integrierten Ansatzes zur Vermarktung hybrider Leistungsbündel
K. Backhaus, J. Becker, D. Beverungen, O. Broeker, R. Knackstedt, A. Nikula, R. Wilken, in: 40. Jahrestagung Der Gesellschaft Für Informatik, Leipzig, Germany, 2010.
LibreCat
K. Backhaus, J. Becker, D. Beverungen, O. Broeker, R. Knackstedt, A. Nikula, R. Wilken, in: 40. Jahrestagung Der Gesellschaft Für Informatik, Leipzig, Germany, 2010.
2010 | Conference Paper | LibreCat-ID: 3464
Incorporating Willingness-to-Pay Data into Online Recommendations for Value-Added Services
K. Backhaus, J. Becker, D. Beverungen, M. Frohs, O. Müller, M. Weddeling, in: European Conference on Information Systems, Pretoria, South Africa, 2010.
LibreCat
| Download (ext.)
K. Backhaus, J. Becker, D. Beverungen, M. Frohs, O. Müller, M. Weddeling, in: European Conference on Information Systems, Pretoria, South Africa, 2010.
2010 | Conference Paper | LibreCat-ID: 3465
Produktivitätsmanagement hybrider Leistungsbündel --- Auf dem Weg zu einer Produktivitätsmanagementsystematik für effiziente Wertschöpfungspartnerschaften
J. Becker, D. Beverungen, N. Blinn, M. Fellmann, R. Knackstedt, M. Nüttgens, O. Thomas, in: Proceedings of the Multikonferenz Wirtschaftsinformatik, Göttingen, Germany, 2010.
LibreCat
J. Becker, D. Beverungen, N. Blinn, M. Fellmann, R. Knackstedt, M. Nüttgens, O. Thomas, in: Proceedings of the Multikonferenz Wirtschaftsinformatik, Göttingen, Germany, 2010.
2010 | Conference Paper | LibreCat-ID: 3466
Assumptions in Service Research --- A Multi-Theoretical Perspective on the Development of Standards for the Integration of Goods and Services
J. Becker, D. Beverungen, N. Blinn, M. Nüttgens, in: XX. International RESER Conference, Gothenburg, Sweden, 2010.
LibreCat
J. Becker, D. Beverungen, N. Blinn, M. Nüttgens, in: XX. International RESER Conference, Gothenburg, Sweden, 2010.
2010 | Conference Paper | LibreCat-ID: 3467
Total Cost of Service Life --- Decision Support for Selecting and Orchestrating Services
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: P. Kommers, P. Isaías (Eds.), Proceedings of the IADIS Internatioal Conference E-Society 2010, Porto, Portugal, 2010, pp. 322--329.
LibreCat
| Download (ext.)
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: P. Kommers, P. Isaías (Eds.), Proceedings of the IADIS Internatioal Conference E-Society 2010, Porto, Portugal, 2010, pp. 322--329.
2010 | Conference Paper | LibreCat-ID: 3468
Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: J.-H. Morin, J. Ralyté, M. Snene (Eds.), Exploring Service Sciences, Berlin, 2010, pp. 282--288.
LibreCat
| DOI
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: J.-H. Morin, J. Ralyté, M. Snene (Eds.), Exploring Service Sciences, Berlin, 2010, pp. 282--288.
2010 | Conference Paper | LibreCat-ID: 3469
Implementing Value-Driven Service Management --- Towards an IT Artifact-Based Approach for Managing Customer Solutions
D. Beverungen, in: Proceedings of the 10th European Academy of Management Conference, Rome, Italy, 2010.
LibreCat
D. Beverungen, in: Proceedings of the 10th European Academy of Management Conference, Rome, Italy, 2010.
2010 | Journal Article | LibreCat-ID: 3503
Enabling Individualized Recommendations and Dynamic Pricing of Value-Added Services through Willingness-to-Pay Data
K. Backhaus, J. Becker, D. Beverungen, M. Frohs, O. Müller, M. Weddeling, R. Knackstedt, M. Steiner, Electronic Markets (2010) 131--146.
LibreCat
| DOI
K. Backhaus, J. Becker, D. Beverungen, M. Frohs, O. Müller, M. Weddeling, R. Knackstedt, M. Steiner, Electronic Markets (2010) 131--146.
2010 | Journal Article | LibreCat-ID: 3504
The Challenge of Conceptual Modeling for Product-Service Systems --- Status-quo and Perspectives for Reference Models and Modeling Languages
J. Becker, D. Beverungen, R. Knackstedt, Information Systems and E-Business Management (ISeB) (2010) 12--32.
LibreCat
J. Becker, D. Beverungen, R. Knackstedt, Information Systems and E-Business Management (ISeB) (2010) 12--32.
2010 | Journal Article | LibreCat-ID: 3505
Fostering the Virtualization of Service Processes and Touch Points --- Identification and Documentation of E-Service Potential in Retail Networks
J. Becker, D. Beverungen, R. Knackstedt, A. Winkelmann, Lecture Notes in Informatics (2010) 63--79.
LibreCat
J. Becker, D. Beverungen, R. Knackstedt, A. Winkelmann, Lecture Notes in Informatics (2010) 63--79.
2010 | Journal Article | LibreCat-ID: 3622
Expertise of team leaders in analysing team conflicts
M. Rupprecht, J. Strasser, H. Gruber, C. Harteis, Vocations and Learning (2010) 39--54.
LibreCat
M. Rupprecht, J. Strasser, H. Gruber, C. Harteis, Vocations and Learning (2010) 39--54.
2010 | Journal Article | LibreCat-ID: 3624
How Epistemic Beliefs Influence e-Learning in Daily Work-life.
C. Harteis, H. Gruber, H. Hertramph, Journal of Educational Technology & Society 13 (2010) 201–211.
LibreCat
C. Harteis, H. Gruber, H. Hertramph, Journal of Educational Technology & Society 13 (2010) 201–211.
2010 | Book Chapter | LibreCat-ID: 3625
Contributions of e-collaborative knowledge construction to professional learning and expertise
C. Harteis, in: B. Ertl (Ed.), Organizational Learning and Knowledge: Concepts, Methodologies, Tools and Applications, IGI Global, Hershey, 2010, pp. 332--350.
LibreCat
C. Harteis, in: B. Ertl (Ed.), Organizational Learning and Knowledge: Concepts, Methodologies, Tools and Applications, IGI Global, Hershey, 2010, pp. 332--350.
2010 | Book Chapter | LibreCat-ID: 3649
Kompetenzerwerb im betrieblichen Arbeitsalltag
C. Harteis, H. Gruber, M. Rehrl, in: C. Spiel, R. Reimann, B. Schober, P. Wagner (Eds.), Bildungspsychologie, Hogrefe, Göttingen, 2010, pp. 183–187.
LibreCat
C. Harteis, H. Gruber, M. Rehrl, in: C. Spiel, R. Reimann, B. Schober, P. Wagner (Eds.), Bildungspsychologie, Hogrefe, Göttingen, 2010, pp. 183–187.
2010 | Book | LibreCat-ID: 3703
Mögliche Fallstricke einer Optimierung unternehmerischer Investitionsentscheidungen auf der Grundlage der Konzernsteuerquote
J. Müller, C. Sureth, L. Christian, Mögliche Fallstricke Einer Optimierung Unternehmerischer Investitionsentscheidungen Auf Der Grundlage Der Konzernsteuerquote, 2010.
LibreCat
J. Müller, C. Sureth, L. Christian, Mögliche Fallstricke Einer Optimierung Unternehmerischer Investitionsentscheidungen Auf Der Grundlage Der Konzernsteuerquote, 2010.
2010 | Book Chapter | LibreCat-ID: 3711
Wirtschaft und Betrieb
H. Heid, C. Harteis, in: R. Tippelt, B. Schmidt (Eds.), Handbuch Bildungsforschung, 3rd ed., VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 467–481.
LibreCat
H. Heid, C. Harteis, in: R. Tippelt, B. Schmidt (Eds.), Handbuch Bildungsforschung, 3rd ed., VS Verlag für Sozialwissenschaften, Wiesbaden, 2010, pp. 467–481.
2010 | Conference Paper | LibreCat-ID: 3810
Efficient Statement Identification for Automatic Market Forecasting
H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
LibreCat
| Download (ext.)
H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
2010 | Conference Paper | LibreCat-ID: 28928
Teacher Professional Development - An Empirical Analysis of ICT-related Teacher Cooperation from a School Improvement Perspective
R. Schulz-Zander, B. Eickelmann, in: Proceedings of 21st International Conference of SITE (Society for Information Technology & Teacher Education), San Diego, USA, 2010, pp. 1626–1632.
LibreCat
R. Schulz-Zander, B. Eickelmann, in: Proceedings of 21st International Conference of SITE (Society for Information Technology & Teacher Education), San Diego, USA, 2010, pp. 1626–1632.
2010 | Conference Paper | LibreCat-ID: 28929
Factors Contributing to a Sustainable Implementation of Digital Media in Schools and Classrooms – Empirical Analyses and some Consequences for Teacher Education
B. Eickelmann, in: Proceedings of 21st International Conference of SITE (Society for Information Technology & Teacher Education), San Diego, USA, 2010, pp. 1421–1428.
LibreCat
B. Eickelmann, in: Proceedings of 21st International Conference of SITE (Society for Information Technology & Teacher Education), San Diego, USA, 2010, pp. 1421–1428.
2010 | Dissertation | LibreCat-ID: 28930
Digitale Medien in Schule und Unterricht erfolgreich implementieren
B. Eickelmann, Digitale Medien in Schule Und Unterricht Erfolgreich Implementieren, Universität Dortmund, 2010.
LibreCat
B. Eickelmann, Digitale Medien in Schule Und Unterricht Erfolgreich Implementieren, Universität Dortmund, 2010.
2010 | Research Data | LibreCat-ID: 28932
Das Globale-Schule-System – Evaluation einer Handlungsalternative im Distance Learning für das deutsche Auslandsschulwesen
B. Eickelmann, Das Globale-Schule-System – Evaluation Einer Handlungsalternative Im Distance Learning Für Das Deutsche Auslandsschulwesen, Bundesverwaltungsamt, Zentralstelle für das Deutsche Auslandsschulwesen, 2010.
LibreCat
B. Eickelmann, Das Globale-Schule-System – Evaluation Einer Handlungsalternative Im Distance Learning Für Das Deutsche Auslandsschulwesen, Bundesverwaltungsamt, Zentralstelle für das Deutsche Auslandsschulwesen, 2010.
2010 | Book Chapter | LibreCat-ID: 2988
Bregman Clustering for Separable Instances
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
LibreCat
| DOI
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
2010 | Journal Article | LibreCat-ID: 2990
Clustering for Metric and Nonmetric Distance Measures
M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
LibreCat
| DOI
M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
2010 | Journal Article | LibreCat-ID: 2991
On the initialization of dynamic models for speech features
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
LibreCat
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
2010 | Conference Paper | LibreCat-ID: 2993
Efficient and Compact CCA Security from Partitioned IBKEM
J. Schrieb, (2010).
LibreCat
J. Schrieb, (2010).
2010 | Conference Paper | LibreCat-ID: 2994
Engineering self-coordinating software intensive systems
W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.
LibreCat
| DOI
W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.
2010 | Journal Article | LibreCat-ID: 3055
Entrepreneurship and Structural Economic Transformation
T. Gries, W. Naudé, Small Business Economics 34 (2010) 13–29.
LibreCat
| DOI
T. Gries, W. Naudé, Small Business Economics 34 (2010) 13–29.
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
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.
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
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.
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
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.
2010 | Journal Article | LibreCat-ID: 3189
Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat
| DOI
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
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
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.
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
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.
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
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.
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
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.
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
U. Alexy, L. Libuda, S. Mersmann, M. Kersting, European Journal of Clinical Nutrition (2010) 160–166.