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.
367 Publications
2023 | Dissertation | LibreCat-ID: 47833
König, Jürgen. On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 53801 | 
Kersting, Joschka, Falk Maoro, and Michaela Geierhos. “Towards Comparable Ratings: Exploring Bias in German Physician Reviews.” Data & Knowledge Engineering 148 (2023). https://doi.org/10.1016/j.datak.2023.102235.
LibreCat
| Files available
| DOI
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 45888 |
Wehrheim, Heike, Marco Platzner, Eric Bodden, Philipp Schubert, Felix Pauck, and Marie-Christine Jakobs. “Verifying Software and Reconfigurable Hardware Services.” In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:125–44. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023. https://doi.org/10.5281/zenodo.8068583.
LibreCat
| Files available
| DOI
2023 | Book | LibreCat-ID: 45863 |
Haake, Claus-Jochen, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim. On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets. Vol. 412. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023. https://doi.org/10.17619/UNIPB/1-1797.
LibreCat
| Files available
| DOI
2023 | Conference Paper | LibreCat-ID: 35426 |
Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561156.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
Pauck, Felix. “Scaling Arbitrary Android App Analyses.” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561339.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 44194 |
Ahmed, Qazi Arbab, Muhammad Awais, and Marco Platzner. “MAAS: Hiding Trojans in Approximate Circuits.” In The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, 2023.
LibreCat
| Files available
2023 | Dissertation | LibreCat-ID: 43108
Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023. https://doi.org/10.17619/UNIPB/1-1698.
LibreCat
| DOI
2023 | Dissertation | LibreCat-ID: 44323
Kersting, Joschka. Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining. Neubiberg: Universität der Bundeswehr München , 2023.
LibreCat
| Files available
2023 | Book Chapter | LibreCat-ID: 45882 |
Bäumer, Frederik Simon, Wei-Fan Chen, Michaela Geierhos, Joschka Kersting, and Henning Wachsmuth. “Dialogue-Based Requirement Compensation and Style-Adjusted Data-to-Text Generation.” In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:65–84. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023. https://doi.org/10.5281/zenodo.8068456.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45884 |
Hanselle, Jonas Manuel, Eyke Hüllermeier, Felix Mohr, Axel-Cyrille Ngonga Ngomo, Mohamed Sherif, Alexander Tornede, and Marcel Dominik Wever. “Configuration and Evaluation.” In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:85–104. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023. https://doi.org/10.5281/zenodo.8068466.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 45886 |
Wehrheim, Heike, Eyke Hüllermeier, Steffen Becker, Matthias Becker, Cedric Richter, and Arnab Sharma. “Composition Analysis in Unknown Contexts.” In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:105–23. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023. https://doi.org/10.5281/zenodo.8068510.
LibreCat
| Files available
| DOI
2023 | Book Chapter | LibreCat-ID: 46205
Kersting, Joschka, and Michaela Geierhos. “Towards Comparable Ratings: Quantifying Evaluative Phrases in Physician Reviews.” In Data Management Technologies and Applications, edited by Alfredo Cuzzocrea, Oleg Gusikhin, Slimane Hammoudi, and Christoph Quix, 1860:45–65. Communications in Computer and Information Science. Cham: Springer Nature Switzerland, 2023. https://doi.org/10.1007/978-3-031-37890-4_3.
LibreCat
| Files available
| DOI
2023 | Dissertation | LibreCat-ID: 45780 |
Tornede, Alexander. Advanced Algorithm Selection with Machine Learning: Handling Large Algorithm Sets, Learning From Censored Data, and Simplyfing Meta Level Decisions, 2023. https://doi.org/10.17619/UNIPB/1-1780 .
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 29945
Witschen, Linus Matthias, Tobias Wiersema, Lucas David Reuter, and Marco Platzner. “Search Space Characterization for Approximate Logic Synthesis .” In 2022 59th ACM/IEEE Design Automation Conference (DAC), n.d.
LibreCat
2022 | Conference Paper | LibreCat-ID: 29865
Witschen, Linus Matthias, Tobias Wiersema, Matthias Artmann, and Marco Platzner. “MUSCAT: MUS-Based Circuit Approximation Technique.” In Design, Automation and Test in Europe (DATE), n.d.
LibreCat
2022 | Conference Paper | LibreCat-ID: 32311
Sharma, Arnab, Vitaly Melnikov, Eyke Hüllermeier, and Heike Wehrheim. “Property-Driven Testing of Black-Box Functions.” In Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–23. IEEE, 2022.
LibreCat
2022 | Journal Article | LibreCat-ID: 30511 |
Schubert, Philipp, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden. “Static Data-Flow Analysis for Software Product Lines in C.” Automated Software Engineering 29, no. 1 (2022). https://doi.org/10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)