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.
12184 Publications
2022 | Bachelorsthesis | LibreCat-ID: 31947
Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen
H. Hillebrandt, Verteiltes Berechnen Kompakter Routingtabellen in Unit Disk Graphen, 2022.
LibreCat
| Files available
H. Hillebrandt, Verteiltes Berechnen Kompakter Routingtabellen in Unit Disk Graphen, 2022.
2022 | Journal Article | LibreCat-ID: 31982
The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds
M. Cekić, B. Delarue, S. Dyatlov, G.P. Paternain, Inventiones Mathematicae 229 (2022) 303–394.
LibreCat
| DOI
M. Cekić, B. Delarue, S. Dyatlov, G.P. Paternain, Inventiones Mathematicae 229 (2022) 303–394.
2022 | Journal Article | LibreCat-ID: 32108
Remote epitaxy of InxGa1-xAs (0 0 1) on graphene covered GaAs(0 0 1) substrates
T. Henksmeier, J.F. Schulz, E. Kluth, M. Feneberg, R. Goldhahn, A.M. Sanchez, M. Voigt, G. Grundmeier, D. Reuter, Journal of Crystal Growth 593 (2022).
LibreCat
| DOI
T. Henksmeier, J.F. Schulz, E. Kluth, M. Feneberg, R. Goldhahn, A.M. Sanchez, M. Voigt, G. Grundmeier, D. Reuter, Journal of Crystal Growth 593 (2022).
2022 | Journal Article | LibreCat-ID: 17869
Three Layers of Abstraction—A Conceptual Framework for Theorizing digital Multi-Sided Platforms
M. Poniatowski, H. Lüttenberg, D. Beverungen, D. Kundisch, Information Systems and E-Business Management, Special Issue on Platform Business Models and Platform Strategies 2 (2022) 257–283.
LibreCat
M. Poniatowski, H. Lüttenberg, D. Beverungen, D. Kundisch, Information Systems and E-Business Management, Special Issue on Platform Business Models and Platform Strategies 2 (2022) 257–283.
2022 | Conference Paper | LibreCat-ID: 32311
Property-Driven Testing of Black-Box Functions
A. Sharma, V. Melnikov, E. Hüllermeier, H. Wehrheim, in: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–123.
LibreCat
A. Sharma, V. Melnikov, E. Hüllermeier, H. Wehrheim, in: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–123.
2022 | Conference Paper | LibreCat-ID: 29842 | 
Model-driven Continuous Experimentation on Component-based Software Architectures
S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022.
LibreCat
| Files available
| DOI
S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022.
2022 | Journal Article | LibreCat-ID: 32319
„Beim Ausschneiden zeigen die Wörter mir ihre Bestandteile.“ Memoria als Deutungsöffnung bei Herta Müller
M. Kißling, Der Deutschunterricht (1) (2022) 46–52.
LibreCat
M. Kißling, Der Deutschunterricht (1) (2022) 46–52.
2022 | Journal Article | LibreCat-ID: 32335
A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING
S. PODWORNY, S. Hüsing, C. SCHULTE, STATISTICS EDUCATION RESEARCH JOURNAL 21 (2022).
LibreCat
| DOI
S. PODWORNY, S. Hüsing, C. SCHULTE, STATISTICS EDUCATION RESEARCH JOURNAL 21 (2022).
2022 | Journal Article | LibreCat-ID: 29673 |
Koopman analysis of quantum systems
S. Klus, F. Nüske, S. Peitz, Journal of Physics A: Mathematical and Theoretical 55 (2022) 314002.
LibreCat
| DOI
| Download (ext.)
| arXiv
S. Klus, F. Nüske, S. Peitz, Journal of Physics A: Mathematical and Theoretical 55 (2022) 314002.
2022 | Misc | LibreCat-ID: 32409
CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
LibreCat
| Files available
| DOI
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022.
2022 | Dissertation | LibreCat-ID: 32414
Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations
M. Lass, Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations, Universität Paderborn, Paderborn, 2022.
LibreCat
| DOI
M. Lass, Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations, Universität Paderborn, Paderborn, 2022.
2022 | Conference Paper | LibreCat-ID: 32410
A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
LibreCat
| Files available
| DOI
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
2022 | Conference Paper | LibreCat-ID: 31133
FUM - A Framework for API Usage constraint and Misuse Classification
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684.
LibreCat
| Files available
| DOI
M. Schlichtig, S. Sassalla, K. Narasimhan, E. Bodden, in: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684.
2022 | Bachelorsthesis | LibreCat-ID: 32399
Modelling and Proving Security for a Secure MPC Protocol for Stable Matching
E. Vahle, Modelling and Proving Security for a Secure MPC Protocol for Stable Matching, 2022.
LibreCat
E. Vahle, Modelling and Proving Security for a Secure MPC Protocol for Stable Matching, 2022.
2022 | Conference Paper | LibreCat-ID: 31847
The k-Server with Preferences Problem
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2022, pp. 345–356.
LibreCat
| DOI
| arXiv
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2022, pp. 345–356.
2022 | Book Chapter | LibreCat-ID: 32473
Künstliche Intelligenz fachfremd mittels Open Educational Resources unterrichten. Wie das Flipped-Classroom-Format bei der Einbettung in die Lehre der Anglistik hilft.
I. Mindt, in: D.-K. Mah, T. Cordula (Eds.), Künstliche Intelligenz Mit Offenen Lernangeboten an Hochschulen Lehren. Erfahrungen Und Erkenntnisse Aus Dem Fellowship-Programm Des KI-Campus., LibreCat University, 2022, pp. 22–36.
LibreCat
| DOI
I. Mindt, in: D.-K. Mah, T. Cordula (Eds.), Künstliche Intelligenz Mit Offenen Lernangeboten an Hochschulen Lehren. Erfahrungen Und Erkenntnisse Aus Dem Fellowship-Programm Des KI-Campus., LibreCat University, 2022, pp. 22–36.
2022 | Journal Article | LibreCat-ID: 32589
Time-Dependent DNA Origami Denaturation by Guanidinium Chloride, Guanidinium Sulfate, and Guanidinium Thiocyanate
M. Hanke, N. Hansen, E. Tomm, G. Grundmeier, A. Keller, International Journal of Molecular Sciences 23 (2022) 8547.
LibreCat
| DOI
M. Hanke, N. Hansen, E. Tomm, G. Grundmeier, A. Keller, International Journal of Molecular Sciences 23 (2022) 8547.
2022 | Book Chapter | LibreCat-ID: 34023
Anti-pattern Detection in Process-Driven Decision Support Systems
J. Kirchhoff, G. Engels, in: Software Business, Springer International Publishing, Cham, 2022, pp. 227--243.
LibreCat
| DOI
J. Kirchhoff, G. Engels, in: Software Business, Springer International Publishing, Cham, 2022, pp. 227--243.
2022 | Conference Paper | LibreCat-ID: 34040
Fair, Individually Rational and Cheap Adjustment
G. Polevoy, M. Dziubiński, in: L. De Raedt (Ed.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2022.
LibreCat
| DOI
| Download (ext.)
G. Polevoy, M. Dziubiński, in: L. De Raedt (Ed.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence Organization, 2022.
2022 | Conference Paper | LibreCat-ID: 33085
Cardinality Constrained Scheduling in Online Models
L. Epstein, A. Lassota, A. Levin, M. Maack, L. Rohwedder, in: P. Berenbrink, B. Monmege (Eds.), 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 28:1–28:15.
LibreCat
| DOI
L. Epstein, A. Lassota, A. Levin, M. Maack, L. Rohwedder, in: P. Berenbrink, B. Monmege (Eds.), 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 28:1–28:15.