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.

11497 Publications


2022 | Book Chapter | LibreCat-ID: 29928 | OA
Self-Adaptive Digital Assistance Systems for Work 4.0
E. Yigitbas, S. Sauer, G. Engels, in: B. Vogel-Heuser, M. Wimmer (Eds.), Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective, Springer-Vieweg, 2022.
LibreCat | Files available
 

2022 | Journal Article | LibreCat-ID: 30964 | OA LibreCat | DOI | Download (ext.)
 

2022 | Conference Paper | LibreCat-ID: 30971
Integrating Safety Guarantees into the Learning Classifier System XCS
T. Hansmeier, M. Platzner, in: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Springer International Publishing, 2022, pp. 386–401.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31060
Coordinating Amoebots via Reconfigurable Circuits
M. Feldmann, A. Padalkin, C. Scheideler, S. Dolev, J. Comput. Biol. 29 (2022) 317–343.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 31844
Computation on Encrypted Data Using Dataflow Authentication
A. Fischer, B. Fuhry, J. Kußmaul, J. Janneck, F. Kerschbaum, E. Bodden, ACM Transactions on Privacy and Security 25 (2022) 1–36.
LibreCat | DOI
 

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
 

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
 

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
 

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
 

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
 

2022 | Conference Paper | LibreCat-ID: 29842 | OA
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
 

2022 | Journal Article | LibreCat-ID: 32319 LibreCat
 

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
 

2022 | Journal Article | LibreCat-ID: 29673 | OA
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
 

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
 

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
 

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
 

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
 

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
 

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
 

Filters and Search Terms

isbn%3D978-1-931971-15-7

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed