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.
9697 Publications
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz, D., & Jager, T. (2016). 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 (pp. 336--362). https://doi.org/10.1007/978-3-662-49096-9_14
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, S., & Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. In M. H. ter Beek, S. Gnesi, & A. Knapp (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 (pp. 189--204). https://doi.org/10.1007/978-3-319-45943-1_13
LibreCat
| Files available
| DOI
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: 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 | Book | LibreCat-ID: 21079
Menke, P. (2016). The FiESTA data model: a novel approach to the representation of heterogeneous multimodal interaction data. Norderstedt: bod.
LibreCat
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 | Special Issue | LibreCat-ID: 187
Meyer auf der Heide, F. (Ed.). (2016). Introduction to the Special Issue on SPAA 2014. Transactions on Parallel Computing (TOPC). https://doi.org/10.1145/2936716
LibreCat
| Files available
| DOI
2016 | Journal Article | LibreCat-ID: 190
Platenius, M. C., Shaker, A., Becker, M., Hüllermeier, E., & Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, (8), 739–759. https://doi.org/10.1109/TSE.2016.2632115
LibreCat
| Files available
| DOI
2016 | Book | LibreCat-ID: 19014
Eke, N. O., & Allkemper, A. (2016). Literaturwissenschaft (5. aktualisierte Auflage). München: Fink.
LibreCat
2016 | Book (Editor) | LibreCat-ID: 19058
Eke, N. O., & Füllner, B. (Eds.). (2016). Das Politische und die Politik im Vormärz (Vol. 2015). Bielefeld: Aisthesis.
LibreCat