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.

4659 Publications


2023 | Conference Paper | LibreCat-ID: 35426 | OA
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 36848
Benchmark Fuzzing for Android Taint Analyses
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 35427 | OA
Scaling Arbitrary Android App Analyses
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Dissertation | LibreCat-ID: 37645 | OA
Experimentelle Kompetenz Physikstudierender
A.B. Bauer, Experimentelle Kompetenz Physikstudierender, LibreCat University, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 33488
Supporting Business Model Decision-making in B2B Ecosystems: A Framework for Using System Dynamics
C. Ksouri-Gerwien, C. Vorbohle, in: Proceedings of the 55th Hawaii International Conference on System Sciences (HICSS), n.d.
LibreCat
 

2023 | Mastersthesis | LibreCat-ID: 40440
Updatable Privacy-Preserving Reputation System based on Blockchain
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
LibreCat
 

2023 | Book | LibreCat-ID: 36558
Die mündliche Prüfung. Eine Einführung
F. Matz, M. Rogge, D. Rumlich, Die mündliche Prüfung. Eine Einführung, Narr, Tübingen, 2023.
LibreCat
 

2023 | Book | LibreCat-ID: 41369
Mechatronik und elektrische Antriebe / Mechatronics and electrical drives
J. Böcker, Mechatronik und elektrische Antriebe / Mechatronics and electrical drives, Paderborn University, Paderborn, n.d.
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 41456
Reusability of Germany´s total diet study food list upon availability of new food consumption data—comparison of three update strategies
A.E. Kolbaum, S. Ptok, C. Jung, L. Libuda, O. Lindtner, Journal of Exposure Science & Environmental Epidemiology (2023).
LibreCat | DOI
 

2023 | Dissertation | LibreCat-ID: 41970
Modellierung und Optimierung reibungsbasierter Ultraschall-Pulvertransportprozesse
P. Dunst, Modellierung und Optimierung reibungsbasierter Ultraschall-Pulvertransportprozesse, Shaker, 2023.
LibreCat | Files available | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 31872
Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement
S. Gharibian, D. Rudolph, in: 14th Innovations in Theoretical Computer Science (ITCS), 2023, p. 53:1-53:23.
LibreCat | DOI | arXiv
 

2023 | Bachelorsthesis | LibreCat-ID: 43058
Zur Effektivität des europäischen Kronzeugenprogramms - Der Fall des LKW-Kartells
M. Tiessen, Zur Effektivität des europäischen Kronzeugenprogramms - Der Fall des LKW-Kartells, 2023.
LibreCat
 

2023 | Journal Article | LibreCat-ID: 43109
Beep-and-Sleep: Message and Energy Efficient Set Cover
T. Götte, C. Kolb, C. Scheideler, J. Werthmann, Theor. Comput. Sci. 950 (2023) 113756.
LibreCat | DOI
 

2023 | Book Chapter | LibreCat-ID: 44049
Digitalität, Mediatisierung und Bildung - Megatrends aus medienpädagogischer Perspektive
B. Herzig, in: S. Aßmann, N. Ricken (Eds.), Bildung und Digitalität. Analysen - Diskurse - Perspektiven, 1st ed., Springer VS, Wiesbaden, 2023, pp. 99–126.
LibreCat | DOI
 

2023 | Dissertation | LibreCat-ID: 43829
Modelling electron exchange and correlation for catalyst electronic structure simulations
S. Badalov, Modelling Electron Exchange and Correlation for Catalyst Electronic Structure Simulations, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Book Chapter | LibreCat-ID: 37519
Writing as Narrative Resource in Therapeutic Settings: Diaries, Sketches, Notes
J. Mildorf, D. Ketteler, in: J. Mildorf, E. Punzi, C. Singer (Eds.), Narrative and Mental Health Today: Reimagining Theory and Practice, 1st ed., Oxford University Press, Oxford, 2023, pp. 104–122.
LibreCat
 

2023 | Book (Editor) | LibreCat-ID: 37518
Narrative and Mental Health: Reimagining Theory and Practice
J. Mildorf, E. Punzi, C. Singer, eds., Narrative and Mental Health: Reimagining Theory and Practice, 1st ed., Oxford University Press, Oxford, 2023.
LibreCat
 

2023 | Book Chapter | LibreCat-ID: 44217
Narratives and Mental Health: An Introduction
J. Mildorf, E. Punzi, C. Singer, in: J. Mildorf, E. Punzi, C. Singer (Eds.), Narrative and Mental Health: Reimagining Theory and Practice, 1st ed., Oxford University Press, Oxford, 2023, pp. 1–12.
LibreCat
 

2023 | Conference (Editor) | LibreCat-ID: 35062 | OA
Musiklandschaften zwischen Rhein und Weser. Pluralisierung und Verflechtung entlang des Hellwegs in der Frühen Neuzeit. Unter Mitarbeit v. Markus Lauert
S. Meine, A. Otto, J. Süßmann, eds., Musiklandschaften zwischen Rhein und Weser. Pluralisierung und Verflechtung entlang des Hellwegs in der Frühen Neuzeit. Unter Mitarbeit v. Markus Lauert, Königshausen & Neumann, Würzburg, 2023.
LibreCat | DOI | Download (ext.)
 

2023 | Book Chapter | LibreCat-ID: 43459
Narrative Experiments with Medical Categorization and Normalization in B. S. Johnson's House Mother Normal
S. Strauß, in: J. Mildorf, E. Punzi, C. Singer (Eds.), Narrative and Mental Health, Oxford University Press, New York, 2023, pp. 190–206.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-60960-086-0

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed