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.
4763 Publications
2017 | Conference Paper | LibreCat-ID: 114
Jakobs, M.-C., & Wehrheim, H. (2017). Compact Proof Witnesses. In C. Barrett, M. Davies, & T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium (pp. 389–403). https://doi.org/10.1007/978-3-319-57288-8_28
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
Jakobs, M.-C., Krämer, J., van Straaten, D., & Lettmann, T. (2017). Certification Matters for Service Markets. In T. P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 7–12).
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 1156
Kersting, J., Geierhos, M., Jung, H., & Kim, T. (2017). Internet of Things Architecture for Handling Stream Air Pollution Data. In M. Ramachandran, V. Méndez Muñoz, V. Kantere, G. Wills, R. Walters, & V. Chang (Eds.), Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security (pp. 117–124). Setúbal, Portugal: SCITEPRESS. https://doi.org/10.5220/0006354801170124
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen, L. M. (2017). A Framework for the Synthesis of Approximate Circuits. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 1158
Seemann, N., Merten, M.-L., Geierhos, M., Tophinke, D., & Hüllermeier, E. (2017). Annotation Challenges for Reconstructing the Structural Elaboration of Middle Low German. In Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature (pp. 40–45). Stroudsburg, PA, USA: Association for Computational Linguistics (ACL). https://doi.org/10.18653/v1/W17-2206
LibreCat
| DOI
2017 | Book Chapter | LibreCat-ID: 1159
Kersting, J., & Geierhos, M. (2017). Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach. In R. Damaševičius & V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings (Vol. 756, pp. 528–538). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-67642-5
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 116
Liske, G. (2017). CCA-Security for Predicate Encryption Schemes. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-220
LibreCat
| DOI
| Download (ext.)
2017 | Book Chapter | LibreCat-ID: 1161
Bäumer, F. S., Grote, N., Kersting, J., & Geierhos, M. (2017). Privacy Matters: Detecting Nocuous Patient Data Exposure in Online Physician Reviews. In R. Damaševičius & V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings (Vol. 756, pp. 77–89). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-67642-5_7
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 17652
Polevoy, G., Trajanovski, S., Grosso, P., & de Laat, C. (2017). Filtering Undesirable Flows in Networks. In Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I (pp. 3–17). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-71150-8_1
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 1767
Mavronicolas, M., & Monien, B. (2017). Conditional Value-at-Risk: Structure and Complexity of Equilibria. In Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017) (Vol. 10504, pp. 131--143). L’Aquila, Italy. https://doi.org/10.1007/978-3-319-66700-3_11
LibreCat
| Files available
| DOI
2017 | Book (Editor) | LibreCat-ID: 17709
Mindt, I., Schäfer, W., Sloane, P. F. E., Gössling, B., & Mehic, A. (Eds.). (2017). Proceedings of the BHQFHE projects. Basis, Analysis, Development, Impact and Prosepcts of the BHQFHE Tempus Project. Sarajevo.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 17722
Mindt, I. (2017). Chosen. Zeitschrift Für Anglistik Und Amerikanistik, 65 : 3, 339–353.
LibreCat
2017 | Book Chapter | LibreCat-ID: 17724
Mindt, I. (2017). Analyzing Corpus Data from Within. In Anglistik. International Journal of English Studies (28 : 1, pp. 57–73).
LibreCat
2017 | Book Chapter | LibreCat-ID: 17725
Mindt, I. (2017). Accreditation of Study Programs. In W. Schäfer, P. Sloane, I. Mindt, B. Gössling, & A. Mehic (Eds.), Proceedings of the BHQFHE projects. Basis, Analysis, Development, Impact and Prosepcts of the BHQFHE Tempus Project (pp. 23–26). Sarajevo.
LibreCat
| Files available
2017 | Book Chapter | LibreCat-ID: 18842
Seng, E.-M. (2017). Urbanistische Projekte in Stuttgart zur Zeit Carl Eugens. In W. Mährle (Ed.), Aufgeklärte Herrschaft im Konfikt. Herzog Carl Eugen von Württemberg 1728-1793 (Geschichte Württembergs. Impulse der Forschung. Schriftenreihe des württembergischen Geschichts- und Altertumsvereins Hg. von Nicole Bickhoff, Bd. 1) (Vol. 1, pp. 153–182). Stuttgart.
LibreCat
2017 | Conference Paper | LibreCat-ID: 2344 | 
Blömer, J., Günther, P., Krummel, V., & Löken, N. (2017). Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations. In Foundations and Practice of Security (pp. 3–17). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-75650-9_1
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 20460
Berner, K., Morris, L., Baumeister, J., & Louw, Q. (2017). Objective impairments of glait and balance in adults living with HIV-1 infection: a systematic review and meta-analysis of observational studies. BMC Musculoskelet Disord, 18(1), 325.
LibreCat
2017 | Book Chapter | LibreCat-ID: 2050
Krimphove, D. (2017). Kommentierung § 3 GWB (Mittelstandskartelle). In J. Busche & A. Röhling (Eds.), Kölner Kommentar zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB) (pp. 466 – 538). Köln: Carl Heymanns Verlag KG.
LibreCat
2017 | Book Chapter | LibreCat-ID: 20552
Gerking, C., Bodden, E., & Schäfer, W. (2017). Industrial Security by Design. In G. W. Maier, G. Engels, & E. Steffen (Eds.), Handbuch Gestaltung digitaler und vernetzter Arbeitswelten (pp. 1–24). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-52903-4_8-1
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 20553
Ben Othmane, L., Chehrazi, G., Bodden, E., Tsalovski, P., & Brucker, A. D. (2017). Time for Addressing Software Security Issues: Prediction Models and Impacting Factors. Data Science and Engineering, 2(2), 107–124. https://doi.org/10.1007/s41019-016-0019-8
LibreCat
| Files available
| DOI