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
Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition.” In Proceedings of the 9th IEEE International Conference on Services Computing (SCC). IEEE, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Khaluf, Yara, Fabian Weiss, and Sebastian Micus. “Master Election for Time Synchronization in Swarm Robotic Systems.” In The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications. Leganés, Madrid, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks.” In Third International Conference on Networks & Communications, LNICST. Bangalore, India: Springer, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3812
Wachsmuth, Henning, and Benno Stein. “Optimal Scheduling of Information Extraction Algorithms.” In Proceedings of COLING 2012: Posters, 1281–90, 2012.
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 2918
Kakvi, Saqib, Eike Kiltz, and Alexander May. “Certifying RSA.” In Advances in Cryptology – ASIACRYPT 2012, 404–14. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-34961-4_25.
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 2919
Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash, Revisited.” In Advances in Cryptology – EUROCRYPT 2012, 537–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-29011-4_32.
LibreCat
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 2982
Ackermann, Marcel Rudolf, Marcus Märtens, Christoph Raupach, Kamil Swierkot, Christiane Lammersen, and Christian Sohler. “StreamKM++: A Clustering Algorithm for Data Streams.” ACM Journal of Experimental Algorithmics. New York, NY, USA: ACM, 2012. https://doi.org/10.1145/2133803.2184450.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2984
Blömer, Johannes. “Turing Und Kryptografie.” Informatik-Spektrum 35, no. 4 (2012). https://doi.org/10.1007/s00287-012-0622-7.
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 3132
Jager, Tibor. On Black-Box Models of Computation in Cryptology. Ruhr University Bochum, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
Jager, Tibor, Florian Kohlar, Sven Schäge, and Jörg 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, 273--293, 2012. https://doi.org/10.1007/978-3-642-32009-5_17.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
Hofheinz, Dennis, and Tibor 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, 590--607, 2012. https://doi.org/10.1007/978-3-642-32009-5_35.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
Jager, Tibor, Sebastian Schinzel, and Juraj 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, 752--769, 2012. https://doi.org/10.1007/978-3-642-33167-1_43.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz, Dennis, Tibor Jager, and Edward 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, 66--83, 2012. https://doi.org/10.1007/978-3-642-30057-8_5.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
Travkin, Oleg, Heike Wehrheim, and Gerhard Schellhorn. “Proving Linearizability of Multiset with Local Proof Obligations.” {ECEASST}, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
Ruhroth, Thomas, and Heike Wehrheim. “Model Evolution and Refinement.” Sci. Comput. Program., no. 3 (2012): 270--289. https://doi.org/10.1016/j.scico.2011.04.007.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn, Gerhard, Heike Wehrheim, and John Derrick. “How to Prove Algorithms Linearisable.” In Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 243--259. Lecture Notes in Computer Science, 2012. https://doi.org/10.1007/978-3-642-31424-7_21.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 27176
Engbring, Dieter, and Harald Selke. “Computer Science and Society as a Field of Computer Science.” Edited by Peter Forbrig, Detlef Rick, and Axel Schmolitzky. Commentarii Informaticae Didacticae. Universit { \ "a} tsverlag Potsda, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker, Florian, Anke Workowski, Wolfgang Thronicke, Florian Ostermair, Detlev Willemsen, and D Hoffmann. “User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker, Florian, Karsten Nebe, and Julien Eschenlohr. “Towards Multimodal 3D Tabletop Interaction Using Sensor Equipped Mobile Devices .” Springer, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
Selke, Harald, and Felix Winkelnkemper. “The Technical Potential of Digital Boards.” edited by J {\ "o} rg Desel, J {\" o} rg Haake, and Christian Spannagel, 171–82, 2012.
LibreCat