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.
11509 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 | Journal Article | LibreCat-ID: 21030
Temporal-mode measurement tomography of a quantum pulse gate
V. Ansari, G. Harder, M. Allgaier, B. Brecht, C. Silberhorn, Physical Review A 96 (2017).
LibreCat
| DOI
V. Ansari, G. Harder, M. Allgaier, B. Brecht, C. Silberhorn, Physical Review A 96 (2017).
2017 | Conference Paper | LibreCat-ID: 17652
Filtering Undesirable Flows in Networks
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat
| DOI
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, Cham, 2017, pp. 3–17.
2017 | Conference Paper | LibreCat-ID: 17653
Reciprocation Effort Games
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
LibreCat
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
2017 | Conference Paper | LibreCat-ID: 17654
Competition between Cooperative Projects
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
LibreCat
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
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 | Preprint | LibreCat-ID: 17811
Gathering Anonymous, Oblivious Robots on a Grid
M. Fischer, D. Jung, F. Meyer auf der Heide, ArXiv:1702.03400 (2017).
LibreCat
M. Fischer, D. Jung, F. Meyer auf der Heide, ArXiv:1702.03400 (2017).
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: 2343 | 
Searchable Encryption with Access Control
N. Löken, in: Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17, ACM Press, 2017.
LibreCat
| Files available
| DOI
| Download (ext.)
N. Löken, in: Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17, ACM Press, 2017.