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.
8277 Publications
2012 | Conference Paper | LibreCat-ID: 3136
Waters Signatures with Optimal Security Reduction
D. Hofheinz, T. Jager, E. Knapp, in: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, 2012, pp. 66--83.
LibreCat
| DOI
D. Hofheinz, T. Jager, E. Knapp, in: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, 2012, pp. 66--83.
2012 | Journal Article | LibreCat-ID: 3180
Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
LibreCat
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
2012 | Journal Article | LibreCat-ID: 3181
Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
2012 | Conference Paper | LibreCat-ID: 3182
How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat
| DOI
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
2012 | Journal Article | LibreCat-ID: 27067
Long term higher urinary calcium excretion within the normal physiologic range predicts impaired bone status of the proximal radius in healthy children with higher potential renal acid load
L. Shi, L. Libuda, E. Schönau, L. Frassetto, T. Remer, Bone (2012) 1026–1031.
LibreCat
| DOI
L. Shi, L. Libuda, E. Schönau, L. Frassetto, T. Remer, Bone (2012) 1026–1031.
2012 | Journal Article | LibreCat-ID: 27074
Dietary fatty acid intake, its food sources and determinants in European adolescents: the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) Study.
K. Vyncke, L. Libuda, T. De Vriendt, L. Moreno, M. Van Winckel, Y. Manios, F. Gottrand, D. Molnar, B. Vanaelst, M. Sjöström, M. González-Gross, L. Censi, K. Widhalm, N. Michels, C. Gilbert, C. Xatzis, M. Cuenca García, F. de Heredia, S. De Henauw, I. Huybrechts, H. consortium, Br J Nutr 108 (2012) 2261–2273.
LibreCat
| DOI
| PubMed | Europe PMC
K. Vyncke, L. Libuda, T. De Vriendt, L. Moreno, M. Van Winckel, Y. Manios, F. Gottrand, D. Molnar, B. Vanaelst, M. Sjöström, M. González-Gross, L. Censi, K. Widhalm, N. Michels, C. Gilbert, C. Xatzis, M. Cuenca García, F. de Heredia, S. De Henauw, I. Huybrechts, H. consortium, Br J Nutr 108 (2012) 2261–2273.
2012 | Journal Article | LibreCat-ID: 27075
Beverage consumption among European adolescents in the HELENA study.
K. Duffey, I. Huybrechts, T. Mouratidou, L. Libuda, M. Kersting, T. De Vriendt, F. Gottrand, K. Widhalm, J. Dallongeville, L. Hallström, M. González-Gross, S. De Henauw, L. Moreno, B. Popkin, H. Study group, Eur J Clin Nutr 66 (2012) 244–252.
LibreCat
| DOI
| PubMed | Europe PMC
K. Duffey, I. Huybrechts, T. Mouratidou, L. Libuda, M. Kersting, T. De Vriendt, F. Gottrand, K. Widhalm, J. Dallongeville, L. Hallström, M. González-Gross, S. De Henauw, L. Moreno, B. Popkin, H. Study group, Eur J Clin Nutr 66 (2012) 244–252.
2012 | Conference Paper | LibreCat-ID: 27176
Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.
LibreCat
D. Engbring, H. Selke, 5 (2012) 111–116.
2012 | Conference Paper | LibreCat-ID: 27177
User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.
LibreCat
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.
2012 | Conference Paper | LibreCat-ID: 27179
Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices
F. Klompmaker, K. Nebe, J. Eschenlohr, in: Springer, 2012.
LibreCat
F. Klompmaker, K. Nebe, J. Eschenlohr, in: Springer, 2012.
2012 | Conference Paper | LibreCat-ID: 27180
The technical potential of digital boards
H. Selke, F. Winkelnkemper, in: J.{\ "o} rg Desel, J {\" o} rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.
LibreCat
H. Selke, F. Winkelnkemper, in: J.{\ "o} rg Desel, J {\" o} rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.
2012 | Conference Paper | LibreCat-ID: 27181
Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten
H.G. Fischer, T. Geis, O. Kluge, C. Bogner, Knut Polkehn, in: German UPA, 2012.
LibreCat
H.G. Fischer, T. Geis, O. Kluge, C. Bogner, Knut Polkehn, in: German UPA, 2012.
2012 | Conference Paper | LibreCat-ID: 27182
Base Requirements for Virtual Tabletop Groupware Artifacts
M. Tobias, K. Nebe, F. Klompmaker, in: 2012.
LibreCat
M. Tobias, K. Nebe, F. Klompmaker, in: 2012.
2012 | Journal Article | LibreCat-ID: 27183
Collaborative work on interactive displays - design, operation and fields of application
H.G. Fischer, Florian Klompmaker, M & C, Humans and Computers (2012).
LibreCat
H.G. Fischer, Florian Klompmaker, M & C, Humans and Computers (2012).
2012 | Conference Paper | LibreCat-ID: 27184
Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich
R. Keil, in: Universit{\"a}t Paderborn, Paderborn, 2012, pp. 270–277.
LibreCat
R. Keil, in: Universit{\"a}t Paderborn, Paderborn, 2012, pp. 270–277.
2012 | Conference Paper | LibreCat-ID: 27185
EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS
F. Klompmaker, Alexander Dridger, K. Nebe, in: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, ASME, 2012.
LibreCat
F. Klompmaker, Alexander Dridger, K. Nebe, in: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, ASME, 2012.
2012 | Conference Paper | LibreCat-ID: 27187
Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.
LibreCat
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.
2012 | Conference Paper | LibreCat-ID: 27189
Durchl {\ "a} ssigkeitsorientierte Bildung
R. Keil, Dominik Niehus, D. Ossenschmidt, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 80–94.
LibreCat
R. Keil, Dominik Niehus, D. Ossenschmidt, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 80–94.
2012 | Journal Article | LibreCat-ID: 27190
Automatic emotion recognition - technologies, interpretation and applications
M. Brand, F. Klompmaker, P. Schleining, F. Weiss, Computer Science Spectrum 35 (2012).
LibreCat
M. Brand, F. Klompmaker, P. Schleining, F. Weiss, Computer Science Spectrum 35 (2012).
2012 | Conference Paper | LibreCat-ID: 27192
Enriching Disaster Control Management based on Human-Centered Design
H.G. Fischer, F. Klompmaker, in: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada, 2012.
LibreCat
H.G. Fischer, F. Klompmaker, in: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada, 2012.