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.
5950 Publications
2013 | Conference Paper | LibreCat-ID: 3876
Wachsmuth, Henning, Mirko Rose, and Gregor Engels. “Automatic Pipeline Construction for Real-Time Annotation.” In 14th International Conference on Intelligent Text Processing and Computational Linguistics, edited by Alexander Gelbukh, 38–49. Lecture Notes in Computer Science, 2013.
LibreCat
| Download (ext.)
2013 | Dissertation | LibreCat-ID: 2909
Kuntze, Daniel. Practical Algorithms for Clustering and Modeling Large Data Sets - Analysis and Improvements. Universität Paderborn, 2013.
LibreCat
| Download (ext.)
2013 | Report | LibreCat-ID: 2917
Juhnke, Jakob, Hanno Lefmann, and Volker Strehl. An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 2979
Blömer, Johannes, Peter Günther, and Gennadij Liske. “Improved Side Channel Attacks on Pairing Based Cryptography.” In Constructive Side-Channel Analysis and Secure Design, 154–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-40026-1_10.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3129
Jager, Tibor, and Jörg Schwenk. “On the Analysis of Cryptographic Assumptions in the Generic Ring Model.” J. Cryptology, no. 2 (2013): 225--245. https://doi.org/10.1007/s00145-012-9120-y.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl, Florian, Dennis Hofheinz, Tibor Jager, Jessica Koch, Jae Hong Seo, and Christoph Striecks. “Practical Signatures from Standard Assumptions.” In Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings, 461--485, 2013. https://doi.org/10.1007/978-3-642-38348-9_28.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
Jager, Tibor, Kenneth G. Paterson, and Juraj Somorovsky. “One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography.” In 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, Tobias, Dominik Steenken, and Heike Wehrheim. “Bounded Model Checking of Graph Transformation Systems via {SMT} Solving.” In Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, edited by Dirk Beyer and Michele Boreale, 178--192. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-38592-6_13.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, Oleg, Annika Mütze, and Heike Wehrheim. “{SPIN} as a Linearizability Checker under Weak Memory Models.” In Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, edited by Valeria Bertacco and Axel Legay, 311--326. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-319-03077-7_21.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, Brijesh, Oleg Travkin, John Derrick, and Heike Wehrheim. “A High-Level Semantics for Program Execution under Total Store Order Memory.” In Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, edited by Zhiming Liu, Jim Woodcock, and Huibiao Zhu, 177--194. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-39718-9_11.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
Ziegert, Steffen, and Heike Wehrheim. “Temporal Reconfiguration Plans for Self-Adaptive Systems.” In Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, edited by Stefan Kowalewski and Bernhard Rumpe, 271--284. {LNI}, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier, Jürgen, Michael Grafe, and Friedhelm Meyer auf der Heide. “11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung,” Vol. 311. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27168
Keil, Reinhard, and Felix Winkelnkemper. “Approaches for an Informational Separation of Powers in Learning Platforms,” 131–42. Society for Informatics, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
Fischer, Holger Gerhard, Thomas Geis, Rolf Molich, Oliver Kluge, R{\"u}diger Heimg{\"a}rtner, Peter Hunkirchen, and Knut Polkehn. “„Do You Speak Usability?“ – Aktueller Stand Des Glossars Und Des Curriculums F{\"u}r Den „Certified Professional for Usability and User Experience (CPUX)“ Der German UPA,” 28–34. German UPA, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
K {\ "u} hnel, Birger. Contextual Tagging in the Coactive Knowledge Organization. Universit {\" a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Heinz Nixdorf Institute, Universit {\ "a} t Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
Fischer, Holger Gerhard, Benjamin Strenge, and Karsten Nebe. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.” LNCS 8012. Springer Verlag, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
Keil, Reinhard, Harald Selke, and Felix Winkelnkemper. “Computer Science and Education - A Struggle for Creative Sovereignty in Society?” FIfF-Kommunikation, 2013, 61–65.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
Keil, Reinhard. “Media Contexts - Context Media,” 217–26. Berlin: Verbrecher Verlag, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27175
Klompmaker, Florian, Volker Paelke, and Holger Gerhard Fischer. “A Taxonomy-Based Approach Towards NUI Interaction Design.” LNCS 8028. Springer Verlag, 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann, Paul. Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH, 2013.
LibreCat