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.
9825 Publications
2012 | Conference Paper | LibreCat-ID: 26092
Virtual Prototyping of Cyber-Physical Systems
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
LibreCat
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
2012 | Book Chapter | LibreCat-ID: 26093
Swarm Robotic Time Synchronization for Object Tracking
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
LibreCat
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
2012 | Book Chapter | LibreCat-ID: 26094
Biologically Inspired Information Technology: Towards a Cyber Biosphere
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
LibreCat
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
2012 | Book Chapter | LibreCat-ID: 26102
Adaptive Web Services for Modular and Reusable Software Development
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
LibreCat
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
2012 | Conference Paper | LibreCat-ID: 26181
Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
2012 | Conference Paper | LibreCat-ID: 26190
Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 26212
Master Election for Time Synchronization in Swarm Robotic Systems
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
LibreCat
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
2012 | Conference Paper | LibreCat-ID: 26264
Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
LibreCat
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
2012 | Conference Paper | LibreCat-ID: 3812
Optimal Scheduling of Information Extraction Algorithms
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
2012 | Book Chapter | LibreCat-ID: 2918
Certifying RSA
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
LibreCat
| DOI
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
2012 | Book Chapter | LibreCat-ID: 2919
Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
LibreCat
| DOI
| Download (ext.)
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
2012 | Conference Paper | LibreCat-ID: 2982
StreamKM++: A clustering algorithm for data streams
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
LibreCat
| DOI
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
2012 | Journal Article | LibreCat-ID: 2984
Turing und Kryptografie
J. Blömer, Informatik-Spektrum 35 (2012).
LibreCat
| DOI
J. Blömer, Informatik-Spektrum 35 (2012).
2012 | Dissertation | LibreCat-ID: 3132
On black-box models of computation in cryptology
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
LibreCat
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
2012 | Conference Paper | LibreCat-ID: 3133
On the Security of TLS-DHE in the Standard Model
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, 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
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293.
2012 | Conference Paper | LibreCat-ID: 3134
Tightly Secure Signatures and Public-Key Encryption
D. Hofheinz, T. Jager, 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
D. Hofheinz, T. Jager, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607.
2012 | Conference Paper | LibreCat-ID: 3135
Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption
T. Jager, S. Schinzel, J. Somorovsky, 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
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
2012 | Conference Paper | LibreCat-ID: 3136
Waters Signatures with Optimal Security Reduction
D. Hofheinz, T. Jager, E. Knapp, 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
D. Hofheinz, T. Jager, E. Knapp, 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.
2012 | Journal Article | LibreCat-ID: 3180
Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
LibreCat
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
2012 | Journal Article | LibreCat-ID: 3181
Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.