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.
7259 Publications
2016 | Conference Paper | LibreCat-ID: 3159
G. Schellhorn, O. Travkin, and H. Wehrheim, “Towards a Thread-Local Proof Technique for Starvation Freedom,” in Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, and L. Libuda, “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, pp. 1298–1305, 2016, doi: 10.1017/s0007114516002932.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
R. Muckelbauer et al., “Changes in water and sugar-containing beverage consumption and body weight outcomes in children,” British Journal of Nutrition, pp. 2057–2066, 2016, doi: 10.1017/s0007114516001136.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27264
E. Moritzer, Y. Martin, and E. Müller, “Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung im Spritzgießprozess,” Kunststofftechnik - Spritzgießen 2016, no. 1, pp. 27–39, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27458
J. Berssenbrügge, A. Trächtler, and C. Schmidt, “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), 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27474
P. Iwanek and A. Kühn, “Die sich selbst optimierende Lackieranlage,” Journal für Oberflächentechnik 3(56), pp. 28–31, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 1151 | 
S. Stotz and M. Geierhos, “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, Leipzig, Germany, 2016, pp. 378–381.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 215
M. Drees, R. Gmyr, and C. Scheideler, “Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration,” in Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
LibreCat
| Files available
| DOI
2016 | Conference (Editor) | LibreCat-ID: 21507
D. Hein, G. Meschut, G. Tümkaya, and 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
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 175
S. Walther and H. Wehrheim, “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs,” Science of Computer Programming, pp. 2--23, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 176 |
M. Dollmann and M. Geierhos, “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, 2016, pp. 1807–1816.
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 177
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “On the Parameterized Parallel Complexity and the Vertex Cover Problem,” in Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 190
M. C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, and W. Schäfer, “Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic,” IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, no. 8, pp. 739–759, 2016.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 191
M. Geierhos and F. S. Bäumer, “How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement,” in Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), Salford, UK, 2016, vol. 9612, pp. 37–47.
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 192
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling. Universität Paderborn, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 23578
I. Gräßler and P. Scholle, “Szenario-basierte Analyse von Anforderungen im Produktentwicklungsprozess,” in Design for X, 27. Dfx-Symposium, 2016, pp. 231–242.
LibreCat
2016 | Conference Paper | LibreCat-ID: 203
S. Brangewitz and S. Hoof, “Economic Aspects of Service Composition: Price Negotiations and Quality Investments,” in Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, 2016, pp. 201–215.
LibreCat
| Files available
| DOI