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.
9784 Publications
2012 | Book Chapter | LibreCat-ID: 26093
Khaluf, Y., Mathews, E., & Rammig, F.-J. (2012). Swarm Robotic Time Synchronization for Object Tracking. In M. T. Higuera-Toledano, U. Brinkschulte, & A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems (pp. 75–92). Springer.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26094
Rammig, F.-J. (2012). Biologically Inspired Information Technology: Towards a Cyber Biosphere. In T. Conradi, G. Ecker, N. O. Eke, & F. Muhle (Eds.), Schemata und Praktiken (pp. 141–160). Wilhelm Fink Verlag.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26102
Bin Tariq, F., & Korrapati, S. (2012). Adaptive Web Services for Modular and Reusable Software Development. In Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems (pp. 263–276). IGI Global.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26181
Jungmann, A., & Kleinjohann, B. (2012). Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 43–47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26190
Jungmann, A., & Kleinjohann, B. (2012). Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. Proceedings of the 9th IEEE International Conference on Services Computing (SCC).
LibreCat
2012 | Conference Paper | LibreCat-ID: 26212
Khaluf, Y., Weiss, F., & Micus, S. (2012). Master Election for Time Synchronization in Swarm Robotic Systems. The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications.
LibreCat
2012 | Conference Paper | LibreCat-ID: 26264
Mathews, E., & Mathew, C. (2012). Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks. Third International Conference on Networks & Communications, LNICST.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3812
Wachsmuth, H., & Stein, B. (2012). Optimal Scheduling of Information Extraction Algorithms. In Proceedings of COLING 2012: Posters (pp. 1281–1290).
LibreCat
| Download (ext.)
2012 | Book Chapter | LibreCat-ID: 2918
Kakvi, S., Kiltz, E., & May, A. (2012). Certifying RSA. In Advances in Cryptology – ASIACRYPT 2012 (pp. 404–414). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-34961-4_25
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 2919
Kakvi, S., & Kiltz, E. (2012). Optimal Security Proofs for Full Domain Hash, Revisited. In Advances in Cryptology – EUROCRYPT 2012 (pp. 537–553). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-29011-4_32
LibreCat
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 2982
Ackermann, M. R., Märtens, M., Raupach, C., Swierkot, K., Lammersen, C., & Sohler, C. (2012). StreamKM++: A clustering algorithm for data streams. New York, NY, USA: ACM. https://doi.org/10.1145/2133803.2184450
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 2984
Blömer, J. (2012). Turing und Kryptografie. Informatik-Spektrum, 35(4). https://doi.org/10.1007/s00287-012-0622-7
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 3132
Jager, T. (2012). On black-box models of computation in cryptology. Ruhr University Bochum.
LibreCat
2012 | Conference Paper | LibreCat-ID: 3133
Jager, T., Kohlar, F., Schäge, S., & Schwenk, J. (2012). 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 (pp. 273--293). https://doi.org/10.1007/978-3-642-32009-5_17
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3134
Hofheinz, D., & Jager, T. (2012). 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 (pp. 590--607). https://doi.org/10.1007/978-3-642-32009-5_35
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3135
Jager, T., Schinzel, S., & Somorovsky, J. (2012). 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 (pp. 752--769). https://doi.org/10.1007/978-3-642-33167-1_43
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3136
Hofheinz, D., Jager, T., & Knapp, E. (2012). 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 (pp. 66--83). https://doi.org/10.1007/978-3-642-30057-8_5
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 3180
Travkin, O., Wehrheim, H., & Schellhorn, G. (2012). Proving Linearizability of Multiset with Local Proof Obligations. {ECEASST}.
LibreCat
2012 | Journal Article | LibreCat-ID: 3181
Ruhroth, T., & Wehrheim, H. (2012). Model evolution and refinement. Sci. Comput. Program., (3), 270--289. https://doi.org/10.1016/j.scico.2011.04.007
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn, G., Wehrheim, H., & Derrick, J. (2012). How to Prove Algorithms Linearisable. In P. Madhusudan & S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (pp. 243--259). https://doi.org/10.1007/978-3-642-31424-7_21
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 27176
Engbring, D., & Selke, H. (2012). Computer science and society as a field of computer science (P. Forbrig, D. Rick, & A. Schmolitzky, Eds.; Vol. 5, pp. 111–116). Universit { \ "a} tsverlag Potsda.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker, F., Workowski, Anke , Thronicke, W., Ostermair, F., Willemsen, D., & Hoffmann, D. (2012). User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. 3rd International Conference on Wireless Mobile Communication and Healthcare.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker, F., Nebe, K., & Eschenlohr, J. (2012). Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices . Fourth International Conference on Mobile Computing, Applications and Services.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
Selke, H., & Winkelnkemper, F. (2012). The technical potential of digital boards (J. {\ "o} rg Desel, J {\" o} rg Haake, & C. Spannagel, Eds.; pp. 171–182).
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
Fischer, H. G., Geis, T., Kluge, O., Bogner, C., & Polkehn, Knut. (2012). Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten. Brau, H. et al. (Hrsg.): Jahresband Usability Professionals 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27182
Tobias, M., Nebe, K., & Klompmaker, F. (2012). Base Requirements for Virtual Tabletop Groupware Artifacts. Kollaboratives Arbeiten an interaktiven Displays, Workshop im Rahmen der Mensch und Computer 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 27183
Fischer, H. G., & Klompmaker, Florian. (2012). Collaborative work on interactive displays - design, operation and fields of application. M & C, Humans and Computers.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27184
Keil, R. (2012). Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich. 270–277.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27185
Klompmaker, F., Dridger, Alexander , & Nebe, K. (2012). EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS. Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27187
Fischer, H. G. (2012). Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards. Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 321–324.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27188
Keil, R., Metternich, H.-J. {\ "u} rgen, & Ritzenhoff, Steffan. (2012). Summary and Outlook (R. Keil, H.-J. {\ "u} rgen Metternich, & S. Ritzenhoff, Eds.; pp. 112–115).
LibreCat
2012 | Conference Paper | LibreCat-ID: 27189
Keil, R., Niehus, Dominik, & Ossenschmidt, D. (2012). Durchl {\ "a} ssigkeitsorientierte Bildung (R. Keil, H.-J. {\ "u} rgen Metternich, & S. Ritzenhoff, Eds.; pp. 80–94).
LibreCat
2012 | Journal Article | LibreCat-ID: 27190
Brand, M., Klompmaker, F., Schleining, P., & Weiss, F. (2012). Automatic emotion recognition - technologies, interpretation and applications. Computer Science Spectrum, 35(2).
LibreCat
2012 | Conference Paper | LibreCat-ID: 27191
Keil, Reinhard , Metternich, Hans-J {\ "u} rgen, & Ritzenhoff, S. (2012). Passability in education - a challenge for {\" u} r the future (R. Keil, H.-J. {\ "u} rgen Metternich, & S. Ritzenhoff, Eds.; pp. 15–17).
LibreCat
2012 | Conference Paper | LibreCat-ID: 27192
Fischer, H. G., & Klompmaker, F. (2012). Enriching Disaster Control Management based on Human-Centered Design. Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada.
LibreCat
2012 | Report | LibreCat-ID: 27193
Behrenbruch, K., Bogner, C., Fischer, H. G., Geis, T., Geitner, C., Heimg{\"a}rtner, R{\"u}diger, Hofmann, B., Hunkirchen, Peter, Kluge, O., Litzenberg, B., Molich, Rolf, Polkehn, K., Pysarenko, Y., & Zimmermann, Dirk. (2012). German UPA Qualit{\"a}tsstandard f{\"u}r Usability Engineering.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27194
Jakoblew, M., Niehus, D., & Selke, H. (2012). Learning scenarios for school 2.0 (N. Apostolopoulos, U. Mu {\ ss } mann, W. Coy, & Andreas Schwill, Eds.; pp. 281–297). Waxmann Verlag, M {\ "u} nster.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27195
Keil, Reinhard , Schild, C., & Winkelnkemper, F. (2012). E-learning strategies: best practice or careful structural renewal? ( Nicolas Apostolopoulos, U. Mu {\ ss} mann, W. Coy, & A. Schwill, Eds.; pp. 137–155).
LibreCat
2012 | Conference Paper | LibreCat-ID: 27196
Klompmaker, F., Nebe, K., & Fast, A. (2012). dSensingNI – A Framework for Advanced Tangible Interaction using a Depth Camera. 217–224.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27197
Klompmaker, Florian , Fischer, H. G., & Jung, H. (2012). Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops. Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 141–144.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27198
Paelke, V., Nebe, K., Geiger, Christian, Klompmaker, F., & Fischer, H. G. (2012). Designing Multi-Modal Map-Based Interfaces for Disaster Management. Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 95–100.
LibreCat
2012 | Journal Article | LibreCat-ID: 27617
Selke, H. (2012). Computer science and society - a lecture in the master’s degree in computer science. FIfF Communication.
LibreCat
2012 | Journal Article | LibreCat-ID: 27618
Keil, R., & Wessner, M. (2012). Interdisciplinary {\ “a} t as a challenge for {\” u} r e-learning research. I -Com Magazine f {\ "u} r Interactive and Cooperative Media.
LibreCat
2012 | Journal Article | LibreCat-ID: 27619
Keil, R. (2012). Between innovation and suitability for everyday use - “Lernstatt Paderborn.” Paderborn University {\ "a} Ts-Zeitschrift.
LibreCat
2012 | Dissertation | LibreCat-ID: 27620
Holzwei {\ ss} ig, Kai. (2012). A coactive support approach for {\ "u} r processes of social reality construction in product creation processes.
LibreCat
2012 | Conference Paper | LibreCat-ID: 2097
Kasap, S., & Redif, S. (2012). FPGA-based design and implementation of an approximate polynomial matrix EVD algorithm. In Proc. Int. Conf. on Field Programmable Technology (ICFPT) (pp. 135–140). IEEE Computer Society. https://doi.org/10.1109/FPT.2012.6412125
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 20974
Fockel, M., Holtmann, J., & Meyer, J. (2012). Semi-automatic establishment and maintenance of valid traceability in automotive development processes. 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES). https://doi.org/10.1109/sees.2012.6225489
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 2100
Kasap, S., & Redif, S. (2012). FPGA implementation of a second-order convolutive blind signal separation algorithm. In Int. Architecture and Engineering Symp. (ARCHENG).
LibreCat
2012 | Conference Paper | LibreCat-ID: 2103
Wistuba, M., Schaefers, L., & Platzner, M. (2012). Comparison of Bayesian Move Prediction Systems for Computer Go. In Proc. IEEE Conf. on Computational Intelligence and Games (CIG) (pp. 91–99). IEEE. https://doi.org/10.1109/CIG.2012.6374143
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 2107
Grunzke, R., Birkenheuer, G., Blunk, D., Breuers, S., Brinkmann, A., Gesing, S., … Zink, A. (2012). A Data Driven Science Gateway for Computational Workflows. In Proc. UNICORE Summit.
LibreCat