Scientific Publications

Alajaji, S. A.; Khoury, Z. H.; Elgharib, M.; Saeed, M.; Ahmed, A. R. H.; Khan, M. B.; Tavares, T.; Jessri, M.; Puche, A. C.; Hoorfar, H. et al.; Stojanov, I.; Sciubba, J. J.; Sultan, A. S.: Generative Adversarial Networks in Digital Histopathology: Current Applications, Limitations, Ethical Considerations, and Future Directions. Modern Pathology 37 (1), 100369 (2024)

Ansari, N.; Babaei, V.; Najafpour, M. M.: Enhancing Catalysis Studies with Chat Generative Pre-trained Transformer (ChatGPT): Conversation with ChatGPT. Dalton Transactions (2024)

Chandran, L. S.; Hashim, T.; Jacob, D.; Mathew, R.; Rajendraprasad, D.; Singh, N.: New bounds on the anti-Ramsey numbers of star graphs via maximum edge q-coloring. Discrete Mathematics 347 (4), 113894 (2024)

Coupette, C.; Hartung, D.; Katz, D. M.: Legal Hypergraphs. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 382 (2270), 20230141, pp. 1 - 19 (2024)

Desoeuvres, A.; Iosif, A.; Luders, C.; Radulescu, O.; Rahkooy, H.; Seiss, M.; Sturm, T.: Reduction of Chemical Reaction Networks with Approximate Conservation Laws. SIAM journal on Applied Dynamical Systems 23 (1), pp. 256 - 296 (2024)

Esmer, B. C.; Kulik, A.; Marx, D.; Schepper, P.; Węgrzycki, K.: Computing Generalized Convolutions Faster Than Brute Force. Algorithmica 86, pp. 334 - 366 (2024)

Ray Chaudhury, B.; Garg, J.; Mehlhorn, K.: EFX Exists for Three Agents. Journal of the ACM 71 (1), 4, pp. 1 - 27 (2024)

Razniewski, S.; Arnaout, H.; Ghosh, S.; Suchanek, F.: Completeness, Recall, and Negation in Open-world Knowledge Bases: A Survey. ACM Computing Surveys 56 (6), 150, pp. 1 - 42 (2024)

Yunus, R.; Lenssen, J. E.; Niemeyer, M.; Liao, Y.; Rupprecht, C.; Theobalt, C.; Pons-Moll, G.; Huang, J.-B.; Golyanik, V.; Ilg, E.: Recent Trends in 3D Reconstruction of General Non-Rigid Scenes. Computer Graphics Forum (accepted)

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, pp. 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, pp. 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), pp. 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), pp. 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, pp. 659 - 664 (2023)