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.

9724 Publications


2022 | Conference Paper | LibreCat-ID: 6590
Quantification of the adhesive coupling of layered structures using guided ultrasonic waves
M. Nicolai, H. Zeipert, Y. Lugovtsova, J. Bulling, S. Johannesmann, J. Prager, B. Henning, in: Fortschritte Der Akustik - DAGA 2022, 2022, pp. 1394–1397.
LibreCat
 

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 | 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 | 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 | Book Chapter | LibreCat-ID: 32233
Symmetrieverständnis von Anfang an
U. Häsel-Weide, M. Wallner, M. Hattermann, in: M. Gutzmann, U. Carle, Grundschulverband e. V. (Eds.), Anfangsunterricht für alle Kinder - Willkommen in der Schule!, Frankfurt a. M., 2022, pp. 200–215.
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 | Conference Paper | LibreCat-ID: 32334
Microinverter testing update using high power modules: Efficiency, yield, and conformity to a new ”estimation formula” for variation of PV panel size
S. Krauter, J. Bendfeld, M.C. Möller, in: Proceedings of the 49th IEEE Photovoltaic Specialists Conference, 2022.
LibreCat
 

2022 | Book Chapter | LibreCat-ID: 32339
Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe
U. Häsel-Weide, S. Seitz, M. Wallner, Y. Wilke, in: D. Lutz, J. Becker, F. Buchhaupt, D. Katzenbach, A. Strecker, M. Urban (Eds.), Qualifizierung für Inklusion. Sekundarstufe, Waxmann, Münster, 2022, pp. 83–100.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 32338 LibreCat | Files available
 

2022 | Conference Paper | LibreCat-ID: 32333
Model of a Self-Sufficient PV Home using a Hybrid Storage System based on Li-Ion Batteries and Hydrogen Storage with Waste Heat Utilization
M.C. Möller, S. Krauter, in: IEEE (Ed.), Proceedings of the 49th IEEE Photovoltaic Specialists Conference, 2022.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 30262
Hybrid Energy System Model in Matlab/Simulink based on Solar Energy, Lithium-Ion Battery and Hydrogen
M.C. Möller, S. Krauter, Energies / Special Issue “Sustainable Energy Concepts for Energy Transition” 15 (6), 2201 (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 | Misc | LibreCat-ID: 6561
Visualisierung von Ultraschallfeldern mittels Schlierentechnik und fraktionaler Fouriertransformation
T. Hetkämper, Visualisierung von Ultraschallfeldern Mittels Schlierentechnik Und Fraktionaler Fouriertransformation, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 2022.
LibreCat
 

2022 | Misc | LibreCat-ID: 6592
Messverfahren für die akustische Absorption zur Bestimmung der Volumenviskosität
L. Claes, Messverfahren Für Die Akustische Absorption Zur Bestimmung Der Volumenviskosität, Workshop “Messtechnische Anwendungen von Ultraschall”, Drübeck, 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
 

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
 

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.)
 

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
 

2022 | Conference Paper | LibreCat-ID: 30840
The Moral Debater: A Study on the Computational Generation of Morally Framed Arguments
M. Alshomary, R. El Baff, T. Gurcke, H. Wachsmuth, in: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022, pp. 8782–8797.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 33004
"Mama Always Had a Way of Explaining Things So I Could Understand": A Dialogue Corpus for Learning How to Explain
H. Wachsmuth, M. Alshomary, in: Proceedings of the 29th International Conference on Computational Linguistics, 2022, pp. 344–354.
LibreCat
 

2022 | Journal Article | LibreCat-ID: 34049
On the Role of Knowledge in Computational Argumentation
A. Lauscher, H. Wachsmuth, I. Gurevych, G. Glavaš, Transactions of the Association for Computational Linguistics (2022).
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 22157
Identifying the Human Values behind Arguments
J. Kiesel, M. Alshomary, N. Handke, X. Cai, H. Wachsmuth, B. Stein, in: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics, 2022, pp. 4459–4471.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 34057
Domain-specific Language for Condition Monitoring Software Development
F. Pasic, M. Becker, in: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2022.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 34047
No Word Embedding Model Is Perfect: Evaluating the Representation Accuracy for Social Bias in the Media
M. Spliethöver, M. Keiff, H. Wachsmuth, in: Proceedings of The 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP 2022), Association for Computational Linguistics, 2022.
LibreCat | arXiv
 

2022 | Conference Paper | LibreCat-ID: 31331
Schlieren imaging with fractional Fourier transform to visualise ultrasonic fields
T. Hetkämper, L. Claes, B. Henning, in: Sensoren Und Messsysteme - Beiträge Der 21. ITG/GMA-Fachtagung, VDE Verlag GmbH, Berlin, Offenbach, 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 34067
Back to the Roots: Predicting the Source Domain of Metaphors using Contrastive Learning
M. Sengupta, M. Alshomary, H. Wachsmuth, in: Proceedings of the 2022 Workshop on Figurative Language Processing, 2022.
LibreCat
 

2022 | Book Chapter | LibreCat-ID: 34077
Overview of Touché 2022: Argument Retrieval
A. Bondarenko, M. Fröbe, J. Kiesel, S. Syed, T. Gurcke, M. Beloucif, A. Panchenko, C. Biemann, B. Stein, H. Wachsmuth, M. Potthast, M. Hagen, in: Lecture Notes in Computer Science, Springer International Publishing, Cham, 2022.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 32602
The Structural Power of Reconfigurable Circuits in the Amoebot Model
A. Padalkin, C. Scheideler, D. Warner, in: T.E. Ouldridge, S.F.J. Wickham (Eds.), 28th International Conference on DNA Computing and Molecular Programming (DNA 28), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 8:1–8:22.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 32603
Fault-Tolerant Shape Formation in the Amoebot Model
I. Kostitsyna, C. Scheideler, D. Warner, in: T.E. Ouldridge, S.F.J. Wickham (Eds.), 28th International Conference on DNA Computing and Molecular Programming (DNA 28), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 9:1–9:22.
LibreCat | DOI
 

2022 | Journal Article | LibreCat-ID: 30511 | OA
Static data-flow analysis for software product lines in C
P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
LibreCat | DOI | Download (ext.)
 

2022 | Conference Paper | LibreCat-ID: 32811
Age of Information Process under Strongly Mixing Communication -- Moment Bound, Mixing Rate and Strong Law
A. Redder, A. Ramaswamy, H. Karl, in: Proceedings of the 58th Allerton Conference on Communication, Control, and Computing, 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 30793
Multi-agent Policy Gradient Algorithms for Cyber-physical Systems with Lossy Communication
A. Redder, A. Ramaswamy, H. Karl, in: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, SCITEPRESS - Science and Technology Publications, 2022.
LibreCat | Files available | DOI
 

2022 | Preprint | LibreCat-ID: 30790 LibreCat | arXiv
 

2022 | Conference Paper | LibreCat-ID: 32855
ReconOS64: A Hardware Operating System for Modern Platform FPGAs with 64-Bit Support
L. Clausing, M. Platzner, in: 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), IEEE, 2022, pp. 120–127.
LibreCat | DOI
 

2022 | Preprint | LibreCat-ID: 30791
Asymptotic Convergence of Deep Multi-Agent Actor-Critic Algorithms
A. Redder, A. Ramaswamy, H. Karl, ArXiv:2201.00570 (2022).
LibreCat | arXiv
 

2022 | Conference Paper | LibreCat-ID: 32590
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors
C. Richter, H. Wehrheim, in: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, pp. 162–173.
LibreCat | DOI
 

2022 | Conference Paper | LibreCat-ID: 32591
TSSB-3M: Mining single statement bugs at massive scale
C. Richter, H. Wehrheim, in: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418–422.
LibreCat | DOI
 

2022 | Bachelorsthesis | LibreCat-ID: 32398
Bringing Structure to Structure-Preserving Signatures: Overview, Implementation and Comparison of Selected SPS Schemes
H. Siek, Bringing Structure to Structure-Preserving Signatures: Overview, Implementation and Comparison of Selected SPS Schemes, 2022.
LibreCat
 

2022 | Mastersthesis | LibreCat-ID: 31485
On Transforming Lattice-Based Cryptography to the Ring Setting
P. Kramer, On Transforming Lattice-Based Cryptography to the Ring Setting, 2022.
LibreCat
 

2022 | Conference Paper | LibreCat-ID: 31806
ADAGIO - Automated Data Augmentation of Knowledge Graphs Using Multi-expression Learning
K. Dreßler, M. Sherif, A.-C. Ngonga Ngomo, in: Proceedings of the 33rd ACM Conference on Hypertext and Hypermedia, 2022.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed