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.

9233 Publications


2024 | Journal Article | LibreCat-ID: 54753
@article{Dumitrescu_Falkowski_Hovemann_Rasor_2024, title={GenAI-Tools revolutionieren die Produktentwicklung}, journal={KEM Konstruktion Automation}, publisher={Konradin-Verlag Robert Kohlhammer GmbH}, author={Dumitrescu, Roman and Falkowski, Tommy and Hovemann, Aschot and Rasor, Rik}, year={2024} }
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 35083
@article{Dann_Hermann_Bodden_2023, series={International Conference on Software Engineering (ICSE)}, title={UpCy: Safely Updating Outdated Dependencies}, author={Dann, Andreas Peter and Hermann, Ben and Bodden, Eric}, year={2023}, collection={International Conference on Software Engineering (ICSE)} }
LibreCat
 

2023 | Journal Article | LibreCat-ID: 21199 | OA
@article{Peitz_Bieker_2023, title={On the Universal Transformation of Data-Driven Models to Control Systems}, volume={149}, DOI={10.1016/j.automatica.2022.110840}, number={110840}, journal={Automatica}, publisher={Elsevier}, author={Peitz, Sebastian and Bieker, Katharina}, year={2023} }
LibreCat | DOI | Download (ext.)
 

2023 | Journal Article | LibreCat-ID: 36800 | OA
@article{Busch_Hausotte_2023, title={Simulation-based investigation of the metrological interface structural resolution capability of X-ray computed tomography scanners}, volume={12}, DOI={10.5194/jsss-12-1-2023}, number={1}, journal={Journal of Sensors and Sensor Systems}, publisher={Copernicus GmbH}, author={Busch, Matthias and Hausotte, Tino}, year={2023}, pages={1–8} }
LibreCat | DOI | Download (ext.)
 

2023 | Book (Editor) | LibreCat-ID: 37469
@book{Biehler_Liebendörfer_Gueudet_Rasmussen_Winsløw_2023, place={Cham}, title={Practice-Oriented Research in Tertiary Mathematics Education}, DOI={10.1007/978-3-031-14175-1}, publisher={Springer International Publishing}, year={2023} }
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 37553
@inproceedings{Schrader_Bernijazov_Foullois_Hillebrand_Kaiser_Dumitrescu_2023, title={Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering}, DOI={10.1109/isse54508.2022.10005487}, booktitle={2022 IEEE International Symposium on Systems Engineering (ISSE)}, publisher={IEEE}, author={Schrader, Elena and Bernijazov, Ruslan and Foullois, Marc and Hillebrand, Michael and Kaiser, Lydia and Dumitrescu, Roman}, year={2023} }
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 35426 | OA
@inproceedings{Richter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title={Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?}, DOI={10.1145/3551349.3561156}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike}, year={2023} }
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 36848
@inproceedings{Schott_Pauck_2023, title={Benchmark Fuzzing for Android Taint Analyses}, DOI={10.1109/scam55253.2022.00007}, booktitle={2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)}, publisher={IEEE}, author={Schott, Stefan and Pauck, Felix}, year={2023} }
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 35427 | OA
@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses}, DOI={10.1145/3551349.3561339}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Pauck, Felix}, year={2023} }
LibreCat | DOI | Download (ext.)
 

2023 | Dissertation | LibreCat-ID: 37645 | OA
@book{Bauer_2023, title={Experimentelle Kompetenz Physikstudierender}, DOI={10.17619/UNIPB/1-1652}, publisher={LibreCat University}, author={Bauer, Anna Brigitte}, year={2023} }
LibreCat | DOI | Download (ext.)
 

2023 | Conference Paper | LibreCat-ID: 33488
@inproceedings{Ksouri-Gerwien_Vorbohle, title={Supporting Business Model Decision-making in B2B Ecosystems: A Framework for Using System Dynamics}, booktitle={Proceedings of the 55th Hawaii International Conference on System Sciences (HICSS)}, author={Ksouri-Gerwien, C. and Vorbohle, Christian} }
LibreCat
 

2023 | Mastersthesis | LibreCat-ID: 40440
@book{Pilot_2023, title={Updatable Privacy-Preserving Reputation System based on Blockchain}, author={Pilot, Matthias}, year={2023} }
LibreCat
 

2023 | Book Chapter | LibreCat-ID: 40511
@inbook{Hüsing_Schulte_Winkelnkemper_2023, title={Epistemic Programming}, DOI={10.5040/9781350296947.ch-022}, booktitle={Computer Science Education}, publisher={Bloomsbury Academic}, author={Hüsing, Sven and Schulte, Carsten and Winkelnkemper, Felix}, year={2023} }
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 33947
@article{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2023, title={Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation}, volume={939}, DOI={10.1016/j.tcs.2022.10.031}, journal={Theoretical Computer Science}, publisher={Elsevier BV}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der Heide, Friedhelm}, year={2023}, pages={261–291} }
LibreCat | DOI | arXiv
 

2023 | Book | LibreCat-ID: 36558
@book{Matz_Rogge_Rumlich_2023, place={Tübingen}, title={Die mündliche Prüfung. Eine Einführung}, publisher={Narr}, author={Matz, Frauke and Rogge, Michael and Rumlich, Dominik}, year={2023} }
LibreCat
 

2023 | Book | LibreCat-ID: 41369
@book{Böcker, place={Paderborn}, title={Mechatronik und elektrische Antriebe / Mechatronics and electrical drives}, DOI={10.17619/UNIPB/1-1640}, publisher={Paderborn University}, author={Böcker, Joachim} }
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 41456
@article{Kolbaum_Ptok_Jung_Libuda_Lindtner_2023, title={Reusability of Germany´s total diet study food list upon availability of new food consumption data—comparison of three update strategies}, DOI={10.1038/s41370-023-00522-4}, journal={Journal of Exposure Science & Environmental Epidemiology}, publisher={Springer Science and Business Media LLC}, author={Kolbaum, Anna Elena and Ptok, Sebastian and Jung, Christian and Libuda, Lars and Lindtner, Oliver}, year={2023} }
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 41812
@inproceedings{Luo_Piskachev_Krishnamurthy_Dolby_Schäf_Bodden_2023, title={Model Generation For Java Frameworks}, booktitle={IEEE International Conference on Software Testing, Verification and Validation (ICST)}, author={Luo, Linghui and Piskachev, Goran and Krishnamurthy, Ranjith and Dolby, Julian and Schäf, Martin and Bodden, Eric}, year={2023} }
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 41813
@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, booktitle={IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric}, year={2023} }
LibreCat
 

2023 | Dissertation | LibreCat-ID: 41970
@book{Dunst_2023, series={Schriften des Lehrstuhls für Dynamik und Mechatronik}, title={Modellierung und Optimierung reibungsbasierter Ultraschall-Pulvertransportprozesse}, volume={14}, publisher={Shaker}, author={Dunst, Paul}, year={2023}, collection={Schriften des Lehrstuhls für Dynamik und Mechatronik} }
LibreCat | Files available | Download (ext.)
 

Filters and Search Terms

isbn%3D978-1-59593-667-7

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed