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.
7272 Publications
2016 | Conference Paper | LibreCat-ID: 3117
Bader C, Jager T, Li Y, Schäge S. 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. ; 2016:273--304. doi:10.1007/978-3-662-49896-5_10
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3118
Hofheinz D, Jager T, Rupp A. 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. ; 2016:146--168. doi:10.1007/978-3-662-53644-5_6
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz D, Jager T. 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. ; 2016:336--362. doi:10.1007/978-3-662-49096-9_14
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer S, Wehrheim H. Verification of AUTOSAR Software Architectures with Timed Automata. In: H. ter Beek M, Gnesi S, Knapp A, 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. Lecture Notes in Computer Science. ; 2016:189--204. doi:10.1007/978-3-319-45943-1_13
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin O, Wehrheim H. Verification of Concurrent Programs on Weak Memory Models. In: Sampaio A, Wang F, eds. Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Lecture Notes in Computer Science. ; 2016:3--24. doi:10.1007/978-3-319-46750-4_1
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn G, Travkin O, Wehrheim H. Towards a Thread-Local Proof Technique for Starvation Freedom. In: Huisman M, ed. Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science. ; 2016:193--209. doi:10.1007/978-3-319-33693-0_13
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
Schröder M, Müller K, Falkenstein M, Stehle P, Kersting M, Libuda L. Lunch at school and children’s cognitive functioning in the early afternoon: results from the Cognition Intervention Study Dortmund Continued (CoCo). British Journal of Nutrition. Published online 2016:1298-1305. doi:10.1017/s0007114516002932
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
Muckelbauer R, Gortmaker SL, Libuda L, et al. Changes in water and sugar-containing beverage consumption and body weight outcomes in children. British Journal of Nutrition. Published online 2016:2057-2066. doi:10.1017/s0007114516001136
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27264
Moritzer E, Martin Y, Müller E. Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung im Spritzgießprozess. Kunststofftechnik - Spritzgießen 2016. 2016;(1):27-39.
LibreCat
2016 | Journal Article | LibreCat-ID: 27458
Berssenbrügge J, Trächtler A, Schmidt C. 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). Published online 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27474
Iwanek P, Kühn A. Die sich selbst optimierende Lackieranlage. Journal für Oberflächentechnik 3(56). Published online 2016:28-31.
LibreCat
2016 | Conference Paper | LibreCat-ID: 1151 | 
Stotz S, Geierhos M. 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. Duisburg, Germany: Nisaba-Verlag; 2016:378-381.
LibreCat
| Download (ext.)
2016 | Conference (Editor) | LibreCat-ID: 21507
Hein D, Meschut G, Tümkaya G, DVS Media GmbH, eds. Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit. Vol 327. Düsseldorf: DVS Media GmbH; 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 173
Heck E. Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn; 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
Schwentker C. Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn; 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 175
Walther S, Wehrheim H. On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming. 2016:2--23. doi:10.1016/j.scico.2016.04.002
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 176 |
Dollmann M, Geierhos M. 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). Austin, TX, USA: Association for Computational Linguistics (ACL); 2016:1807-1816.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 177
Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. On the Parameterized Parallel Complexity and the Vertex Cover Problem. In: Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2016:477-488. doi:10.1007/978-3-319-48749-6_35
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 190
Platenius MC, Shaker A, Becker M, Hüllermeier E, Schäfer W. Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017. 2016;(8):739-759. doi:10.1109/TSE.2016.2632115
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 191
Geierhos M, Bäumer FS. How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement. In: Métais E, Meziane F, Saraee M, Sugumaran V, Vadera S, eds. Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB). Vol 9612. Lecture Notes in Computer Science. Cham, Switzerland: Springer; 2016:37-47. doi:10.1007/978-3-319-41754-7_4
LibreCat
| Files available
| DOI