Baumann, P.; Meyer, R.; Zetzsche, G.: Regular Separability in Büchi VASS. In: 40th International Symposium on Theoretical Aspects of Computer Science, 9, S. 1 - 19 (Hg. Berenbrink, P.; Bouyer, P.; Dawar, A.; Kanté, M. M.). 40th International Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, 07. März 2023 - 09. März 2023. Schloss Dagstuhl, Wadern (2023)

Beck, M.; Bhat, K.; Stričević, L.; Chen, G.; Behrens, D.; Fu, M.; Vafeiadis, V.; Chen, H.; Härtig, H.: AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. In: ASPLOS '23, S. 61 - 73 (Hg. Aamodt, T. M.; Enright Jerger, N.; Swift, M.). 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Vancouver, Canada, 25. März 2023 - 29. März 2023. ACM, New York, NY (2023)

Beck, M.; Spoerhase, J.; Storandt, S.: Mind the Gap: Edge Facility Location Problems in Theory and Practice. In: Algorithms and Discrete Applied Mathematics, S. 321 - 334 (Hg. Bagchi, A.; Muthu, R.). 9th International Conference on Algorithms and Discrete Applied Mathematics, Gandhinagar, India, 09. Februar 2023 - 11. Februar 2023. Springer, Berlin (2023)

Benner, P.; Chuiko, S.; Chuiko, V.: Adomian Decomposition Method in the Theory of Nonlinear Periodic Boundary Value Problems with Delay. In: DSMSI-2023 - Dynamical System Modelling and Stability Investigation 2023: Selected Papers of the XX International Scientific Conference "Dynamical System Modelling and Stability Investigation " (DSMSI-2023) Conference Proceedings, S. 53 - 62. Dynamical System Modeling and Stability Investigation Conference (DSMSI-2023), Kyiv, Ukraine, 19. Dezember 2023 - 21. Dezember 2023. (2023)

Benner, P.; Goyal, P. K.; Heiland, J.; Pontes Duff, I.: A Quadratic Decoder Approach to Nonintrusive Reduced-Order Modeling of Nonlinear Dynamical Systems. 92nd Annual Meeting of the International Association of Applied Mathematics and Mechanics, Aachen, Germany, 15. August 2022 - 19. August 2022. Proceedings in Applied Mathematics and Mechanics 23 (1), e202200049, (2023)

Bhattacharya, S.; Kiss, P.; Saranurak, T.: Dynamic Algorithms for Packing-Covering LPs via Multiplicative Weight. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, S. 1 - 47 (Hg. Bansal, N.; Nagarajan, V.). Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 22. Januar 2023 - 25. Januar 2023. SIAM, Philadelphia, PA (2023)

Bhattacharya, S.; Kiss, P.; Saranurak, T.: Sublinear Algorithms for (1.5+Epsilon)-Approximate Matching. In: STOC '23, S. 254 - 266. 55th Annual ACM Symposium on Theory of Computing, Orlando, FL, USA, 20. Juni 2023 - 23. Juni 2023. ACM, New York, NY (2023)

Bhattacharya, S.; Kiss, P.; Saranurak, T.; Wajc, D.: Dynamic Matching with Better-than-2 Approximation in Polylogarithmic Update Time. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, S. 100 - 128 (Hg. Bansal, N.; Nagarajan, V.). Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 22. Januar 2023 - 25. Januar 2023. SIAM, Philadelphia, PA (2023)

Blanchette, J.; Qiu, Q.; Tourret, S.: Verified Given Clause Procedures. In: Automated Deductions -- CADE 29, S. 61 - 77 (Hg. Pientka, B.; Tinelli, C.). 29th International Conference on Automated Deduction, Rome, Italy, 01. Juli 2023 - 04. Juli 2023. Springer, Berlin (2023)

Blikstad, J.; Tu, T.-W.; Nanongkai, D.; Mukhopadhyay, S.: Fast Algorithms via Dynamic-Oracle Matroids. In: STOC '23, S. 1229 - 1249 (Hg. Saha, B.; Servedio, R. A.). 55th Annual ACM Symposium on Theory of Computing, Orlando, FL, USA, 20. Juni 2023 - 23. Juni 2023. ACM, New York, NY (2023)

