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.
9824 Publications
2012 | Book Chapter | LibreCat-ID: 2919
@inbook{Kakvi_Kiltz_2012, place={Berlin, Heidelberg}, title={Optimal Security Proofs for Full Domain Hash, Revisited}, DOI={10.1007/978-3-642-29011-4_32}, booktitle={Advances in Cryptology – EUROCRYPT 2012}, publisher={Springer Berlin Heidelberg}, author={Kakvi, Saqib and Kiltz, Eike}, year={2012}, pages={537–553} }
LibreCat
| DOI
| Download (ext.)
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 | 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
2012 | Conference Paper | LibreCat-ID: 27184
@inproceedings{Keil_2012, place={Paderborn}, title={Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich}, publisher={Universit{\"a}t Paderborn}, author={Keil, Reinhard}, year={2012}, pages={270–277} }
LibreCat
2012 | Conference Paper | LibreCat-ID: 27185
@inproceedings{Klompmaker_Dridger_Nebe_2012, title={EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS}, booktitle={Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference}, publisher={ASME}, author={Klompmaker, Florian and Dridger, Alexander and Nebe, Karsten}, year={2012} }
LibreCat