Wissenschaftliche Publikationen

Andres, B.; Di Gregorio, S.; Irmai, J.; Lange, J.-H.: A Polyhedral Study of Lifted Multicuts. Discrete Optimization 47, 100757 (2023)

Antoniadis, A.; Coester, C.; Elias, M.; Polak, A.; Simon, B.: Online Metric Algorithms with Untrusted Predictions. ACM Transactions on Algorithms 19 (2), 19, S. 1 - 34 (2023)

Antoniadis, A.; Gouleakis, T.; Kleer, P.; Kolev, P.: Secretary and Online Matching Problems with Machine Learned Advice. Discrete Optimization 48 (2), 100778 (2023)

Arabadzhiyska, E.; Tursun, C.; Seidel, H.-P.; Didyk, P.: Practical Saccade Prediction for Head-Mounted Displays: Towards a Comprehensive Model. ACM Transactions on Applied Perception 20 (1), 2, S. 1 - 23 (2023)

Bannai, H.; Tomohiro, I.; Kociumaka, T.; Koeppl, D.; Puglisi, S. J.: Computing Longest Lyndon Subsequences and Longest Common Lyndon Subsequences. Algorithmica (2023)

Bentkamp, A.; Blanchette, J.; Nummelin, V.; Tourret, S.; Vukmirović, P.; Waldmann, U.: Mechanical Mathematicians. Communications of the ACM 66 (4), S. 80 - 90 (2023)

Bentkamp, A.; Blanchette, J.; Tourret, S.; Vukmirović, P.: Superposition for Higher-Order Logic. Journal of Automated Reasoning 67 (1), 10 (2023)

Bhattacharya, S.; Henzinger, M.; Nanongkai, D.; Wu, X.: Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover. SIAM Journal on Computing 52 (5), S. 1132 - 1192 (2023)

Blanchette, J.; Qiu, Q.; Tourret, S.: Given Clause Loops. Archive of Formal Proofs (2023)

Briánski, M.; Joret, G.; Majewski, K.; Micek, P.; Seweryn, M. T.; Sharma, R.: Treedepth Versus Circumference. Combinatorica (2023)

Briański, M.; Joret, G.; Majewski, K.; Micek, P.; Seweryn, M. T.; Sharma, R.: Treedepth Vs Circumference. Combinatorica 43, S. 659 - 664 (2023)

Bringmann, K.; Cohen-Addad, V.; Das, D.: A Linear-Time n0.4-Approximation for Longest Common Subsequence. ACM Transactions on Algorithms 19 (1), 9, S. 1 - 24 (2023)

Çoğalan, U.; Bemana, M.; Seidel, H.-P.; Myszkowski, K.: Video Frame Interpolation for High Dynamic Range Sequences Captured with Dual-exposure Sensors. Computer Graphics Forum 42 (2), S. 119 - 131 (2023)

Corona, E.; Alenyà, G.; Pons-Moll, G.; Moreno-Noguer, F.: LayerNet: High-Resolution Semantic 3D Reconstruction of Clothed People. IEEE Transactions on Pattern Analysis and Machine Intelligence 46 (2), S. 1257 - 1272 (2023)

Dai, D.; Vasudevan, A. B.; Matas, J.; Van Gool, L.: Binaural SoundNet: Predicting Semantics, Depth and Motion with Binaural Sounds. IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (1), S. 123 - 136 (2023)

Ebner, G.; Blanchette, J.; Tourret, S.: Unifying Splitting. Journal of Automated Reasoning 67 (2), 16, S. 1 - 44 (2023)

Fallat, S.; Kirkpatrick, D.; Simon, H. U.; Soltani, A.; Zilles, S.: On Batch Teaching Without Collusion. Journal of Machine Learning Research 24, S. 1 - 33 (2023)

Fan, Y.; Kukleva, A.; Dai, D.; Schiele, B.: Revisiting Consistency Regularization for Semi-supervised Learning. International Journal of Computer Vision 131, S. 626 - 643 (2023)

Fiebig, T.; Gürses, S.; Gañán, C. H.; Kotkamp, E.; Kuipers, F.; Lindorfer, M.; Prisse, M.; Sari, T.: Heads in the Clouds? Measuring Universities' Migration to Public Clouds: Implications for Privacy & Academic Freedom. Proceedings on Privacy Enhancing Technologies Symposium 2023 (2), S. 117 - 150 (2023)

Fischer, J.; Schulz, M. H.: Efficiently quantifying DNA methylation for bulk- and single-cell bisulfite data. Bioinformatics 39 (6), btad386 (2023)