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.
6951 Publications
2016 | Conference Paper | LibreCat-ID: 3117
Bader, C., Jager, T., Li, Y., & Schäge, S. (2016). On the Impossibility of Tight Cryptographic Reductions. In Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II (pp. 273--304). https://doi.org/10.1007/978-3-662-49896-5_10
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
Hofheinz, D., Jager, T., & Rupp, A. (2016). Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts. In Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II (pp. 146--168). https://doi.org/10.1007/978-3-662-53644-5_6
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz, D., & Jager, T. (2016). Verifiable Random Functions from Standard Assumptions. In Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I (pp. 336--362). https://doi.org/10.1007/978-3-662-49096-9_14
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, S., & Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. In M. H. ter Beek, S. Gnesi, & A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings (pp. 189--204). https://doi.org/10.1007/978-3-319-45943-1_13
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin, O., & Wehrheim, H. (2016). Verification of Concurrent Programs on Weak Memory Models. In A. Sampaio & F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings (pp. 3--24). https://doi.org/10.1007/978-3-319-46750-4_1
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, G., Travkin, O., & Wehrheim, H. (2016). Towards a Thread-Local Proof Technique for Starvation Freedom. In M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (pp. 193--209). https://doi.org/10.1007/978-3-319-33693-0_13
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
Muckelbauer, R., Gortmaker, S. L., Libuda, L., Kersting, M., Clausen, K., Adelberger, B., & Müller-Nordhorn, J. (2016). Changes in water and sugar-containing beverage consumption and body weight outcomes in children. British Journal of Nutrition, 2057–2066. https://doi.org/10.1017/s0007114516001136
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27264
Moritzer, E., Martin, Y., & Müller, E. (2016). Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung im Spritzgießprozess. Kunststofftechnik - Spritzgießen 2016, 1, 27–39.
LibreCat
2016 | Journal Article | LibreCat-ID: 27458
Berssenbrügge, J., Trächtler, A., & Schmidt, C. (2016). Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems. Journal of Computing and Information Science in Engineering, Band 16(3).
LibreCat
2016 | Journal Article | LibreCat-ID: 27474
Iwanek, P., & Kühn, A. (2016). Die sich selbst optimierende Lackieranlage. Journal für Oberflächentechnik 3(56), 28–31.
LibreCat
2016 | Conference Paper | LibreCat-ID: 1151 | 
Stotz, S., & Geierhos, M. (2016). Wie verhalten sich Aktionäre bei Unternehmenszusammenschlüssen? Modellierung sprachlicher Muster zur Analyse treibender Faktoren bei der Berichterstattung. In DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016 (pp. 378–381). Duisburg, Germany: Nisaba-Verlag.
LibreCat
| Download (ext.)
2016 | Conference (Editor) | LibreCat-ID: 21507
Hein, D., Meschut, G., Tümkaya, G., & DVS Media GmbH (Eds.). (2016). Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit (Vol. 327). Presented at the DVS Congress 2016, Düsseldorf: DVS Media GmbH.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 173
Heck, E. (2016). Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
Schwentker, C. (2016). Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn.
LibreCat
2016 | Journal Article | LibreCat-ID: 175
Walther, S., & Wehrheim, H. (2016). On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming, 2--23. https://doi.org/10.1016/j.scico.2016.04.002
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 176 |
Dollmann, M., & Geierhos, M. (2016). On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements. In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP) (pp. 1807–1816). Austin, TX, USA: Association for Computational Linguistics (ACL).
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 177
Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan, P. (2016). On the Parameterized Parallel Complexity and the Vertex Cover Problem. In Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 477–488). https://doi.org/10.1007/978-3-319-48749-6_35
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 190
Platenius, M. C., Shaker, A., Becker, M., Hüllermeier, E., & Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, (8), 739–759. https://doi.org/10.1109/TSE.2016.2632115
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 191
Geierhos, M., & Bäumer, F. S. (2016). How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement. In E. Métais, F. Meziane, M. Saraee, V. Sugumaran, & S. Vadera (Eds.), Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB) (Vol. 9612, pp. 37–47). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-41754-7_4
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 192
Reckhorn, L. (2016). Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling. Universität Paderborn.
LibreCat