Scientific Publications
Journal Article (63)
1.
Journal Article
47, 100757 (2023)
A Polyhedral Study of Lifted Multicuts. Discrete Optimization 2.
Journal Article
19 (2), 19, pp. 1 - 34 (2023)
Online Metric Algorithms with Untrusted Predictions. ACM Transactions on Algorithms 3.
Journal Article
48 (2), 100778 (2023)
Secretary and Online Matching Problems with Machine Learned Advice. Discrete Optimization 4.
Journal Article
20 (1), 2, pp. 1 - 23 (2023)
Practical Saccade Prediction for Head-Mounted Displays: Towards a Comprehensive Model. ACM Transactions on Applied Perception 5.
Journal Article
Computing Longest Lyndon Subsequences and Longest Common Lyndon Subsequences. Algorithmica (2023)
6.
Journal Article
66 (4), pp. 80 - 90 (2023)
Mechanical Mathematicians. Communications of the ACM 7.
Journal Article
67 (1), 10 (2023)
Superposition for Higher-Order Logic. Journal of Automated Reasoning 8.
Journal Article
52 (5), pp. 1132 - 1192 (2023)
Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover. SIAM Journal on Computing 9.
Journal Article
Given Clause Loops. Archive of Formal Proofs (2023)
10.
Journal Article
43, pp. 659 - 664 (2023)
Treedepth Vs Circumference. Combinatorica 11.
Journal Article
Treedepth Versus Circumference. Combinatorica (2023)
12.
Journal Article
19 (1), 9, pp. 1 - 24 (2023)
A Linear-Time n0.4-Approximation for Longest Common Subsequence. ACM Transactions on Algorithms 13.
Journal Article
42 (2), pp. 119 - 131 (2023)
Video Frame Interpolation for High Dynamic Range Sequences Captured with Dual-exposure Sensors. Computer Graphics Forum 14.
Journal Article
46 (2), pp. 1257 - 1272 (2023)
LayerNet: High-Resolution Semantic 3D Reconstruction of Clothed People. IEEE Transactions on Pattern Analysis and Machine Intelligence 15.
Journal Article
45 (1), pp. 123 - 136 (2023)
Binaural SoundNet: Predicting Semantics, Depth and Motion with Binaural Sounds. IEEE Transactions on Pattern Analysis and Machine Intelligence 16.
Journal Article
67 (2), 16, pp. 1 - 44 (2023)
Unifying Splitting. Journal of Automated Reasoning 17.
Journal Article
24, pp. 1 - 33 (2023)
On Batch Teaching Without Collusion. Journal of Machine Learning Research 18.
Journal Article
131, pp. 626 - 643 (2023)
Revisiting Consistency Regularization for Semi-supervised Learning. International Journal of Computer Vision 19.
Journal Article
2023 (2), pp. 117 - 150 (2023)
Heads in the Clouds? Measuring Universities' Migration to Public Clouds: Implications for Privacy & Academic Freedom. Proceedings on Privacy Enhancing Technologies Symposium 20.
Journal Article
39 (6), btad386 (2023)
Efficiently quantifying DNA methylation for bulk- and single-cell bisulfite data. Bioinformatics