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, pp. 1 - 47 (Eds. Bansal, N.; Nagarajan, V.). Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, January 22, 2023 - January 25, 2023. SIAM, Philadelphia, PA (2023)

Bhattacharya, S.; Kiss, P.; Saranurak, T.: Sublinear Algorithms for (1.5+Epsilon)-Approximate Matching. In: STOC '23, pp. 254 - 266. 55th Annual ACM Symposium on Theory of Computing, Orlando, FL, USA, June 20, 2023 - June 23, 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, pp. 100 - 128 (Eds. Bansal, N.; Nagarajan, V.). Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, January 22, 2023 - January 25, 2023. SIAM, Philadelphia, PA (2023)

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

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

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

Briefs, Y.; Leidinger, H.; Weidenbach, C.: KBO Constraint Solving Revisited. In: Frontiers of Combining Systems, pp. 81 - 98 (Eds. Sattler, U.; Suda, M.). 14th International Symposium on Frontiers of Combining Systems, Prague, Czech Republic, September 20, 2023 - September 22, 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, pp. 515 - 538. IEEE 64th Annual Symposium on Foundations of Computer Science , Santa Cruz, CA, USA , November 06, 2023 - November 09, 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, pp. 4768 - 4845 (Eds. Bansal, N.; Nagarajan, V.). Annual ACM-SIAM Symposium on Discrete Algorithms, Florence, Italy, January 22, 2023 - January 25, 2023. SIAM, Philadelphia, PA (2023)

Bromberger, M.; Desharnais, M.; Weidenbach, C.: An Isabelle/HOL Formalization of the SCL(FOL) Calculus. In: Automated Deductions -- CADE 29, pp. 116 - 133 (Eds. Pientka, B.; Tinelli, C.). 29th International Conference on Automated Deduction, Rome, Italy, July 01, 2023 - July 04, 2023. Springer, Berlin (2023)

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

Bromberger, M.; Leutgeb, L.; Weidenbach, C.: Symbolic Model Construction for Saturated Constrained Horn Clauses. In: Frontiers of Combining Systems, pp. 137 - 155 (Eds. Sattler, U.; Suda, M.). 14th International Symposium on Frontiers of Combining Systems, Prague, Czech Republic, September 20, 2023 - September 22, 2023. Springer, Berlin (2023)

Cassis, A.; Kociumaka, T.; Wellnitz, P.: Optimal Algorithms for Bounded Weighted Edit Distance. In: IEEE 64th Annual Symposium on Foundations of Computer Science, pp. 2177 - 2187. IEEE 64th Annual Symposium on Foundations of Computer Science , Santa Cruz, CA, USA , November 06, 2023 - November 09, 2023. IEEE, Piscataway, NJ (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, May 01, 2023 - May 05, 2023. OpenReview.net (accepted)

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, pp. 18481 - 18490. IEEE/CVF International Conference on Computer Vision, Paris, France, October 02, 2023 - October 06, 2023. IEEE, Piscataway, NJ (2023)

Christmann, P.; Saha Roy, R.; Weikum, G.: CLOCQ: A Toolkit for Fast and Easy Access to Knowledge Bases. In: BTW 2023, pp. 579 - 591 (Eds. König-Ries, B.; Scherzinger, S.; Lehner, W.; Vossen, G.). 20th Conference on Database Systems for Business, Technology and Web, Dresden, Germany, March 06, 2023 - March 10, 2023. GI (2023)

Christmann, P.; Saha Roy, R.; Weikum, G.: Explainable Conversational Question Answering over Heterogeneous Sources via Iterative Graph Neural Networks. In: SIGIR '23, pp. 643 - 653 (Eds. Chen, H.-H.; Duh, W.-J.; Huang, H.-H.; Kato, M. P.; Mothe, J. et al.). 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, Taipei, Taiwan, July 23, 2023 - July 27, 2023. ACM, New York, NY (2023)

Coupette, C.; Dalleiger, S.; Rieck, B.: Ollivier-Ricci Curvature for Hypergraphs: A Unified Framework. In: Eleventh International Conference on Learning Representations. Eleventh International Conference on Learning Representations, Kigali, Rwanda, May 01, 2023 - May 05, 2023. OpenReview.net (accepted)

Coupette, C.; Neumann, S.; Gionis, A.: Reducing Exposure to Harmful Content via Graph Rewiring. In: KDD '23, pp. 323 - 334 (Eds. Singh, A.; Sun, Y.). 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Long Beach, CA, USA, August 06, 2023 - August 10, 2023. ACM, New York, NY (2023)

Das, A.; Xian, Y.; Dai, D.; Schiele, B.: Weakly-Supervised Domain Adaptive Semantic Segmentation With Prototypical Contrastive Learning. In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, pp. 15434 - 15443. 36th IEEE/CVF Conference on Computer Vision and Pattern Recognition, Vancouver, Canada, June 18, 2023 - June 23, 2023. IEEE, Piscataway, NJ (2023)