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.
6951 Publications
2011 | Journal Article | LibreCat-ID: 29676
Exposure of [MnIII6CrIII]3+ single-molecule magnets to soft X-rays: The effect of the counterions on radiation stability
A. Helmstedt, M. Sacher, A. Gryzia, A. Harder, A. Brechling, N. Müller, U. Heinzmann, V. Hoeke, E. Krickemeyer, T. Glaser, S. Bouvron, M. Fonin, Journal of Electron Spectroscopy and Related Phenomena 184 (2011) 583–588.
LibreCat
| DOI
A. Helmstedt, M. Sacher, A. Gryzia, A. Harder, A. Brechling, N. Müller, U. Heinzmann, V. Hoeke, E. Krickemeyer, T. Glaser, S. Bouvron, M. Fonin, Journal of Electron Spectroscopy and Related Phenomena 184 (2011) 583–588.
2011 | Book Chapter | LibreCat-ID: 46847
Sound & Image. An experimental study on the influence of acoustical parameters on the perception of a product’s image in TV-commercials
B. Flath, in: K. Bronner, R. Hirt, C. Ringe (Eds.), Audio Branding Year Book 2010 , nomos, Baden-Baden, 2011, pp. 229–238.
LibreCat
B. Flath, in: K. Bronner, R. Hirt, C. Ringe (Eds.), Audio Branding Year Book 2010 , nomos, Baden-Baden, 2011, pp. 229–238.
2010 | Conference Paper | LibreCat-ID: 19678
The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers
P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms (WAOA), Springer, 2010.
LibreCat
| DOI
P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms (WAOA), Springer, 2010.
2010 | Conference Paper | LibreCat-ID: 19796
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
LibreCat
| DOI
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
2010 | Book | LibreCat-ID: 20182
Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
LibreCat
| DOI
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
2010 | Conference Paper | LibreCat-ID: 20226
A Model of Symmetry Breaking in Collective Decision-Making
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
LibreCat
| DOI
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
2010 | Book | LibreCat-ID: 28105
Digitale Medien in Schule und Unterricht erfolgreich implementieren. Eine empirische Analyse aus Sicht der Schulentwicklungsforschung
B. Eickelmann, Digitale Medien in Schule und Unterricht erfolgreich implementieren. Eine empirische Analyse aus Sicht der Schulentwicklungsforschung, Waxmann, Münster, 2010.
LibreCat
B. Eickelmann, Digitale Medien in Schule und Unterricht erfolgreich implementieren. Eine empirische Analyse aus Sicht der Schulentwicklungsforschung, Waxmann, Münster, 2010.
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 | 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 | 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 | 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 | 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 | 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: 27078
Comparison of the effects of dietary protein, androstenediol and forearm muscle area on radial bone variables in healthy prepubertal children
L. Libuda, S.A. Wudy, E. Schoenau, T. Remer, British Journal of Nutrition (2010) 428–435.
LibreCat
| DOI
L. Libuda, S.A. Wudy, E. Schoenau, T. Remer, British Journal of Nutrition (2010) 428–435.
2010 | Misc | LibreCat-ID: 27939
9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
J. Gausemeier, M. Grafe, 9. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.