Boualili, L.; Yates, A.: A Study of Term-Topic Embeddings for Ranking. In: Advances in Information Retrieval, S. 359 - 366 (Hg. Kamps, J.; Goeuriot, L.; Crestani, F.; Maistro, M.; Joho, H. et al.). 45th European Conference on IR Research, Dublin, Ireland, 02. April 2023 - 06. April 2023. Springer, Berlin (2023)

Bozhko, S.; Marković, F.; von der Brüggen, G.; Brandenburg, B. B.: What Really is pWCET? A Rigorous Axiomatic Proposal. In: 44th IEEE Real-Time Systems Symposium, S. 13 - 26. 44th IEEE Real-Time Systems Symposium, Taipei, Taiwan, 05. Dezember 2023 - 08. Dezember 2023. IEEE, Piscataway, NJ (2023)

Briefs, Y.; Leidinger, H.; Weidenbach, C.: KBO Constraint Solving Revisited. In: Frontiers of Combining Systems, S. 81 - 98 (Hg. Sattler, U.; Suda, M.). 14th International Symposium on Frontiers of Combining Systems, Prague, Czech Republic, 20. September 2023 - 22. September 2023. Springer, Berlin (2023)

Bringmann, K.; Cassis, A.; Fischer, N.: Negative-Weight Single-Source Shortest Paths in Near-Linear Time: Now Faster! In: IEEE 64th Annual Symposium on Foundations of Computer Science, S. 515 - 538. IEEE 64th Annual Symposium on Foundations of Computer Science , Santa Cruz, CA, USA , 06. November 2023 - 09. November 2023. IEEE, Piscataway, NJ (2023)

Bringmann, K.; Kapralov, M.; Makarov, M.; Nakos, V.; Yagudin, A.; Zandieh, A.: Traversing the FFT Computation Tree for Dimension-Independent Sparse Fourier Transforms. In: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, S. 4768 - 4845 (Hg. Bansal, N.; Nagarajan, V.). Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, 22. Januar 2023 - 25. Januar 2023. SIAM, Philadelphia, PA (2023)

Bromberger, M.; Jain, C.; Weidenbach, C.: SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning. In: Automated Deductions -- CADE 29, S. 134 - 152 (Hg. Pientka, B.; Tinelli, C.). 29th International Conference on Automated Deduction, Rome, Italy, 01. Juli 2023 - 04. Juli 2023. Springer, Berlin (2023)

Buchmann, A.; Kiss, B.; Badri-Spröwitz, A.; Renjewski, D.: Power to the springs: Passive elements are sufficient to drive push-off in human walking. In: Robotics in Natural Settings, S. 21 - 32 (Hg. Cascalho, J. M.; Tokhi, M. O.; Silva, M. F.; Mendes, A.; Goher, K. et al.). 25th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machine (CLAWAR 2022), Ponta Delgada, 12. September 2022 - 14. September 2022. Springer, Cham (2023)

Caplan, S.; Peng, M. Z.; Zhang, Y.; Yu, C.: Using an Egocentric Human Simulation Paradigm to quantify referential and semantic ambiguity in early word learning. In: Proceedings of the 45th Annual Meeting of the Cognitive Science Society (CogSci 2023), S. 1043 - 1049 (Hg. Goldwater, M.; Anggoro, F. K.; Hayes, B. K.; Ong, D. C.). the 45th Annual Meeting of the Cognitive Science Society (CogSci 2023), Sydney, Australia, 26. Juli 2023 - 29. Juli 2023. (2023)

Chen, H.; Tao, R.; Fan, Y.; Wang, Y.; Savvides, M.; Wang, J.; Raj, B.; Xie, X.; Schiele, B.: SoftMatch: Addressing the Quantity-Quality Tradeoff in Semi-supervised Learning. In: Eleventh International Conference on Learning Representations. Eleventh International Conference on Learning Representations, Kigali, Rwanda, 01. Mai 2023 - 05. Mai 2023. OpenReview.net (angenommen)

Chen, X.; Shi, S.; Zhang, C.; Zhu, B.; Wang, Q.; Cheung, K. C.; See, S.; Li, H.: TrajectoryFormer: 3D Object Tracking Transformer with Predictive Trajectory Hypotheses. In: IEEE/CVF International Conference on Computer Vision, S. 18481 - 18490. IEEE/CVF International Conference on Computer Vision, Paris, France, 02. Oktober 2023 - 06. Oktober 2023. IEEE, Piscataway, NJ (2023)