@inproceedingsGharibian_Rudolph_2023, title=Quantum space, ground space traversal, and how to embed multi-prover  interactive proofs into unentanglement, volume=251, DOI=10.4230/LIPIcs.ITCS.2023.53, booktitle=14th Innovations in Theoretical Computer Science (ITCS), author=Gharibian, Sevag and Rudolph, Dorian, year=2023, pages=53:1-53:23 
LibreCat: /record/31872
DOI: 10.4230/LIPIcs.ITCS.2023.53
arXiv: 2206.05243

@articleGebken_Bieker_Peitz_2023, title=On the structure of regularization paths for piecewise differentiable regularization terms, volume=85, DOI=10.1007/s10898-022-01223-2, number=3, journal=Journal of Global Optimization, author=Gebken, Bennet and Bieker, Katharina and Peitz, Sebastian, year=2023, pages=709–741 
LibreCat: /record/27426
DOI: 10.1007/s10898-022-01223-2

@articleGötte_Kolb_Scheideler_Werthmann_2023, title=Beep-and-Sleep: Message and Energy Efficient Set Cover, volume=950, DOI=10.1016/j.tcs.2023.113756, journal=Theor. Comput. Sci., author=Götte, Thorsten and Kolb, Christina and Scheideler, Christian and Werthmann, Julian, year=2023, pages=113756 
LibreCat: /record/43109
DOI: 10.1016/j.tcs.2023.113756

@inproceedingsYigitbas_Nowosad_Engels_2023, title=Supporting Construction and Architectural Visualization through BIM and AR/VR: A Systematic Literature Review, booktitle=Proceedings of the 19th IFIP T International Conference on Human-Computer Interaction (INTERACT 2023), publisher=Springer, author=Yigitbas, Enes and Nowosad, Alexander and Engels, Gregor, year=2023 
LibreCat: /record/43424

@inproceedingsSchaller_Worthmann_Philipp_Peitz_Nüske_2023, title=Towards reliable data-based optimal and predictive control using extended DMD, volume=56, DOI=10.1016/j.ifacol.2023.02.029, number=1, booktitle=IFAC-PapersOnLine, author=Schaller, Manuel and Worthmann, Karl and Philipp, Friedrich and Peitz, Sebastian and Nüske, Feliks, year=2023, pages=169–174 
LibreCat: /record/30125
DOI: 10.1016/j.ifacol.2023.02.029
arXiv: 2202.09084

@articleMaack_2023, title=Online load balancing on uniform machines with limited migration, volume=51, DOI=10.1016/j.orl.2023.02.013, number=3, journal=Operations Research Letters, publisher=Elsevier BV, author=Maack, Marten, year=2023, pages=220–225 
LibreCat: /record/44077
DOI: 10.1016/j.orl.2023.02.013

@bookSchürmann_2023, title= A Formal Comparison of Advanced Digital Signature Primitives, author=Schürmann, Patrick, year=2023 
LibreCat: /record/43374

@inproceedingsGharibian_Watson_Bausch_2023, title=The Complexity of Translationally Invariant Problems beyond Ground State Energies, volume=254, DOI=https://doi.org/10.4230/LIPIcs.STACS.2023.54, booktitle=Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS), author=Gharibian, Sevag and Watson, James and Bausch, Johannes, year=2023, pages=54:1-54:21 
LibreCat: /record/20841
DOI: https://doi.org/10.4230/LIPIcs.STACS.2023.54
arXiv: 2012.12717

@inproceedingsAhmed_Awais_Platzner_2023, title=MAAS: Hiding Trojans in Approximate Circuits, booktitle=The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA, author=Ahmed, Qazi Arbab and Awais, Muhammad and Platzner, Marco, year=2023 
LibreCat: /record/44194

@bookSchweichhart_2023, title=Minimum Edge Cuts in Overlay Networks, author=Schweichhart, Jonas, year=2023 
LibreCat: /record/44735

@inbookCastenow_Harbig_Meyer auf der Heide_2023, place=Cham, title=Unifying Gathering Protocols for Swarms of Mobile Robots, DOI=10.1007/978-3-031-30448-4_1, booktitle=Lecture Notes in Computer Science, publisher=Springer International Publishing, author=Castenow, Jannik and Harbig, Jonas and Meyer auf der Heide, Friedhelm, year=2023 
LibreCat: /record/44769
DOI: 10.1007/978-3-031-30448-4_1

@inproceedingsWolters_Engels, title=Model-driven Collaborative Design of Professional Education Programmes With Extended Online Whiteboards, DOI=10.5220/0011675700003402, booktitle=MODELSWARD’23, publisher=SCITEPRESS, author=Wolters, Dennis and Engels, Gregor, pages=133–142 
LibreCat: /record/34294
DOI: 10.5220/0011675700003402

@bookPauck_2023, title=Cooperative Android App Analysis, DOI=10.17619/UNIPB/1-1698, publisher=Paderborn University, author=Pauck, Felix, year=2023 
LibreCat: /record/43108
DOI: 10.17619/UNIPB/1-1698

@inproceedingsWerthmann_Scheideler_Coy_Czumaj_Schneider_2023, title=Routing Schemes for Hybrid Communication Networks, DOI=10.48550/ARXIV.2210.05333, author=Werthmann, Julian and Scheideler, Christian and Coy, Sam and Czumaj, Artur and Schneider, Philipp, year=2023 
LibreCat: /record/45188
DOI: 10.48550/ARXIV.2210.05333

@inproceedingsHemmrich_Bobolz_Beverungen_Blömer_2023, title=Designing Business Reputation Ecosystems — A Method for Issuing and Trading Monetary Ratings on a Blockchain, booktitle=ECIS 2023 Research Papers, author=Hemmrich, Simon and Bobolz, Jan and Beverungen, Daniel and Blömer, Johannes, year=2023 
LibreCat: /record/44855

@bookN._2023, title=Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach, author=N., N., year=2023 
LibreCat: /record/45243

@inproceedingsKarakaya_Bodden_2023, title=Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis, DOI=10.1109/icst57152.2023.00036, booktitle=2023 IEEE Conference on Software Testing, Verification and Validation (ICST), publisher=IEEE, author=Karakaya, Kadiray and Bodden, Eric, year=2023 
LibreCat: /record/45312
DOI: 10.1109/icst57152.2023.00036

@bookKoch_2023, title=Privacy-Preserving Collection and Evaluation of Log Files, author=Koch, Angelina, year=2023 
LibreCat: /record/43375

@articleSherif_da Silva_Pestryakova_Ahmed_Niemann_Ngomo_2023, title=IngridKG: A FAIR Knowledge Graph of Graffiti, volume=10, DOI=10.1038/s41597-023-02199-8, number=1318, journal=Scientific Data, publisher=Springer Science and Business Media LLC, author=Sherif, Mohamed Ahmed and da Silva, Ana Alexandra Morim and Pestryakova, Svetlana and Ahmed, Abdullah Fathi and Niemann, Sven and Ngomo, Axel-Cyrille Ngonga, year=2023 
LibreCat: /record/45484
DOI: 10.1038/s41597-023-02199-8

@bookCastenow_2023, title=Local Protocols for Contracting and Expanding Robot Formation Problems, DOI=10.17619/UNIPB/1-1750, author=Castenow, Jannik, year=2023 
LibreCat: /record/45580
DOI: 10.17619/UNIPB/1-1750