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.

5933 Publications


2012 | Conference Paper | LibreCat-ID: 26190
A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26212
Y. Khaluf, F. Weiss, and S. Micus, “Master Election for Time Synchronization in Swarm Robotic Systems,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 26264
E. Mathews and C. Mathew, “Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks,” 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 3812
H. Wachsmuth and B. Stein, “Optimal Scheduling of Information Extraction Algorithms,” in Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
LibreCat | Download (ext.)
 

2012 | Book Chapter | LibreCat-ID: 2918
S. Kakvi, E. Kiltz, and A. May, “Certifying RSA,” in Advances in Cryptology – ASIACRYPT 2012, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 404–414.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 2919
S. Kakvi and E. Kiltz, “Optimal Security Proofs for Full Domain Hash, Revisited,” in Advances in Cryptology – EUROCRYPT 2012, Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 537–553.
LibreCat | DOI | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 2982
M. R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, and C. Sohler, “StreamKM++: A clustering algorithm for data streams,” vol. 17. ACM, New York, NY, USA, 2012.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 2984
J. Blömer, “Turing und Kryptografie,” Informatik-Spektrum, vol. 35, no. 4, 2012.
LibreCat | DOI
 

2012 | Dissertation | LibreCat-ID: 3132
T. Jager, On black-box models of computation in cryptology. Ruhr University Bochum, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 3133
T. Jager, F. Kohlar, S. Schäge, and J. Schwenk, “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, 2012, pp. 273--293.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3134
D. Hofheinz and T. Jager, “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, 2012, pp. 590--607.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3135
T. Jager, S. Schinzel, and J. Somorovsky, “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, 2012, pp. 752--769.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3136
D. Hofheinz, T. Jager, and E. Knapp, “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, 2012, pp. 66--83.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 3180
O. Travkin, H. Wehrheim, and G. Schellhorn, “Proving Linearizability of Multiset with Local Proof Obligations,” {ECEASST}, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 3181
T. Ruhroth and H. Wehrheim, “Model evolution and refinement,” Sci. Comput. Program., no. 3, pp. 270--289, 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3182
G. Schellhorn, H. Wehrheim, and J. Derrick, “How to Prove Algorithms Linearisable,” in Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 27176
D. Engbring and H. Selke, “Computer science and society as a field of computer science,” vol. 5. Universit { \ "a} tsverlag Potsda, pp. 111–116, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27177
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, and D. Hoffmann, “User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes,” presented at the 3rd International Conference on Wireless Mobile Communication and Healthcare, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27179
F. Klompmaker, K. Nebe, and J. Eschenlohr, “Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices ,” presented at the Fourth International Conference on Mobile Computing, Applications and Services, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27180
H. Selke and F. Winkelnkemper, “The technical potential of digital boards,” 2012, pp. 171–182.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed