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.

33561 Publications


2025 | Journal Article | LibreCat-ID: 61874
Counting of Teams in First-Order Team Logics
A. Haak, J. Kontinen, F. Müller, H. Vollmer, F. Yang, ACM Transactions on Computational Logic (2025).
LibreCat | DOI
 

2025 | Preprint | LibreCat-ID: 61065
Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).
LibreCat | arXiv
 

2025 | Conference Paper | LibreCat-ID: 61873
C1-Smooth Parametrization of Polynomial Shapes over Polygonal Domains
P. Khanteimouri, M. Campen, in: Proceedings of the 2025 SIAM International Meshing Roundtable, Society for Industrial and Applied Mathematics, Philadelphia, PA, 2025.
LibreCat | DOI
 

2025 | Book Chapter | LibreCat-ID: 61877
Can AI Regulate Your Emotions? An Empirical Investigation of the Influence of AI Explanations and Emotion Regulation on Human Decision-Making Factors
O. Lammert, in: Communications in Computer and Information Science, Springer Nature Switzerland, Cham, 2025.
LibreCat | DOI
 

2025 | Bachelorsthesis | LibreCat-ID: 61879
Overview on Threshold Signature Schemes and their Applications
A. Anonymous, Overview on Threshold Signature Schemes and Their Applications, 2025.
LibreCat
 

2025 | Bachelorsthesis | LibreCat-ID: 61878
Comparison of Time-Lock Puzzle Constructions and Their Security
A. Anonymous, Comparison of Time-Lock Puzzle Constructions and Their Security, 2025.
LibreCat
 

2025 | Journal Article | LibreCat-ID: 61138
Damage-incorporated four-step mean-field method for simulating CFRP machining: a novel algorithmic approach
Y. Zhan, I. Caylak, R. Ostwald, E. Barth, E. Uhlmann, Multiscale and Multidisciplinary Modeling, Experiments and Design 8 (2025).
LibreCat | DOI
 

2025 | Conference Abstract | LibreCat-ID: 61884
Unraveling the head-fake effect: Dynamic measures of cognitive conflict in sport contexts
I. Güldenpenning, L. Schulze Freilinghaus, N.T. Böer, M. Weigelt, in: C.F. Geißler, L.-M. Schöpper (Eds.), 57. Herbsttagung Experimentelle Kognitionspsychologie (HexKop), Trier, 2025.
LibreCat
 

2025 | Journal Article | LibreCat-ID: 61857
Mercedes. Gunst und Affekt in Cervantes’ La española inglesa
H. Schlieper, Artes 4 (2025) 306–338.
LibreCat | DOI
 

2025 | Book Review | LibreCat-ID: 59615 | OA
Geschichte und Umwelt von Rechenzentren; Rezension zu: Dommann, Monika; Rickli, Hannes; Stadler, Max (Hrsg.): Data Centers. Edges of a Wired Nation, Zürich 2020; Gugerli, David; Wichum, Ricky: An den Grenzen der Berechenbarkeit. Supercomputing in Stuttgart, Zürich 2021
M. Schmitt, HSozKult (2025).
LibreCat | Download (ext.)
 

2024 | Book Chapter | LibreCat-ID: 45827
Molecular-scale synchrotron X-ray investigations of solid-liquid interfaces in lithium-ion batteries
C. Cao, H.-G. Steinrück, in: Reference Module in Chemistry, Molecular Sciences and Chemical Engineering, Elsevier, 2024, pp. 391–416.
LibreCat | DOI
 

2024 | Encyclopedia Article | LibreCat-ID: 48363
The Swineherd’s Wife who Scolded the King
A. Foerster, in: E. Butler, I. Dumitrescu (Eds.), Women in Early Medieval England, Springer Textbook, n.d.
LibreCat
 

2024 | Encyclopedia Article | LibreCat-ID: 48362
Eadburh of Wessex
A. Foerster, in: E. Butler, I. Dumitrescu (Eds.), Women in Early Medieval England, Springer Textbook, n.d.
LibreCat
 

2024 | Encyclopedia Article | LibreCat-ID: 48364
Seaxburh
A. Foerster, in: E. Butler, I. Dumitrescu (Eds.), Women in Early Medieval England, Springer Textbook, n.d.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 48632
Exploring Capabilities for the Smart Service Transformation in Manufacturing: Insights from Theory and Practice
C. Koldewey, T. Fichtler, M. Scholtysik, J. Biehler, N. Schreiner, F. Sommer, M. Schacht, J. Kaufmann, M. Rabe, J. Sedlmeier, R. Dumitrescu, in: 2024.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 49354
Domain Knowledge Injection Guidance for Predictive Maintenance
L. Afroze, S. Merkelbach, S. von Enzberg, R. Dumitrescu, in: ML4CPS 2023, 2024.
LibreCat
 

2024 | Conference Paper | LibreCat-ID: 49364
Business strategy taxonomy and solution patterns for the circular economy
M. Scholtysik, M. Rohde, C. Koldewey, R. Dumitrescu, in: 2024.
LibreCat
 

2024 | Book | LibreCat-ID: 49504
Liebestragödie. Genealogien einer französischen Gattung des 17. Jahrhunderts
H. Schlieper, Liebestragödie. Genealogien Einer Französischen Gattung Des 17. Jahrhunderts, Brill / Fink , Paderborn, n.d.
LibreCat
 

2024 | Book Chapter | LibreCat-ID: 49545
Transformation durch Vermittlung. Das Heilige in der Geschichte pädagogischen und literarischen Wirkens der Jesuiten in Lateinamerika
C. Freitag, A. Thiem, in: M. Egidi, L. Peters, J. Schmidt (Eds.), (Un)Verfügbar - Kulturen Des Heiligen, 1st ed., University Press, Bielefeld, 2024, pp. 253–272.
LibreCat
 

2024 | Book Chapter | LibreCat-ID: 41850
Struktur und Sonderbauten der Silberbergbaustädte des 16. Jahrhunderts. Zur Korrelation von Städtebau und Montanwesen (Potosí und das Erzgebirge)
M. Silvestri, in: Bergbau und Hausbau, n.d.
LibreCat
 

Filters and Search Terms

department=44

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed