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.
1582 Publications
2012 | Book Chapter | LibreCat-ID: 3717
Error orientation and intuitive decision making
C. Harteis, F. Frost, in: J. Bauer, C. Harteis (Eds.), Human Fallibility. The Ambiguity of Errors for Work and Learning, 2012, pp. 141–153.
LibreCat
C. Harteis, F. Frost, in: J. Bauer, C. Harteis (Eds.), Human Fallibility. The Ambiguity of Errors for Work and Learning, 2012, pp. 141–153.
2012 | Conference Paper | LibreCat-ID: 3812
Optimal Scheduling of Information Extraction Algorithms
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
2012 | Book (Editor) | LibreCat-ID: 28935
Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung
R. Schulz-Zander, B. Eickelmann, H. Moser, H. Niesyto, P. Grell, eds., Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung, VS Verlag für Sozialwissenschaften, Wiesbaden, 2012.
LibreCat
R. Schulz-Zander, B. Eickelmann, H. Moser, H. Niesyto, P. Grell, eds., Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung, VS Verlag für Sozialwissenschaften, Wiesbaden, 2012.
2012 | Book Chapter | LibreCat-ID: 2918
Certifying RSA
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
LibreCat
| DOI
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
2012 | Book Chapter | LibreCat-ID: 2919
Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
LibreCat
| DOI
| Download (ext.)
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
2012 | Journal Article | LibreCat-ID: 2949
Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility
T. Gries, N. Bilkic, M. Pilichowski, Labour Economics 19 (2012) 706–717.
LibreCat
| DOI
T. Gries, N. Bilkic, M. Pilichowski, Labour Economics 19 (2012) 706–717.
2012 | Book Chapter | LibreCat-ID: 2950
Poverty in Shenzhen
T. Gries, J. Xue, in: L. Wang (Ed.), Rising China in the Changing World Economy, 2012, pp. 396–412.
LibreCat
T. Gries, J. Xue, in: L. Wang (Ed.), Rising China in the Changing World Economy, 2012, pp. 396–412.
2012 | Journal Article | LibreCat-ID: 2951
Economic performance and terrorist activity in Latin America
T. Gries, D. Meierrieks, Defence and Peace Economics 23 (2012) 447–470.
LibreCat
| DOI
T. Gries, D. Meierrieks, Defence and Peace Economics 23 (2012) 447–470.
2012 | Conference Paper | LibreCat-ID: 2982
StreamKM++: A clustering algorithm for data streams
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
LibreCat
| DOI
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
2012 | Journal Article | LibreCat-ID: 2984
Turing und Kryptografie
J. Blömer, Informatik-Spektrum 35 (2012).
LibreCat
| DOI
J. Blömer, Informatik-Spektrum 35 (2012).
2012 | Dissertation | LibreCat-ID: 3132
On black-box models of computation in cryptology
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
LibreCat
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
2012 | Conference Paper | LibreCat-ID: 3133
On the Security of TLS-DHE in the Standard Model
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293.
LibreCat
| DOI
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293.
2012 | Conference Paper | LibreCat-ID: 3134
Tightly Secure Signatures and Public-Key Encryption
D. Hofheinz, T. Jager, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607.
LibreCat
| DOI
D. Hofheinz, T. Jager, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607.
2012 | Conference Paper | LibreCat-ID: 3135
Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
LibreCat
| DOI
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
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.