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.

9302 Publications


2022 | Journal Article | LibreCat-ID: 31844
A. Fischer, B. Fuhry, J. Kußmaul, J. Janneck, F. Kerschbaum, and E. Bodden, “Computation on Encrypted Data Using Dataflow Authentication,” ACM Transactions on Privacy and Security, vol. 25, no. 3, pp. 1–36, 2022, doi: 10.1145/3513005.
LibreCat | DOI
 

2022 | Bachelorsthesis | LibreCat-ID: 31947
H. Hillebrandt, Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen. 2022.
LibreCat | Files available
 

2022 | Journal Article | LibreCat-ID: 31982
M. Cekić, B. Delarue, S. Dyatlov, and G. P. Paternain, “The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds,” Inventiones mathematicae, vol. 229, no. 1, pp. 303–394, 2022, doi: 10.1007/s00222-022-01108-x.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 32108
T. Henksmeier et al., “Remote epitaxy of InxGa1-xAs (0 0 1) on graphene covered GaAs(0 0 1) substrates,” Journal of Crystal Growth, vol. 593, Art. no. 126756, 2022, doi: 10.1016/j.jcrysgro.2022.126756.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 17869
M. Poniatowski, H. Lüttenberg, D. Beverungen, and D. Kundisch, “Three Layers of Abstraction—A Conceptual Framework for Theorizing digital Multi-Sided Platforms,” Information Systems and e-Business Management, Special Issue on Platform Business Models and Platform Strategies, vol. 2, pp. 257–283, 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 32311
A. Sharma, V. Melnikov, E. Hüllermeier, and H. Wehrheim, “Property-Driven Testing of Black-Box Functions,” in Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, pp. 113–123.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 29842 | OA
S. Gottschalk, E. Yigitbas, and G. Engels, “Model-driven Continuous Experimentation on Component-based Software Architectures ,” presented at the 18th International Conference on Software Architecture , Hawaii, 2022, doi: 10.1109/ICSA-C54293.2022.00011.
LibreCat | Files available | DOI
 

2022 | Journal Article | LibreCat-ID: 32319
M. Kißling, “„Beim Ausschneiden zeigen die Wörter mir ihre Bestandteile.“ Memoria als Deutungsöffnung bei Herta Müller,” Der Deutschunterricht (1) , pp. 46–52, 2022.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 32335
S. PODWORNY, S. Hüsing, and C. SCHULTE, “A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING,” STATISTICS EDUCATION RESEARCH JOURNAL, vol. 21, no. 2, Art. no. 6, 2022, doi: 10.52041/serj.v21i2.46.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 29673 | OA
S. Klus, F. Nüske, and S. Peitz, “Koopman analysis of quantum systems,” Journal of Physics A: Mathematical and Theoretical, vol. 55, no. 31, p. 314002, 2022, doi: 10.1088/1751-8121/ac7d22.
LibreCat | DOI | Download (ext.) | arXiv
 

2022 | Misc | LibreCat-ID: 32409
M. Schlichtig, A.-K. Wickert, S. Krüger, E. Bodden, and M. Mezini, CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. 2022.
LibreCat | Files available | DOI
 

2022 | Dissertation | LibreCat-ID: 32414
M. Lass, Bringing Massive Parallelism and Hardware Acceleration to Linear Scaling Density Functional Theory Through Targeted Approximations. Paderborn: Universität Paderborn, 2022.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 32410
M. Nachtigall, M. Schlichtig, and E. Bodden, “A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools,” in Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 2022, pp. 532–543, doi: 10.1145/3533767.
LibreCat | Files available | DOI
 

2022 | Conference Paper | LibreCat-ID: 31133
M. Schlichtig, S. Sassalla, K. Narasimhan, and E. Bodden, “FUM - A Framework for API Usage constraint and Misuse Classification,” in 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, pp. 673–684, doi: https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat | Files available | DOI
 

2022 | Bachelorsthesis | LibreCat-ID: 32399
E. Vahle, Modelling and Proving Security for a Secure MPC Protocol for Stable Matching. 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 31847
J. Castenow, B. Feldkord, T. Knollmann, M. Malatyali, and F. Meyer auf der Heide, “The k-Server with Preferences Problem,” in Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, 2022, pp. 345–356, doi: 10.1145/3490148.3538595.
LibreCat | DOI | arXiv
 

2022 | Book Chapter | LibreCat-ID: 32473
I. Mindt, “Künstliche Intelligenz fachfremd mittels Open Educational Resources unterrichten. Wie das Flipped-Classroom-Format bei der Einbettung in die Lehre der Anglistik hilft.,” in Künstliche Intelligenz mit offenen Lernangeboten an Hochschulen lehren. Erfahrungen und Erkenntnisse aus dem Fellowship-Programm des KI-Campus., D.-K. Mah and T. Cordula, Eds. LibreCat University, 2022, pp. 22–36.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 32432
Y. Yang et al., “Effect of Surface Hydrophobicity on the Adsorption of a Pilus-Derived Adhesin-like Peptide,” Langmuir, vol. 38, pp. 9257–9265, 2022, doi: 10.1021/acs.langmuir.2c01016.
LibreCat | DOI
 

2022 | Book Chapter | LibreCat-ID: 34023
J. Kirchhoff and G. Engels, “Anti-pattern Detection in Process-Driven Decision Support Systems,” in Software Business, vol. 463, Cham: Springer International Publishing, 2022, pp. 227--243.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 34040
G. Polevoy and M. Dziubiński, “Fair, Individually Rational and Cheap Adjustment,” in Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, Vienna, 2022, doi: 10.24963/ijcai.2022/64.
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

isbn%3D978-1-4503-0743-7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed