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