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.
9882 Publications
2010 | Journal Article | LibreCat-ID: 26897
@article{Bokhof_Günther_Berg-Beckhoff_Kroke_Buyken_2010, title={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}, DOI={10.1017/s136898000999317x}, journal={Public Health Nutrition}, author={Bokhof, Beate and Günther, Anke LB and Berg-Beckhoff, Gabriele and Kroke, Anja and Buyken, Anette}, year={2010}, pages={826–834} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 26899
@article{Cheng_Libuda_Karaolis-Danckert_Alexy_Bolzenius_Remer_Buyken_2010, title={Trends in dietary carbohydrate quality during puberty from 1988 to 2007: a cause for concern?}, DOI={10.1017/s0007114510002278}, journal={British Journal of Nutrition}, author={Cheng, Guo and Libuda, Lars and Karaolis-Danckert, Nadina and Alexy, Ute and Bolzenius, Katja and Remer, Thomas and Buyken, Anette}, year={2010}, pages={1375–1383} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3195
@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={10.1007/978-3-642-16265-7_19}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={260--274}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}, DOI={10.1007/978-3-642-12002-2_22}, booktitle={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}, author={Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar, RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3468
@inproceedings{Becker_Beverungen_Matzner_Müller_2010, place={Berlin}, series={Lecture Notes in Business Information Processing (LNBIP)}, title={Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services}, DOI={10.1007/978-3-642-14319-9_25}, booktitle={Exploring Service Sciences}, author={Becker, Jörg and Beverungen, Daniel and Matzner, Martin and Müller, Oliver}, editor={Morin, Jean-Henry and Ralyté, Jolita and Snene, MehdiEditors}, year={2010}, pages={282--288}, collection={Lecture Notes in Business Information Processing (LNBIP)} }
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 2988
@inbook{Ackermann_Blömer_2010, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Bregman Clustering for Separable Instances}, DOI={10.1007/978-3-642-13731-0_21}, booktitle={SWAT 2010}, publisher={Springer Berlin Heidelberg}, author={Ackermann, Marcel R. and Blömer, Johannes}, year={2010}, pages={212–223}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
@inproceedings{Jager_Kohlar_Schäge_Schwenk_2010, title={Generic Compilers for Authenticated Key Exchange}, DOI={10.1007/978-3-642-17373-8_14}, booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings}, author={Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}, year={2010}, pages={232--249} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
@inproceedings{Jager_Rupp_2010, title={The Semi-Generic Group Model and Applications to Pairing-Based Cryptography}, DOI={10.1007/978-3-642-17373-8_31}, booktitle={Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings}, author={Jager, Tibor and Rupp, Andy}, year={2010}, pages={539--556} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
@inproceedings{Haralambiev_Jager_Kiltz_Shoup_2010, title={Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model}, DOI={10.1007/978-3-642-13013-7_1}, booktitle={Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings}, author={Haralambiev, Kristiyan and Jager, Tibor and Kiltz, Eike and Shoup, Victor}, year={2010}, pages={1--18} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
@inproceedings{Schäfer_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Model-Driven Development with Mechatronic {UML}}, DOI={10.1007/978-3-642-17322-6_23}, booktitle={Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={Engels, Gregor and Lewerentz, Claus and Sch{\"{a}}fer, Wilhelm and Sch{\"{u}}rr, Andy and Westfechtel, BernhardEditors}, year={2010}, pages={533--554}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={10.1007/978-3-642-16901-4_35}, booktitle={Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, author={Timm, Nils and Wehrheim, Heike}, editor={Song Dong, Jin and Zhu, HuibiaoEditors}, year={2010}, pages={534--548}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}, DOI={10.1007/978-3-642-16265-7_14}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={M{\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27078
@article{Libuda_Wudy_Schoenau_Remer_2010, title={Comparison of the effects of dietary protein, androstenediol and forearm muscle area on radial bone variables in healthy prepubertal children}, DOI={10.1017/s0007114510003508}, journal={British Journal of Nutrition}, author={Libuda, Lars and Wudy, Stefan A. and Schoenau, Eckhard and Remer, Thomas}, year={2010}, pages={428–435} }
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 27590
@inbook{Remer_Libuda_2010, title={Bone-anabolic impact of dietary high protein intake compared with effects of low potential renal acid load, endogenous steroid hormones, and muscularity in children. }, booktitle={Nutritional Influences on Bone Health. }, publisher={Springer}, author={Remer, T. and Libuda, Lars}, year={2010} }
LibreCat
2010 | Journal Article | LibreCat-ID: 27725
@article{Shi_Remer_Buyken_Hartmann_Hoffmann_Wudy_2010, title={Prepubertal urinary estrogen excretion and its relationship with pubertal timing}, DOI={10.1152/ajpendo.00374.2010}, journal={American Journal of Physiology-Endocrinology and Metabolism}, author={Shi, Lijie and Remer, Thomas and Buyken, Anette and Hartmann, Michaela F. and Hoffmann, Philipp and Wudy, Stefan A.}, year={2010}, pages={E990–E997} }
LibreCat
| DOI
2010 | Misc | LibreCat-ID: 27939
@book{Gausemeier_Grafe_2010, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, volume={274}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Gausemeier, Jürgen and Grafe, M.}, year={2010}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2010 | Book Chapter | LibreCat-ID: 1117
@inbook{Geierhos_Blanc_2010, place={Rome}, edition={1}, series={Lingue d’Europa e del Mediterraneo: Grammatica comparata}, title={BiographIE - Biographical Information Extraction from Business News}, volume={2}, booktitle={Actes du 27e Colloque international sur le lexique et la grammaire (L’Aquila, 10-13 septembre 2008)}, publisher={Aracne}, author={Geierhos, Michaela and Blanc, Olivier}, editor={De Gioia, MicheleEditor}, year={2010}, pages={95–110}, collection={Lingue d’Europa e del Mediterraneo: Grammatica comparata} }
LibreCat
2010 | Book | LibreCat-ID: 1118
@book{Geierhos_2010, place={München}, edition={1}, series={Linguistic Resources for Natural Language Processing}, title={BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen}, volume={5}, publisher={Lincom}, author={Geierhos, Michaela}, year={2010}, collection={Linguistic Resources for Natural Language Processing} }
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
@inbook{Seebach_Nafz_Holtmann_Meyer_Tichy_Reif_Schäfer_2010, place={Berlin, Heidelberg}, title={Designing Self-healing in Automotive Systems}, DOI={10.1007/978-3-642-16576-4_4}, booktitle={Lecture Notes in Computer Science}, author={Seebach, Hella and Nafz, Florian and Holtmann, Jörg and Meyer, Jan and Tichy, Matthias and Reif, Wolfgang and Schäfer, Wilhelm}, year={2010} }
LibreCat
| DOI
2010 | Preprint | LibreCat-ID: 17586
@article{Brandes_Degener_Kempkes_Meyer auf der Heide_2010, title={Building short chains of mobile robots locally with a bounded stepwidth}, author={Brandes, Philipp and Degener, Bastian and Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2010} }
LibreCat
| Files available