Desharnais, M.; Vukmirović, P.; Blanchette, J.; Wenzel, M.: Seventeen Provers Under the Hammer. In: 13th International Conference on Interactive Theorem Proving, 8, S. 118 - 87 (Hg. Andronick, J.; de Moura, L.). 13th International Conference on Interactive Theorem Proving, Haifa, Israel, 07. August 2022 - 10. August 2022. Schloss Dagstuhl, Wadern (2022)

Devidze, R.; Kamalaruban, P.; Singla, A.: Exploration-Guided Reward Shaping for Reinforcement Learning under Sparse Rewards. In: Advances in Neural Information Processing Systems 35, S. 5829 - 5842 (Hg. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, 28. November 2022 - 09. Dezember 2022. Curran Associates, Inc. (2022)

Ding, J.; Xue, N.; Xia, G.-S.; Dai, D.: Decoupling Zero-Shot Semantic Segmentation. In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, S. 11573 - 11582. 35th IEEE/CVF Conference on Computer Vision and Pattern Recognition, New Orleans, LA, USA, 19. Juni 2022 - 24. Juni 2022. IEEE, Piscataway, NJ (2022)

Ding, R.; Yang, J.; Jiang, L.; Qi, X.: DODA: Data-Oriented Sim-to-Real Domain Adaptation for 3D Semantic Segmentation. In: Computer Vision -- ECCV 2022, S. 284 - 303 (Hg. Avidan, S.; Brostow, G.; Cissé, M.; Farinella, G. M.; Hassner, T.). 17th European Conference on Computer Vision, Tel Aviv, Israel, 23. Oktober 2022 - 27. Oktober 2022. Springer, Berlin (2022)

Dingemanse, M.; Liesenfeld, A.: From text to talk: Harnessing conversational corpora for humane and diversity-aware language technology. In: Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (ACL 2022), S. 5614 - 5633 (Hg. Muresan, S.; Nakov, P.; Villavicencio, A.). the 60th Annual Meeting of the Association for Computational Linguistics (ACL 2022), Dublin, Ireland, 22. Mai 2022 - 27. Mai 2022. Association for Computational Linguistics, Dublin, Ireland (2022)

Doering, A.; Chen, D.; Zhang, S.; Schiele, B.; Gall, J.: PoseTrack21: A Dataset for Person Search, Multi-Object Tracking and Multi-Person Pose Tracking. In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, S. 20931 - 20940. 35th IEEE/CVF Conference on Computer Vision and Pattern Recognition, New Orleans, LA, USA, 19. Juni 2022 - 24. Juni 2022. IEEE, Piscataway, NJ (2022)

Dooley, S.; Turjeman, D.; Dickerson, J. P.; Redmiles, E. M.: Field Evidence of the Effects of Privacy, Data Transparency, and Pro-social Appeals on COVID-19 App Attractiveness. In: CHI '22, 622, S. 1 - 21 (Hg. Barbosa, S.; Lampe, C.; Appert, C.; Shamma, D. A.; Drucker, S. et al.). CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 30. April 2022 - 05. Mai 2022. ACM, New York, NY (2022)

Dreier, J.; Gajarský, J.; Kiefer, S.; Pilipczuk, M.; Toruńczyk, S.: Treelike Decompositions for Transductions of Sparse Graphs. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 31, S. 1 - 14 (Hg. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 02. August 2022 - 05. August 2022. ACM, New York, NY (2022)

El-Korashy, A.; Blanco, R.; Thibault, J.; Durier, A.; Garg, D.; Hriţcu, C.: SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. In: 2022 IEEE 35th Computer Security Foundations Symposium, S. 64 - 79. IEEE 35th Computer Security Foundations Symposium, Haifa, Israel, 07. August 2022 - 10. August 2022. IEEE, Piscataway, NJ (2022)

Eniser, H. F.; Gros, T. P.; Wüstholz, V.; Hoffmann, J.; Christakis, M.: Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing. In: ISSTA '22, S. 52 - 63 (Hg. Ryu, S.; Smaragdakis, Y.). 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, South Korea, 18. Juli 2022 - 22. Juli 2022. ACM, New York, NY (2022)

Esmer, B. C.; Kulik, A.; Marx, D.; Neuen, D.; Sharma, R.: Faster Exponential-Time Approximation Algorithms Using Approximate Monotone Local Search. In: 30th Annual European Symposium on Algorithms, 50, S. 1 - 19 (Hg. Chechik, S.; Navarro, G.; Rotenberg, E.; Herman, G.). 30th Annual European Symposium on Algorithms, Berlin/Potsdam, Germany, 05. September 2022 - 09. September 2022. Schloss Dagstuhl, Wadern (2022)

Esmer, B. C.; Kulik, A.; Marx, D.; Schepper, P.; Węgrzycki, K.: Computing Generalized Convolutions Faster Than Brute Force. In: 17th International Symposium on Parameterized and Exact Computation, 12, S. 1 - 22 (Hg. Dell, H.; Nederlof, J.). 17th International Symposium on Parameterized and Exact Computation, Potsdam, Germany, 07. September 2022 - 09. September 2022. Schloss Dagstuhl, Wadern (2022)

Espinel-Rios, S.; Huber, N.; Alcalá Orozco, E. A.; Morabito, B.; Rexer, T.; Reichl, U.; Klamt, S.; Findeisen, R.: Cell-free biosynthesis meets dynamic optimization and control: a fed-batch framework. 9th IFAC Conference on Foundations of Systems Biology in Engineering (FOSBE), Cambridge, MA, 28. August 2022 - 31. August 2022. IFAC-PapersOnLine 55 (23), S. 92 - 97 (2022)

Espinel-Rios, S.; Morabito , B.; Pohlodek, J.; Bettenbrock, K.; Klamt, S.; Findeisen, R.: Optimal control and dynamic modulation of the ATPase gene expression for enforced ATP wasting in batch fermentations. In: IFAC-PapersOnLine, Bd. 55, S. 174 - 180. 13th IFAC Symposium on Dynamics and Control of Process Systems, including Biosystems, DYCOPS 2022, Busan, Korea, 14. Juni 2022 - 17. Juni 2022. (2022)

Espinel-Rios, S.; Morabito, B.; Bettenbrock, K.; Findeisen, R.: Soft sensor for monitoring dyamic changes in cell composition. 9th IFAC Conference on Foundations of Systems Biology in Engineering (FOSBE), Cambridge, MA, 28. August 2022 - 31. August 2022. IFAC-PapersOnLine 55 (23), S. 98 - 103 (2022)

Fan, H.; Chang, X.; Zhang, W.; Cheng, Y.; Sun, Y.; Kankanhalli, M.: Self-Supervised Global-Local Structure Modeling for Point Cloud Domain Adaptation with Reliable Voted Pseudo Labels. In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, S. 6367 - 6376. 35th IEEE/CVF Conference on Computer Vision and Pattern Recognition, New Orleans, LA, USA, 19. Juni 2022 - 24. Juni 2022. IEEE, Piscataway, NJ (2022)

Farmer, J. P.; Liang, L.; Ramjiawan, R.; Velotti, F. M.; Weidl, M.; Gschwendtner, E.; Muggli, P.: Injection tolerances for a quasilinear wakefield accelerator. In: 48th EPS Conference on Plasma Physics, P5a.203 (Hg. Klinger, T.; Hobirk, J.; Orlando, S.; Lancia, L.; Maric, D. et al.). 48th EPS Conference on Plasma Physics, Virtual, 27. Juni 2022 - 01. Juli 2022. European Physical Society, Geneva (2022)

Fiebig, T.; Aschenbrenner, D.: 13 Propositions on an Internet for a "Burning World". In: TAURIN+BGI '22, S. 1 - 5 (Hg. Sileno, G.; Abhishta, A.; Becker, C.). ACM SIGCOMM 2022 Joint Workshops on Technologies, Applications, and Uses of a Responsible Internet and Building Greener Internet , Amsterdam, The Netherlands, 22. August 2022. ACM, New York, NY (2022)

Finkbeiner, B.; Mallik, K.; Passing, N.; Schledjewski, M.; Schmuck, A.-K.: BOCoSy: Small but Powerful Symbolic Output-Feedback Control. In: HSCC 2022, 24 (Hg. Bartocci, E.; Putot, S.). 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy (Virtual Event), 04. Mai 2022 - 06. Mai 2022. ACM, New York, NY (2022)

Firman, O.; Spoerhase, J.: Hypergraph Representation via Axis-Aligned Point-Subspace Cover. In: WALCOM: Algorithms and Computation, S. 328 - 339 (Hg. Mutzel, P.; Rahman, M. S.; Slamin). 16th International Conference and Workshops on Algorithms and Computation, Jember, Indonesia, 24. März 2022 - 26. März 2022. Springer, Berlin (2022)