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.
4176 Publications
2017 | Conference Paper | LibreCat-ID: 114
Compact Proof Witnesses
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
2017 | Conference Paper | LibreCat-ID: 1156
Internet of Things Architecture for Handling Stream Air Pollution Data
J. Kersting, M. Geierhos, H. Jung, T. Kim, 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, SCITEPRESS, Setúbal, Portugal, 2017, pp. 117–124.
LibreCat
| Files available
| DOI
J. Kersting, M. Geierhos, H. Jung, T. Kim, 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, SCITEPRESS, Setúbal, Portugal, 2017, pp. 117–124.
2017 | Mastersthesis | LibreCat-ID: 1157
A Framework for the Synthesis of Approximate Circuits
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
LibreCat
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 1158
Annotation Challenges for Reconstructing the Structural Elaboration of Middle Low German
N. Seemann, M.-L. Merten, M. Geierhos, D. Tophinke, E. Hüllermeier, in: Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, Association for Computational Linguistics (ACL), Stroudsburg, PA, USA, 2017, pp. 40–45.
LibreCat
| DOI
N. Seemann, M.-L. Merten, M. Geierhos, D. Tophinke, E. Hüllermeier, in: Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, Association for Computational Linguistics (ACL), Stroudsburg, PA, USA, 2017, pp. 40–45.
2017 | Book Chapter | LibreCat-ID: 1159
Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach
J. Kersting, M. Geierhos, 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, Springer, Cham, Switzerland, 2017, pp. 528–538.
LibreCat
| Files available
| DOI
J. Kersting, M. Geierhos, 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, Springer, Cham, Switzerland, 2017, pp. 528–538.
2017 | Dissertation | LibreCat-ID: 116
CCA-Security for Predicate Encryption Schemes
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
LibreCat
| DOI
| Download (ext.)
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
2017 | Book Chapter | LibreCat-ID: 1161
Privacy Matters: Detecting Nocuous Patient Data Exposure in Online Physician Reviews
F.S. Bäumer, N. Grote, J. Kersting, M. Geierhos, 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, Springer, Cham, Switzerland, 2017, pp. 77–89.
LibreCat
| Files available
| DOI
F.S. Bäumer, N. Grote, J. Kersting, M. Geierhos, 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, Springer, Cham, Switzerland, 2017, pp. 77–89.
2017 | Conference Paper | LibreCat-ID: 1767
Conditional Value-at-Risk: Structure and Complexity of Equilibria
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
LibreCat
| Files available
| DOI
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
2017 | Book (Editor) | LibreCat-ID: 17709
Proceedings of the BHQFHE projects. Basis, Analysis, Development, Impact and Prosepcts of the BHQFHE Tempus Project
I. Mindt, W. Schäfer, P.F.E. Sloane, B. Gössling, A. Mehic, eds., Proceedings of the BHQFHE Projects. Basis, Analysis, Development, Impact and Prosepcts of the BHQFHE Tempus Project, Sarajevo, 2017.
LibreCat
| Files available
I. Mindt, W. Schäfer, P.F.E. Sloane, B. Gössling, A. Mehic, eds., Proceedings of the BHQFHE Projects. Basis, Analysis, Development, Impact and Prosepcts of the BHQFHE Tempus Project, Sarajevo, 2017.
2017 | Book Chapter | LibreCat-ID: 17724
Analyzing Corpus Data from Within
I. Mindt, in: Anglistik. International Journal of English Studies , 28 : 1, 2017, pp. 57–73.
LibreCat
I. Mindt, in: Anglistik. International Journal of English Studies , 28 : 1, 2017, pp. 57–73.
2017 | Book Chapter | LibreCat-ID: 17725
Accreditation of Study Programs
I. Mindt, 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, Sarajevo, 2017, pp. 23–26.
LibreCat
| Files available
I. Mindt, 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, Sarajevo, 2017, pp. 23–26.
2017 | Book Chapter | LibreCat-ID: 18842
Urbanistische Projekte in Stuttgart zur Zeit Carl Eugens
E.-M. Seng, 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), Stuttgart, 2017, pp. 153–182.
LibreCat
E.-M. Seng, 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), Stuttgart, 2017, pp. 153–182.
2017 | Conference Paper | LibreCat-ID: 2344 | 
Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat
| Files available
| DOI
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
2017 | Journal Article | LibreCat-ID: 20460
Objective impairments of glait and balance in adults living with HIV-1 infection: a systematic review and meta-analysis of observational studies
K. Berner, L. Morris, J. Baumeister, Q. Louw, BMC Musculoskelet Disord 18 (2017) 325.
LibreCat
K. Berner, L. Morris, J. Baumeister, Q. Louw, BMC Musculoskelet Disord 18 (2017) 325.
2017 | Book Chapter | LibreCat-ID: 2050
Kommentierung § 3 GWB (Mittelstandskartelle)
D. Krimphove, in: J. Busche, A. Röhling (Eds.), Kölner Kommentar Zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB), Carl Heymanns Verlag KG, Köln, 2017, pp. 466 – 538.
LibreCat
D. Krimphove, in: J. Busche, A. Röhling (Eds.), Kölner Kommentar Zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB), Carl Heymanns Verlag KG, Köln, 2017, pp. 466 – 538.
2017 | Book Chapter | LibreCat-ID: 20552
Industrial Security by Design
C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.
LibreCat
| DOI
C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.
2017 | Conference Paper | LibreCat-ID: 20559
Just-in-time Static Analysis
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
LibreCat
| DOI
| Download (ext.)
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
2017 | Bachelorsthesis | LibreCat-ID: 18026
Untersuchungen zum Cone-Hashing
M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.
LibreCat
M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.