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.

5693 Publications


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
 

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
 

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
 

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
 

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
 

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.)
 

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
 

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.)
 

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
 

2012 | Journal Article | LibreCat-ID: 2984
Turing und Kryptografie
J. Blömer, Informatik-Spektrum 35 (2012).
LibreCat | DOI
 

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
 

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
 

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
 

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
 

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
 

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

2012 | Journal Article | LibreCat-ID: 3181
Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3182
How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), 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
Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27177
User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27179
Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices
F. Klompmaker, K. Nebe, J. Eschenlohr, in: Springer, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27180
The technical potential of digital boards
H. Selke, F. Winkelnkemper, in: J.{\ "o} rg Desel, J {\" o} rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27181
Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten
H.G. Fischer, T. Geis, O. Kluge, C. Bogner, Knut Polkehn, in: German UPA, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27182
Base Requirements for Virtual Tabletop Groupware Artifacts
M. Tobias, K. Nebe, F. Klompmaker, in: 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 27183
Collaborative work on interactive displays - design, operation and fields of application
H.G. Fischer, Florian Klompmaker, M & C, Humans and Computers (2012).
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27184
Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich
R. Keil, in: Universit{\"a}t Paderborn, Paderborn, 2012, pp. 270–277.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27185
EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS
F. Klompmaker, Alexander Dridger, K. Nebe, in: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, ASME, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27187
Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27188
Summary and Outlook
R. Keil, H.-J.{\ "u} rgen Metternich, Steffan Ritzenhoff, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 112–115.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27189
Durchl {\ "a} ssigkeitsorientierte Bildung
R. Keil, Dominik Niehus, D. Ossenschmidt, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 80–94.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 27190
Automatic emotion recognition - technologies, interpretation and applications
M. Brand, F. Klompmaker, P. Schleining, F. Weiss, Computer Science Spectrum 35 (2012).
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27191
Passability in education - a challenge for {\" u} r the future
Reinhard Keil, Hans-J {\ "u} rgen Metternich, S. Ritzenhoff, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 15–17.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27192
Enriching Disaster Control Management based on Human-Centered Design
H.G. Fischer, F. Klompmaker, in: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada, 2012.
LibreCat
 

2012 | Report | LibreCat-ID: 27193
German UPA Qualit{\"a}tsstandard f{\"u}r Usability Engineering
K. Behrenbruch, C. Bogner, H.G. Fischer, T. Geis, C. Geitner, R{\"u}diger Heimg{\"a}rtner, B. Hofmann, Peter Hunkirchen, O. Kluge, B. Litzenberg, Rolf Molich, K. Polkehn, Y. Pysarenko, Dirk Zimmermann, German UPA Qualit{\"a}tsstandard F{\"u}r Usability Engineering, German UPA e.V. (Hrsg.), 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27194
Learning scenarios for school 2.0
M. Jakoblew, D. Niehus, H. Selke, in: N. Apostolopoulos, U. Mu {\ ss } mann, W. Coy, Andreas Schwill (Eds.), Waxmann Verlag, M {\ "u} nster, 2012, pp. 281–297.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27195
E-learning strategies: best practice or careful structural renewal?
Reinhard Keil, C. Schild, F. Winkelnkemper, in: Nicolas Apostolopoulos, U. Mu {\ ss} mann, W. Coy, A. Schwill (Eds.), 2012, pp. 137–155.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27196
dSensingNI – A Framework for Advanced Tangible Interaction using a Depth Camera
F. Klompmaker, K. Nebe, A. Fast, in: ACM Press, 2012, pp. 217–224.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27197
Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops
Florian Klompmaker, H.G. Fischer, H. Jung, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 2012, pp. 141–144.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 27198
Designing Multi-Modal Map-Based Interfaces for Disaster Management
V. Paelke, K. Nebe, Christian Geiger, F. Klompmaker, H.G. Fischer, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 2012, pp. 95–100.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 27617
Computer science and society - a lecture in the master's degree in computer science
H. Selke, FIfF Communication (2012).
LibreCat
 

2012 | Journal Article | LibreCat-ID: 27618
Interdisciplinary {\ "a} t as a challenge for {\" u} r e-learning research
R. Keil, M. Wessner, I -Com Magazine f {\ "u} r Interactive and Cooperative Media (2012).
LibreCat
 

2012 | Journal Article | LibreCat-ID: 27619
Between innovation and suitability for everyday use - "Lernstatt Paderborn"
R. Keil, Paderborn University {\ "a} Ts-Zeitschrift (2012).
LibreCat
 

2012 | Dissertation | LibreCat-ID: 27620
A coactive support approach for {\ "u} r processes of social reality construction in product creation processes
Kai Holzwei {\ ss} ig, A Coactive Support Approach for {\ "u} r Processes of Social Reality Construction in Product Creation Processes, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 2097
FPGA-based design and implementation of an approximate polynomial matrix EVD algorithm
S. Kasap, S. Redif, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2012, pp. 135–140.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 20974
Semi-automatic establishment and maintenance of valid traceability in automotive development processes
M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 2100
FPGA implementation of a second-order convolutive blind signal separation algorithm
S. Kasap, S. Redif, in: Int. Architecture and Engineering Symp. (ARCHENG), 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 2103
Comparison of Bayesian Move Prediction Systems for Computer Go
M. Wistuba, L. Schaefers, M. Platzner, in: Proc. IEEE Conf. on Computational Intelligence and Games (CIG), IEEE, 2012, pp. 91–99.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 2107
A Data Driven Science Gateway for Computational Workflows
R. Grunzke, G. Birkenheuer, D. Blunk, S. Breuers, A. Brinkmann, S. Gesing, S. Herres-Pawlis, O. Kohlbacher, J. Krüger, M. Kruse, R. Müller-Pfefferkorn, P. Schäfer, B. Schuller, T. Steinke, A. Zink, in: Proc. UNICORE Summit, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 17664
On the Admission of Dependent Flows in Powerful Sensor Networks
R. Cohen, I. Nudelman, G. Polevoy, in: Infocom’2012, Orlando, Florida, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 1882
Editorial for Algorithmic Aspects of Wireless Sensor Networks
S. Dolev, C. Scheideler, Theor. Comput. Sci. (2012) 1.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed