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.
1567 Publications
2012 | Conference Paper | LibreCat-ID: 2982
Ackermann, M. R., Märtens, M., Raupach, C., Swierkot, K., Lammersen, C., & Sohler, C. (2012). StreamKM++: A clustering algorithm for data streams. New York, NY, USA: ACM. https://doi.org/10.1145/2133803.2184450
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2984
Blömer, J. (2012). Turing und Kryptografie. Informatik-Spektrum, 35(4). https://doi.org/10.1007/s00287-012-0622-7
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 3132
Jager, T. (2012). On black-box models of computation in cryptology. Ruhr University Bochum.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
Jager, T., Kohlar, F., Schäge, S., & Schwenk, J. (2012). On the Security of TLS-DHE in the Standard Model. In Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings (pp. 273--293). https://doi.org/10.1007/978-3-642-32009-5_17
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
Hofheinz, D., & Jager, T. (2012). Tightly Secure Signatures and Public-Key Encryption. In Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings (pp. 590--607). https://doi.org/10.1007/978-3-642-32009-5_35
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
Jager, T., Schinzel, S., & Somorovsky, J. (2012). Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption. In Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings (pp. 752--769). https://doi.org/10.1007/978-3-642-33167-1_43
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz, D., Jager, T., & Knapp, E. (2012). Waters Signatures with Optimal Security Reduction. In Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings (pp. 66--83). https://doi.org/10.1007/978-3-642-30057-8_5
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
Travkin, O., Wehrheim, H., & Schellhorn, G. (2012). Proving Linearizability of Multiset with Local Proof Obligations. {ECEASST}.
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
Ruhroth, T., & Wehrheim, H. (2012). Model evolution and refinement. Sci. Comput. Program., (3), 270--289. https://doi.org/10.1016/j.scico.2011.04.007
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn, G., Wehrheim, H., & Derrick, J. (2012). How to Prove Algorithms Linearisable. In P. Madhusudan & S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (pp. 243--259). https://doi.org/10.1007/978-3-642-31424-7_21
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 27067
Shi, L., Libuda, L., Schönau, E., Frassetto, L., & Remer, T. (2012). 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. Bone, 1026–1031. https://doi.org/10.1016/j.bone.2012.01.026
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 27074
Vyncke, K., Libuda, L., De Vriendt, T., Moreno, L., Van Winckel, M., Manios, Y., Gottrand, F., Molnar, D., Vanaelst, B., Sjöström, M., González-Gross, M., Censi, L., Widhalm, K., Michels, N., Gilbert, C., Xatzis, C., Cuenca García, M., de Heredia, F., De Henauw, S., … consortium, H. (2012). Dietary fatty acid intake, its food sources and determinants in European adolescents: the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) Study. Br J Nutr, 108(12), 2261–2273. https://doi.org/10.1017/s000711451200030x
LibreCat
| DOI
| PubMed | Europe PMC
2012 | Journal Article | LibreCat-ID: 27075
Duffey, K., Huybrechts, I., Mouratidou, T., Libuda, L., Kersting, M., De Vriendt, T., Gottrand, F., Widhalm, K., Dallongeville, J., Hallström, L., González-Gross, M., De Henauw, S., Moreno, L., Popkin, B., & Study group, H. (2012). Beverage consumption among European adolescents in the HELENA study. Eur J Clin Nutr, 66(2), 244–252. https://doi.org/10.1038/ejcn.2011.166
LibreCat
| DOI
| PubMed | Europe PMC
2012 | Conference Paper | LibreCat-ID: 27176
Engbring, D., & Selke, H. (2012). Computer science and society as a field of computer science (P. Forbrig, D. Rick, & A. Schmolitzky, Eds.; Vol. 5, pp. 111–116). Universit { \ "a} tsverlag Potsda.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker, F., Workowski, Anke , Thronicke, W., Ostermair, F., Willemsen, D., & Hoffmann, D. (2012). User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. 3rd International Conference on Wireless Mobile Communication and Healthcare.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker, F., Nebe, K., & Eschenlohr, J. (2012). Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices . Fourth International Conference on Mobile Computing, Applications and Services.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
Selke, H., & Winkelnkemper, F. (2012). The technical potential of digital boards (J. {\ "o} rg Desel, J {\" o} rg Haake, & C. Spannagel, Eds.; pp. 171–182).
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
Fischer, H. G., Geis, T., Kluge, O., Bogner, C., & Polkehn, Knut. (2012). Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten. Brau, H. et al. (Hrsg.): Jahresband Usability Professionals 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27182
Tobias, M., Nebe, K., & Klompmaker, F. (2012). Base Requirements for Virtual Tabletop Groupware Artifacts. Kollaboratives Arbeiten an interaktiven Displays, Workshop im Rahmen der Mensch und Computer 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 27183
Fischer, H. G., & Klompmaker, Florian. (2012). Collaborative work on interactive displays - design, operation and fields of application. M & C, Humans and Computers.
LibreCat