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.
7530 Publications
2016 | Conference Paper | LibreCat-ID: 3158
@inproceedings{Travkin_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Verification of Concurrent Programs on Weak Memory Models}, DOI={10.1007/978-3-319-46750-4_1}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Sampaio, Augusto and Wang, FarnEditors}, year={2016}, pages={3--24}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
@inproceedings{Schellhorn_Travkin_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Towards a Thread-Local Proof Technique for Starvation Freedom}, DOI={10.1007/978-3-319-33693-0_13}, booktitle={Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings}, author={Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Huisman, MariekeEditor}, year={2016}, pages={193--209}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
@article{Muckelbauer_Gortmaker_Libuda_Kersting_Clausen_Adelberger_Müller-Nordhorn_2016, title={Changes in water and sugar-containing beverage consumption and body weight outcomes in children}, DOI={10.1017/s0007114516001136}, journal={British Journal of Nutrition}, author={Muckelbauer, Rebecca and Gortmaker, Steven L. and Libuda, Lars and Kersting, Mathilde and Clausen, Kerstin and Adelberger, Bettina and Müller-Nordhorn, Jacqueline}, year={2016}, pages={2057–2066} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27264
@article{Moritzer_Martin_Müller_2016, title={Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung im Spritzgießprozess}, number={1}, journal={Kunststofftechnik - Spritzgießen 2016}, publisher={Düsseldorf: VDI Verlag GmbH}, author={Moritzer, Elmar and Martin, Y. and Müller, E.}, year={2016}, pages={27–39} }
LibreCat
2016 | Journal Article | LibreCat-ID: 27445
@article{Eckelt_Gausemeier_Gronemeyer_2016, title={Management des geistigen Eigentums im Rahmen der strategischen Produktplanung}, journal={12. Symposium für Vorausschau und Technologieplanung 8. und 9. Dezember 2016}, author={Eckelt, Daniel and Gausemeier, Jürgen and Gronemeyer, Christoph Uwe}, year={2016}, pages={289–316} }
LibreCat
2016 | Book Chapter | LibreCat-ID: 27446
@inbook{Kühn_Dumitrescu_Gausemeier_2016, title={Strategische Release-Planung als Ansatz zur systematischen Produktwertsteigerung}, booktitle={Vorausschau und Technologieplanung, 12. Symposium für Vorausschau und Technologieplanung, 8. und 9. Dezember 2016}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Kühn, Arno and Dumitrescu, Roman and Gausemeier, Jürgen}, year={2016}, pages={159–176} }
LibreCat
2016 | Journal Article | LibreCat-ID: 27458
@article{Berssenbrügge_Trächtler_Schmidt_2016, title={Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems}, journal={Journal of Computing and Information Science in Engineering, Band 16(3)}, publisher={ASME}, author={Berssenbrügge, Jan and Trächtler, Ansgar and Schmidt, Christoph}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 27474
@article{Iwanek_Kühn_2016, title={Die sich selbst optimierende Lackieranlage}, journal={Journal für Oberflächentechnik 3(56)}, author={Iwanek, Peter and Kühn, Arno}, year={2016}, pages={28–31} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 1151 | 
@inproceedings{Stotz_Geierhos_2016, place={Duisburg, Germany}, title={Wie verhalten sich Aktionäre bei Unternehmenszusammenschlüssen? Modellierung sprachlicher Muster zur Analyse treibender Faktoren bei der Berichterstattung}, booktitle={DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016}, publisher={Nisaba-Verlag}, author={Stotz, Sophia and Geierhos, Michaela}, year={2016}, pages={378–381} }
LibreCat
| Download (ext.)
2016 | Conference (Editor) | LibreCat-ID: 21507
@book{Hein_Meschut_Tümkaya_DVS Media GmbH_2016, place={Düsseldorf}, series={DVS-Berichte}, title={Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit}, volume={327}, publisher={DVS Media GmbH}, year={2016}, collection={DVS-Berichte} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 216
@inproceedings{von Rechenberg_Gutt_2016, title={Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal’s Difficulty}, booktitle={Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul}, author={von Rechenberg, Tobias and Gutt, Dominik}, year={2016} }
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 173
@book{Heck_2016, title={Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace}, publisher={Universität Paderborn}, author={Heck, Eduard}, year={2016} }
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
@book{Schwentker_2016, title={Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen}, publisher={Universität Paderborn}, author={Schwentker, Christoph}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 175
@article{Walther_Wehrheim_2016, title={On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs}, DOI={10.1016/j.scico.2016.04.002}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Walther, Sven and Wehrheim, Heike}, year={2016}, pages={2--23} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 176 |
@inproceedings{Dollmann_Geierhos_2016, place={Austin, TX, USA}, title={On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements}, booktitle={Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP)}, publisher={Association for Computational Linguistics (ACL)}, author={Dollmann, Markus and Geierhos, Michaela}, year={2016}, pages={1807–1816} }
LibreCat
| Files available
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 177
@inproceedings{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2016, series={LNCS}, title={On the Parameterized Parallel Complexity and the Vertex Cover Problem}, DOI={10.1007/978-3-319-48749-6_35}, booktitle={Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA)}, author={Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2016}, pages={477–488}, collection={LNCS} }
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 190
@article{Platenius_Shaker_Becker_Hüllermeier_Schäfer_2016, title={Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic}, DOI={10.1109/TSE.2016.2632115}, number={8}, journal={IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017}, publisher={IEEE}, author={Platenius, Marie Christin and Shaker, Ammar and Becker, Matthias and Hüllermeier, Eyke and Schäfer, Wilhelm}, year={2016}, pages={739–759} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 191
@inproceedings{Geierhos_Bäumer_2016, place={Cham, Switzerland}, series={Lecture Notes in Computer Science}, title={How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement}, volume={9612}, DOI={10.1007/978-3-319-41754-7_4}, booktitle={Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB)}, publisher={Springer}, author={Geierhos, Michaela and Bäumer, Frederik Simon}, editor={Métais, Elisabeth and Meziane, Farid and Saraee, Mohamad and Sugumaran, Vijayan and Vadera, Sunil Editors}, year={2016}, pages={37–47}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 192
@book{Reckhorn_2016, title={Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling}, publisher={Universität Paderborn}, author={Reckhorn, Lena}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 193
@article{von Rechenberg_Gutt_Kundisch_2016, title={Goals as Reference Points: Empirical Evidence from a Virtual Reward System}, DOI={10.1287/deca.2016.0331}, number={2}, journal={Decision Analysis}, publisher={INFORMS}, author={von Rechenberg, Tobias and Gutt, Dominik and Kundisch, Dennis}, year={2016}, pages={153--171} }
LibreCat
| Files available
| DOI