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.
5719 Publications
2019 | Conference Paper | LibreCat-ID: 15640
Entwicklung und Reflexion einer Unterrichtssequenz zum Maschinellen Lernen als Aspekt von Data Science in der Sekundarstufe II
S.A. Opel, M. Schlichtig, C. Schulte, R. Biehler, D. Frischemeier, S. Podworny, T. Wassong, in: INFOS, Gesellschaft für Informatik, 2019, pp. 285–294.
LibreCat
S.A. Opel, M. Schlichtig, C. Schulte, R. Biehler, D. Frischemeier, S. Podworny, T. Wassong, in: INFOS, Gesellschaft für Informatik, 2019, pp. 285–294.
2019 | Conference Paper | LibreCat-ID: 15641
Maschinelles Lernen im Unterricht mit Jupyter Notebook
M. Schlichtig, S.A. Opel, C. Schulte, R. Biehler, D. Frischemeier, S. Podworny, T. Wassong, in: INFOS, Gesellschaft für Informatik, 2019, p. 385.
LibreCat
M. Schlichtig, S.A. Opel, C. Schulte, R. Biehler, D. Frischemeier, S. Podworny, T. Wassong, in: INFOS, Gesellschaft für Informatik, 2019, p. 385.
2019 | Conference Paper | LibreCat-ID: 15643
Developing Teaching Materials on Artificial Intelligence by Using a Simulation Game (Work in Progress)
S.A. Opel, M. Schlichtig, C. Schulte, in: WiPSCE, ACM, 2019, p. 11:1-11:2.
LibreCat
S.A. Opel, M. Schlichtig, C. Schulte, in: WiPSCE, ACM, 2019, p. 11:1-11:2.
2019 | Conference Paper | LibreCat-ID: 13259
Unraveling the Search Space of Abusive Language in Wikipedia with Dynamic Lexicon Acquisition
W.-F. Chen, K. Al-Khatib, M. Hagen, H. Wachsmuth, B. Stein, in: Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom, 2019, pp. 76–82.
LibreCat
| Download (ext.)
W.-F. Chen, K. Al-Khatib, M. Hagen, H. Wachsmuth, B. Stein, in: Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom, 2019, pp. 76–82.
2019 | Conference Paper | LibreCat-ID: 13904 | 
Updatable Anonymous Credentials and Applications to Incentive Systems
J. Blömer, J. Bobolz, D.P. Diemert, F. Eidens, in: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS ’19, 2019.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Blömer, J. Bobolz, D.P. Diemert, F. Eidens, in: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS ’19, 2019.
2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384.
LibreCat
| Files available
| DOI
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384.
2019 | Conference Paper | LibreCat-ID: 13874
When Are Software Verification Results Valid for Approximate Hardware?
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, in: Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20.
LibreCat
| DOI
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, in: Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20.
2019 | Journal Article | LibreCat-ID: 20243
Multimodal Turn-Taking: Motivations, Methodological Challenges, and Novel Approaches
K. Rohlfing, G. Leonardi, I. Nomikou, J. Rączaszek-Leonardi, E. Hüllermeier, IEEE Transactions on Cognitive and Developmental Systems (2019).
LibreCat
| DOI
K. Rohlfing, G. Leonardi, I. Nomikou, J. Rączaszek-Leonardi, E. Hüllermeier, IEEE Transactions on Cognitive and Developmental Systems (2019).
2019 | Conference Paper | LibreCat-ID: 13297 |
Almost Optimal Classical Approximation Algorithms for a Quantum Generalization of Max-Cut
S. Gharibian, O. Parekh, in: Proceedings of the 22nd International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2019, p. 31:1-31:17.
LibreCat
| DOI
| Download (ext.)
S. Gharibian, O. Parekh, in: Proceedings of the 22nd International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2019, p. 31:1-31:17.
2019 | Journal Article | LibreCat-ID: 13558 |
The complexity of simulating local measurements on quantum systems
S. Gharibian, J. Yirka, Quantum 3 (2019) 189.
LibreCat
| DOI
| Download (ext.)
S. Gharibian, J. Yirka, Quantum 3 (2019) 189.
2019 | Conference Paper | LibreCat-ID: 9913 |
Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan
Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch, R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International Publishing, Cham, 2019, pp. 127–136.
LibreCat
| Files available
| DOI
| Download (ext.)
Q.A. Ahmed, T. Wiersema, M. Platzner, in: C. Hochberger, B. Nelson, A. Koch, R. Woods, P. Diniz (Eds.), Applied Reconfigurable Computing, Springer International Publishing, Cham, 2019, pp. 127–136.
2019 | Bachelorsthesis | LibreCat-ID: 45231
Conception of a digital Sales Bonus System based on Blockchain Technology
N. N., Conception of a Digital Sales Bonus System Based on Blockchain Technology, 2019.
LibreCat
N. N., Conception of a Digital Sales Bonus System Based on Blockchain Technology, 2019.
2019 | Conference Paper | LibreCat-ID: 14898
Know your analysis: how instrumentation aids understanding static analysis
P. Schubert, R. Leer, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019, 2019.
LibreCat
| DOI
P. Schubert, R. Leer, B. Hermann, E. Bodden, in: Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019, 2019.
2019 | Mastersthesis | LibreCat-ID: 15874 |
Implementing a Real-time System on a Platform FPGA operated with ReconOS
C. Lienen, Implementing a Real-Time System on a Platform FPGA Operated with ReconOS, Universität Paderborn, n.d.
LibreCat
| Files available
C. Lienen, Implementing a Real-Time System on a Platform FPGA Operated with ReconOS, Universität Paderborn, n.d.
2019 | Journal Article | LibreCat-ID: 21
A General Algorithm to Calculate the Inverse Principal p-th Root of Symmetric Positive Definite Matrices
D. Richters, M. Lass, A. Walther, C. Plessl, T. Kühne, Communications in Computational Physics 25 (2019) 564–585.
LibreCat
| DOI
| arXiv
D. Richters, M. Lass, A. Walther, C. Plessl, T. Kühne, Communications in Computational Physics 25 (2019) 564–585.
2019 | Journal Article | LibreCat-ID: 12871 |
FPGAs im Rechenzentrum
M. Platzner, C. Plessl, Informatik Spektrum (2019).
LibreCat
| Files available
| DOI
M. Platzner, C. Plessl, Informatik Spektrum (2019).
2019 | Conference Paper | LibreCat-ID: 46338
Bi-Objective Orienteering: Towards a Dynamic Multi-Objective Evolutionary Algorithm
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, H. Trautmann, in: K. Deb, E. Goodman, C.C.A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Evolutionary Multi-Criterion Optimization (EMO), Springer International Publishing, East Lansing, Michigan, USA, 2019, pp. 516–528.
LibreCat
| DOI
J. Bossek, C. Grimme, S. Meisel, G. Rudolph, H. Trautmann, in: K. Deb, E. Goodman, C.C.A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Evolutionary Multi-Criterion Optimization (EMO), Springer International Publishing, East Lansing, Michigan, USA, 2019, pp. 516–528.
2019 | Conference Paper | LibreCat-ID: 46343
Multimodality in Multi-Objective Optimization — More Boon than Bane?
C. Grimme, P. Kerschke, H. Trautmann, in: K. Deb, E. Goodman, C.C.A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Proceedings of the 10$^th$ International Conference on Evolutionary Multi-Criterion Optimization (EMO), Springer, East Lansing, MI, USA, 2019, pp. 126–138.
LibreCat
| DOI
C. Grimme, P. Kerschke, H. Trautmann, in: K. Deb, E. Goodman, C.C.A. Coello, K. Klamroth, K. Miettinen, S. Mostaghim, P. Reed (Eds.), Proceedings of the 10$^th$ International Conference on Evolutionary Multi-Criterion Optimization (EMO), Springer, East Lansing, MI, USA, 2019, pp. 126–138.
2019 | Journal Article | LibreCat-ID: 46345
Automated Algorithm Selection: Survey and Perspectives
P. Kerschke, H.H. Hoos, F. Neumann, H. Trautmann, Evolutionary Computation (ECJ) 27 (2019) 3–45.
LibreCat
| DOI
P. Kerschke, H.H. Hoos, F. Neumann, H. Trautmann, Evolutionary Computation (ECJ) 27 (2019) 3–45.
2019 | Conference Paper | LibreCat-ID: 46339
Evolving Diverse TSP Instances by Means of Novel and Creative Mutation Operators
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, H. Trautmann, in: T. Friedrich, C. Doerr, D. Arnold (Eds.), Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA XV), Potsdam, Germany, 2019, pp. 58–71.
LibreCat
| DOI
J. Bossek, P. Kerschke, A. Neumann, M. Wagner, F. Neumann, H. Trautmann, in: T. Friedrich, C. Doerr, D. Arnold (Eds.), Proceedings of the 15$^th$ ACM/SIGEVO Workshop on Foundations of Genetic Algorithms (FOGA XV), Potsdam, Germany, 2019, pp. 58–71.