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.
7886 Publications
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: 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: 27451
Eckelt D, Dülme C, Gausemeier J, Hemel S. Detecting White Spots in Innovation-Driven Intellectual Property Management. Technology Innovation Management Review 6(7). Published online 2016:34-47.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27452
Kage M, Drewel M, Gausemeier J, Schneider M. Value Network Design for Innovations: Developing Alternative Value Network Drafts. Technology Innovation Management Review 6(7). Published online 2016:21-33.
LibreCat
| Download (ext.)
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 | Book Chapter | LibreCat-ID: 18845
Seng E-M. Das Eisenacher Regulativ und das Wiesbadener Programm. Die Diskussion um den evangelischen Kirchenbau und die Wiesbadener Kirchenbauten des 19. Jahrhunderts. In: Weichel T, ed. Das Wiesbadener Programm und seine Bedeutung für den Kirchenbau. Zum Gedächtnis an Prof. Dr. Gottfried Kiesow. Wiesbaden; 2016:71-81.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18847
Seng E-M. Palmanova, eine Idealstadt im Friaul. In: Bremer T, ed. ZIBALDONE. Zeitschrift für italienische Kultur der Gegenwart, No. 60, Herbst 2015. Vol No.60, Herbst 2015. Tübingen; 2016:69-79.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18866
Seng E-M. Patrimoine culturel immatériel: plaidoyer pour une vision globale du patrimione culturel. In: Morice J-R, Sapin G, Vivier N, eds. Mutations de la culture patrimoniale. Rennes; 2016:61-72.
LibreCat
2016 | Book Chapter | LibreCat-ID: 18948
Seng E-M. Aus Fehlern lernen? Was kann man bei der Vergabe des Titels immaterielles Kulturerbe aus den Erfahrungen mit dem materiellen Kulturerbe ableiten und verbessern? In: Zimmermann O, Geißler T, eds. Altes Zeug: Beiträge zur Diskussion zum nachhaltigen Kulturgutschutz. Berlin; 2016:246-250.
LibreCat
2016 | Conference Paper | LibreCat-ID: 19
Lass M, Leibenger D, Sorge C. Confidentiality and Authenticity for Distributed Version Control Systems - A Mercurial Extension. In: Proc. 41st Conference on Local Computer Networks (LCN). IEEE; 2016. doi:10.1109/lcn.2016.11
LibreCat
| DOI