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.
5676 Publications
2013 | Bachelorsthesis | LibreCat-ID: 2868
Laudemann, S. (2013). Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
Leder, L. (2013). Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner, G., Götz, M., Rettberg, A., Zanella, M. C., & Rammig, F.-J. (Eds.). (2013). Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
Khaluf, L., & Rammig, F.-J. (2013). Organic Programming of Real-Time Operating Systems. The Ninth International Conference on Autonomic and Autonomous Systems.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, H., Dellnitz, M., Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Horenkamp, C., Kleinjohann, L., Kleinjohann, B., Korf, S., Krüger, M., Müller, W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski, W., Rasche, C., Rieke, J., … Ziegert, S. (2013). Methods for the Design and Development. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future (pp. 187–356). Springer-Verlag.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3813
Wachsmuth, H., Stein, B., & Engels, G. (2013). Learning Efficient Information Extraction on Heterogeneous Texts. In A. Gelbukh (Ed.), Proceedings of the Sixth International Joint Conference on Natural Language Processing (pp. 534–542).
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3814
Wachsmuth, H., Stein, B., & Engels, G. (2013). Information Extraction as a Filtering Task. In Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management (pp. 2049–2058).
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3876
Wachsmuth, H., Rose, M., & Engels, G. (2013). Automatic Pipeline Construction for Real-Time Annotation. In A. Gelbukh (Ed.), 14th International Conference on Intelligent Text Processing and Computational Linguistics (pp. 38–49).
LibreCat
| Download (ext.)
2013 | Dissertation | LibreCat-ID: 2909
Kuntze, D. (2013). Practical algorithms for clustering and modeling large data sets - Analysis and improvements. Universität Paderborn.
LibreCat
| Download (ext.)
2013 | Report | LibreCat-ID: 2917
Juhnke, J., Lefmann, H., & Strehl, V. (2013). An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI.
LibreCat
2013 | Book Chapter | LibreCat-ID: 2979
Blömer, J., Günther, P., & Liske, G. (2013). Improved Side Channel Attacks on Pairing Based Cryptography. In Constructive Side-Channel Analysis and Secure Design (pp. 154–168). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-40026-1_10
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3129
Jager, T., & Schwenk, J. (2013). On the Analysis of Cryptographic Assumptions in the Generic Ring Model. J. Cryptology, (2), 225--245. https://doi.org/10.1007/s00145-012-9120-y
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl, F., Hofheinz, D., Jager, T., Koch, J., Hong Seo, J., & Striecks, C. (2013). 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 (pp. 461--485). https://doi.org/10.1007/978-3-642-38348-9_28
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
Jager, T., Paterson, K. G., & Somorovsky, J. (2013). 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.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, T., Steenken, D., & Wehrheim, H. (2013). Bounded Model Checking of Graph Transformation Systems via {SMT} Solving. In D. Beyer & M. Boreale (Eds.), 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 (pp. 178--192). https://doi.org/10.1007/978-3-642-38592-6_13
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, O., Mütze, A., & Wehrheim, H. (2013). {SPIN} as a Linearizability Checker under Weak Memory Models. In V. Bertacco & A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings (pp. 311--326). https://doi.org/10.1007/978-3-319-03077-7_21
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, B., Travkin, O., Derrick, J., & Wehrheim, H. (2013). A High-Level Semantics for Program Execution under Total Store Order Memory. In Z. Liu, J. Woodcock, & H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings (pp. 177--194). https://doi.org/10.1007/978-3-642-39718-9_11
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
Ziegert, S., & Wehrheim, H. (2013). Temporal Reconfiguration Plans for Self-Adaptive Systems. In S. Kowalewski & B. Rumpe (Eds.), Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen (pp. 271--284).
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier, J., Grafe, M., & Meyer auf der Heide, F. (2013). 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. 311.
LibreCat