@inproceedingsPauck_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: /record/35427
DOI: 10.1145/3551349.3561339

@bookPilot_2023, title=Updatable Privacy-Preserving Reputation System based on Blockchain, author=Pilot, Matthias, year=2023 
LibreCat: /record/40440

@inbookHü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: /record/40511
DOI: 10.5040/9781350296947.ch-022

@articleCastenow_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: /record/33947
DOI: 10.1016/j.tcs.2022.10.031
arXiv: 2010.04424 

@inproceedingsLuo_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: /record/41812

@inproceedingsShivarpatna 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: /record/41813

@articleYigitbas_Klauke_Gottschalk_Engels_2023, title=End-User Development of Interactive Web-Based Virtual Reality Scenes, journal=Journal on Computer Languages (COLA) , publisher=Elsevier, author=Yigitbas, Enes and Klauke, Jonas and Gottschalk, Sebastian and Engels, Gregor, year=2023 
LibreCat: /record/34402

@inproceedingsYigitbas_Engels_2023, title=Enhancing Robot Programming through Digital Twin and Augmented Reality , booktitle=56th Hawaii International Conference on System Science (HICSS 2023) , publisher=ScholarSpace, author=Yigitbas, Enes and Engels, Gregor, year=2023 
LibreCat: /record/33511

@inproceedingsYigitbas_Krois_Gottschalk_Engels_2023, title=Towards Enhanced Guiding Mechanisms in VR Training through Process Mining, booktitle=Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , author=Yigitbas, Enes and Krois, Sebastian and Gottschalk, Sebastian and Engels, Gregor, year=2023 
LibreCat: /record/34401

@inproceedingsCastenow_Harbig_Jung_Kling_Knollmann_Meyer auf der Heide_2023, place=Brussels, series=Leibniz International Proceedings in Informatics (LIPIcs), title=A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility , volume=253, DOI=10.4230/LIPIcs.OPODIS.2022.15, booktitle=Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , publisher=Schloss Dagstuhl – Leibniz Zentrum für Informatik, author=Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm, editor=Hillel, Eshcar and Palmieri, Roberto and Riviére, Etienne, year=2023, pages=15:1–15:25, collection=Leibniz International Proceedings in Informatics (LIPIcs) 
LibreCat: /record/34008
DOI: 10.4230/LIPIcs.OPODIS.2022.15
arXiv: 2206.07567