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.
1572 Publications
2012 | Conference Paper | LibreCat-ID: 2982
@article{Ackermann_Märtens_Raupach_Swierkot_Lammersen_Sohler_2012, place={New York, NY, USA}, series={ACM Journal of Experimental Algorithmics}, title={StreamKM++: A clustering algorithm for data streams}, volume={17}, DOI={10.1145/2133803.2184450}, publisher={ACM}, author={Ackermann, Marcel Rudolf and Märtens, Marcus and Raupach, Christoph and Swierkot, Kamil and Lammersen, Christiane and Sohler, Christian}, year={2012}, collection={ACM Journal of Experimental Algorithmics} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2984
@article{Blömer_2012, title={Turing und Kryptografie}, volume={35}, DOI={10.1007/s00287-012-0622-7}, number={4}, journal={Informatik-Spektrum}, author={Blömer, Johannes}, year={2012} }
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 3132
@book{Jager_2012, title={On black-box models of computation in cryptology}, publisher={Ruhr University Bochum}, author={Jager, Tibor}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
@inproceedings{Jager_Kohlar_Schäge_Schwenk_2012, title={On the Security of TLS-DHE in the Standard Model}, DOI={10.1007/978-3-642-32009-5_17}, booktitle={Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings}, author={Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg}, year={2012}, pages={273--293} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
@inproceedings{Hofheinz_Jager_2012, title={Tightly Secure Signatures and Public-Key Encryption}, DOI={10.1007/978-3-642-32009-5_35}, booktitle={Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings}, author={Hofheinz, Dennis and Jager, Tibor}, year={2012}, pages={590--607} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
@inproceedings{Jager_Schinzel_Somorovsky_2012, title={Bleichenbacher’s Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption}, DOI={10.1007/978-3-642-33167-1_43}, booktitle={Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings}, author={Jager, Tibor and Schinzel, Sebastian and Somorovsky, Juraj}, year={2012}, pages={752--769} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
@inproceedings{Hofheinz_Jager_Knapp_2012, title={Waters Signatures with Optimal Security Reduction}, DOI={10.1007/978-3-642-30057-8_5}, booktitle={Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings}, author={Hofheinz, Dennis and Jager, Tibor and Knapp, Edward}, year={2012}, pages={66--83} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
@article{Travkin_Wehrheim_Schellhorn_2012, title={Proving Linearizability of Multiset with Local Proof Obligations}, journal={{ECEASST}}, author={Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
@article{Ruhroth_Wehrheim_2012, title={Model evolution and refinement}, DOI={10.1016/j.scico.2011.04.007}, number={3}, journal={Sci. Comput. Program.}, author={Ruhroth, Thomas and Wehrheim, Heike}, year={2012}, pages={270--289} }
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
@inproceedings{Schellhorn_Wehrheim_Derrick_2012, series={Lecture Notes in Computer Science}, title={How to Prove Algorithms Linearisable}, DOI={10.1007/978-3-642-31424-7_21}, booktitle={Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, author={Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John}, editor={Madhusudan, P. and A. Seshia, SanjitEditors}, year={2012}, pages={243--259}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 27067
@article{Shi_Libuda_Schönau_Frassetto_Remer_2012, title={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}, DOI={10.1016/j.bone.2012.01.026}, journal={Bone}, author={Shi, Lijie and Libuda, Lars and Schönau, Eckhard and Frassetto, Lynda and Remer, Thomas}, year={2012}, pages={1026–1031} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 27074
@article{Vyncke_Libuda_De Vriendt_Moreno_Van Winckel_Manios_Gottrand_Molnar_Vanaelst_Sjöström_et al._2012, title={Dietary fatty acid intake, its food sources and determinants in European adolescents: the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) Study.}, volume={108}, DOI={10.1017/s000711451200030x}, number={12}, journal={Br J Nutr}, author={Vyncke, KE and Libuda, Lars and De Vriendt, T and Moreno, LA and Van Winckel, M and Manios, Y and Gottrand, F and Molnar, D and Vanaelst, B and Sjöström, M and et al.}, year={2012}, pages={2261–2273} }
LibreCat
| DOI
| PubMed | Europe PMC
2012 | Journal Article | LibreCat-ID: 27075
@article{Duffey_Huybrechts_Mouratidou_Libuda_Kersting_De Vriendt_Gottrand_Widhalm_Dallongeville_Hallström_et al._2012, title={Beverage consumption among European adolescents in the HELENA study.}, volume={66}, DOI={10.1038/ejcn.2011.166}, number={2}, journal={Eur J Clin Nutr}, author={Duffey, KJ and Huybrechts, I and Mouratidou, T and Libuda, Lars and Kersting, M and De Vriendt, T and Gottrand, F and Widhalm, K and Dallongeville, J and Hallström, L and et al.}, year={2012}, pages={244–252} }
LibreCat
| DOI
| PubMed | Europe PMC
2012 | Conference Paper | LibreCat-ID: 27176
@article{Engbring_Selke_2012, series={Commentarii informaticae didacticae}, title={Computer science and society as a field of computer science}, volume={5}, publisher={Universit { \ "a} tsverlag Potsda}, author={Engbring, Dieter and Selke, Harald}, editor={Forbrig, Peter and Rick, Detlef and Schmolitzky, Axel}, year={2012}, pages={111–116}, collection={Commentarii informaticae didacticae} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
@inproceedings{Klompmaker_ Workowski_Thronicke_Ostermair_Willemsen_Hoffmann_2012, title={User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes}, author={Klompmaker, Florian and Workowski, Anke and Thronicke, Wolfgang and Ostermair, Florian and Willemsen, Detlev and Hoffmann, D}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
@inproceedings{Klompmaker_ Nebe_Eschenlohr_2012, title={Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices }, publisher={Springer}, author={Klompmaker, Florian and Nebe, Karsten and Eschenlohr, Julien}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
@inproceedings{Selke_Winkelnkemper_2012, title={The technical potential of digital boards}, author={Selke, Harald and Winkelnkemper, Felix}, editor={Desel, J {\ "o} rg and Haake, J {\" o} rg and Spannagel, Christian}, year={2012}, pages={171–182} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
@inproceedings{Fischer_Geis_Kluge_Bogner_ Polkehn_2012, title={Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and Kluge, Oliver and Bogner, Christian and Polkehn, Knut}, year={2012} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27182
@inproceedings{Tobias_Nebe_ Klompmaker_2012, title={Base Requirements for Virtual Tabletop Groupware Artifacts}, author={Tobias, M{\"u}ller and Nebe, Karsten and Klompmaker, Florian}, year={2012} }
LibreCat
2012 | Journal Article | LibreCat-ID: 27183
@article{Fischer_Klompmaker_2012, title={Collaborative work on interactive displays - design, operation and fields of application}, journal={M & C, humans and computers}, author={Fischer, Holger Gerhard and Klompmaker, Florian}, year={2012} }
LibreCat