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.
10214 Publications
2010 | Conference Paper | LibreCat-ID: 3195
Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 260--274, doi:10.1007/978-3-642-16265-7_19.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” 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, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3468
Becker, Jörg, et al. “Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services.” Exploring Service Sciences, edited by Jean-Henry Morin et al., 2010, pp. 282--288, doi:10.1007/978-3-642-14319-9_25.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 2988
Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.” SWAT 2010, Springer Berlin Heidelberg, 2010, pp. 212–23, doi:10.1007/978-3-642-13731-0_21.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
Jager, Tibor, et al. “Generic Compilers for Authenticated Key Exchange.” 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, doi:10.1007/978-3-642-17373-8_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography.” 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, doi:10.1007/978-3-642-17373-8_31.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, Kristiyan, et al. “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.” 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, doi:10.1007/978-3-642-13013-7_1.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels et al., 2010, pp. 533--554, doi:10.1007/978-3-642-17322-6_23.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:10.1007/978-3-642-16901-4_35.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 27078
Libuda, Lars, et al. “Comparison of the Effects of Dietary Protein, Androstenediol and Forearm Muscle Area on Radial Bone Variables in Healthy Prepubertal Children.” British Journal of Nutrition, 2010, pp. 428–35, doi:10.1017/s0007114510003508.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 27590
Remer, T., and Lars Libuda. “Bone-Anabolic Impact of Dietary High Protein Intake Compared with Effects of Low Potential Renal Acid Load, Endogenous Steroid Hormones, and Muscularity in Children. .” Nutritional Influences on Bone Health. , Springer, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 27725
Shi, Lijie, et al. “Prepubertal Urinary Estrogen Excretion and Its Relationship with Pubertal Timing.” American Journal of Physiology-Endocrinology and Metabolism, 2010, pp. E990–97, doi:10.1152/ajpendo.00374.2010.
LibreCat
| DOI
2010 | Misc | LibreCat-ID: 27939
Gausemeier, Jürgen, and M. Grafe. 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 1117
Geierhos, Michaela, and Olivier Blanc. “BiographIE - Biographical Information Extraction from Business News.” Actes Du 27e Colloque International Sur Le Lexique et La Grammaire (L’Aquila, 10-13 Septembre 2008), edited by Michele De Gioia, 1st ed., vol. 2, Aracne, 2010, pp. 95–110.
LibreCat
2010 | Book | LibreCat-ID: 1118
Geierhos, Michaela. BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen. 1st ed., vol. 5, Lincom, 2010.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, Hella, et al. “Designing Self-Healing in Automotive Systems.” Lecture Notes in Computer Science, 2010, doi:10.1007/978-3-642-16576-4_4.
LibreCat
| DOI
2010 | Preprint | LibreCat-ID: 17586
Brandes, Philipp, et al. Building Short Chains of Mobile Robots Locally with a Bounded Stepwidth. 2010.
LibreCat
| Files available
2010 | Book Chapter | LibreCat-ID: 17711
Claridge, Claudia, and Ilka Mindt. “Beiträge Der Sektion I ‘“Spoken” English through the Centuries.’ Sprachwissenschaftliche Sektion Beim Anglistentag 2009 in Klagenfurt.” Anglistentag 2009 Klagenfurt. Proceedings, edited by Jörg Helbig and René Schallegger, Wissenschaftler Verlag, 2010, pp. 1–114.
LibreCat
2010 | Book Chapter | LibreCat-ID: 17768
Claridge, Claudia, and Ilka Mindt. “Spoken English through the Centuries: Introduction.” Anglistentag 2009 Klagenfurt. Proceedings, edited by Jörg Helbig and René Schallegger, Wissenschaftler Verlag, 2010, pp. 1–8.
LibreCat