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.

9209 Publications


2023 | Book (Editor) | LibreCat-ID: 37469
Biehler R, Liebendörfer M, Gueudet G, Rasmussen C, Winsløw C, eds. Practice-Oriented Research in Tertiary Mathematics Education. Springer International Publishing; 2023. doi:10.1007/978-3-031-14175-1
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 37553
Schrader E, Bernijazov R, Foullois M, Hillebrand M, Kaiser L, Dumitrescu R. Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering. In: 2022 IEEE International Symposium on Systems Engineering (ISSE). IEEE; 2023. doi:10.1109/isse54508.2022.10005487
LibreCat | DOI
 

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

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

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

2023 | Dissertation | LibreCat-ID: 37645 | OA
Bauer AB. Experimentelle Kompetenz Physikstudierender. LibreCat University; 2023. doi:10.17619/UNIPB/1-1652
LibreCat | DOI | Download (ext.)
 

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

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

2023 | Book Chapter | LibreCat-ID: 40511
Hüsing S, Schulte C, Winkelnkemper F. Epistemic Programming. In: Computer Science Education. Bloomsbury Academic; 2023. doi:10.5040/9781350296947.ch-022
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 33947
Castenow J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. Theoretical Computer Science. 2023;939:261-291. doi:10.1016/j.tcs.2022.10.031
LibreCat | DOI | arXiv
 

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

2023 | Book | LibreCat-ID: 41369
Böcker J. Mechatronik und elektrische Antriebe / Mechatronics and electrical drives. Paderborn University doi:10.17619/UNIPB/1-1640
LibreCat | DOI
 

2023 | Journal Article | LibreCat-ID: 41456
Kolbaum AE, Ptok S, Jung C, Libuda L, Lindtner O. Reusability of Germany´s total diet study food list upon availability of new food consumption data—comparison of three update strategies. Journal of Exposure Science & Environmental Epidemiology. Published online 2023. doi:10.1038/s41370-023-00522-4
LibreCat | DOI
 

2023 | Conference Paper | LibreCat-ID: 41812
Luo L, Piskachev G, Krishnamurthy R, Dolby J, Schäf M, Bodden E. Model Generation For Java Frameworks. In: IEEE International Conference on Software Testing, Verification and Validation (ICST). ; 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2023.
LibreCat
 

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

2023 | Journal Article | LibreCat-ID: 34402
Yigitbas E, Klauke J, Gottschalk S, Engels G. End-User Development of Interactive Web-Based Virtual Reality Scenes. Journal on Computer Languages (COLA) . Published online 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 33511
Yigitbas E, Engels G. Enhancing Robot Programming through Digital Twin and Augmented Reality . In: 56th Hawaii International Conference on System Science (HICSS 2023) . ScholarSpace; 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34401
Yigitbas E, Krois S, Gottschalk S, Engels G. Towards Enhanced Guiding Mechanisms in VR Training through Process Mining. In: Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) . ; 2023.
LibreCat
 

2023 | Conference Paper | LibreCat-ID: 34008
Castenow J, Harbig J, Jung D, Kling P, Knollmann T, Meyer auf der Heide F. A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility . In: Hillel E, Palmieri R, Riviére E, eds. Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) . Vol 253. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz Zentrum für Informatik; 2023:15:1–15:25. doi:10.4230/LIPIcs.OPODIS.2022.15
LibreCat | DOI | arXiv
 

Filters and Search Terms

isbn%3D978-1-4503-0743-7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed