Scientific Publications

Journal Article (63)

1.
Journal Article
Andres, B.; Di Gregorio, S.; Irmai, J.; Lange, J.-H.: A Polyhedral Study of Lifted Multicuts. Discrete Optimization 47, 100757 (2023)
2.
Journal Article
Antoniadis, A.; Coester, C.; Elias, M.; Polak, A.; Simon, B.: Online Metric Algorithms with Untrusted Predictions. ACM Transactions on Algorithms 19 (2), 19, pp. 1 - 34 (2023)
3.
Journal Article
Antoniadis, A.; Gouleakis, T.; Kleer, P.; Kolev, P.: Secretary and Online Matching Problems with Machine Learned Advice. Discrete Optimization 48 (2), 100778 (2023)
4.
Journal Article
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, pp. 1 - 23 (2023)
5.
Journal Article
Bannai, H.; Tomohiro, I.; Kociumaka, T.; Koeppl, D.; Puglisi, S. J.: Computing Longest Lyndon Subsequences and Longest Common Lyndon Subsequences. Algorithmica (2023)
6.
Journal Article
Bentkamp, A.; Blanchette, J.; Nummelin, V.; Tourret, S.; Vukmirović, P.; Waldmann, U.: Mechanical Mathematicians. Communications of the ACM 66 (4), pp. 80 - 90 (2023)
7.
Journal Article
Bentkamp, A.; Blanchette, J.; Tourret, S.; Vukmirović, P.: Superposition for Higher-Order Logic. Journal of Automated Reasoning 67 (1), 10 (2023)
8.
Journal Article
Bhattacharya, S.; Henzinger, M.; Nanongkai, D.; Wu, X.: Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover. SIAM Journal on Computing 52 (5), pp. 1132 - 1192 (2023)
9.
Journal Article
Blanchette, J.; Qiu, Q.; Tourret, S.: Given Clause Loops. Archive of Formal Proofs (2023)
10.
Journal Article
Briański, M.; Joret, G.; Majewski, K.; Micek, P.; Seweryn, M. T.; Sharma, R.: Treedepth Vs Circumference. Combinatorica 43, pp. 659 - 664 (2023)
11.
Journal Article
Briánski, M.; Joret, G.; Majewski, K.; Micek, P.; Seweryn, M. T.; Sharma, R.: Treedepth Versus Circumference. Combinatorica (2023)
12.
Journal Article
Bringmann, K.; Cohen-Addad, V.; Das, D.: A Linear-Time n0.4-Approximation for Longest Common Subsequence. ACM Transactions on Algorithms 19 (1), 9, pp. 1 - 24 (2023)
13.
Journal Article
Ç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), pp. 119 - 131 (2023)
14.
Journal Article
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), pp. 1257 - 1272 (2023)
15.
Journal Article
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), pp. 123 - 136 (2023)
16.
Journal Article
Ebner, G.; Blanchette, J.; Tourret, S.: Unifying Splitting. Journal of Automated Reasoning 67 (2), 16, pp. 1 - 44 (2023)
17.
Journal Article
Fallat, S.; Kirkpatrick, D.; Simon, H. U.; Soltani, A.; Zilles, S.: On Batch Teaching Without Collusion. Journal of Machine Learning Research 24, pp. 1 - 33 (2023)
18.
Journal Article
Fan, Y.; Kukleva, A.; Dai, D.; Schiele, B.: Revisiting Consistency Regularization for Semi-supervised Learning. International Journal of Computer Vision 131, pp. 626 - 643 (2023)
19.
Journal Article
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), pp. 117 - 150 (2023)
20.
Journal Article
Fischer, J.; Schulz, M. H.: Efficiently quantifying DNA methylation for bulk- and single-cell bisulfite data. Bioinformatics 39 (6), btad386 (2023)
Go to Editor View