Publications

Institute of Informatics

2025

• Jakub Gajarský , Michał Pilipczuk , Filip Pokrývka, 3D-grids are not transducible from planar graphs, 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, Singapore, 23 June 2025 - 26 June 2025. See in PBN
• Lennart Brocki, Mathieu Hatt, Panagiotis Papadimitroulas, Neo Christopher Chung , 4134 Principal component analysis improves performances of survival models using radiomics and deep learning, Radiotherapy and Oncology, 206 2025, p. S3857-S3859. See in PBN
• Olaf Beyersdorff, Michał Pilipczuk , Elaine Pimentel, Kim Thang Nguyen, 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4 March 2025 - 7 March 2025. See in PBN
• Adam Karczmarz , Bartłomiej Lewandowski, A Deterministic Work-Depth Tradeoff for Strongly Connected Components, 37th ACM Symposium on Parallelism in Algorithms and Architectures, Portland, Oregon, the United States of America, 28 July 2025 - 1 August 2025. See in PBN
• Damian Niwiński , Paweł Parys , Michał Skrzypczak , A Dichotomy Theorem for Ordinal Ranks in MSO, 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4 March 2025 - 7 March 2025. See in PBN
• Youcef Djenouri, Ahmed Nabil Belbachir, Tomasz Michalak , Asma Belhadi, Gautam Srivastava, A Knowledge-Enhanced Object Detection for Sustainable Agriculture, IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 18 2025, p. 728-740. See in PBN
• Michał Pilipczuk , Sylvain Schmitz, Henry Sinclair-Banks , A Note on the Parameterised Complexity of Coverability in Vector Addition Systems, 20th International Symposium on Parameterized and Exact Computation (IPEC 2025), Warszawa, Poland, 17 September 2025 - 19 September 2025. See in PBN
• Quang-Thinh Bui, Thanh Nha Nguyen, Hung Son Nguyen , Bay Vo, A novel framework for handling uncertainty: Intuitionistic fuzzy rough soft sets, Information Sciences, 2025, p. 122592. See in PBN
• Paweł Rzążewski , Marcin Pilipczuk , A polynomial bound on the number of minimal separators and potential maximal cliques in P6-free graphs of bounded clique number, Discrete Mathematics and Theoretical Computer Science, 27 (2) 2025, p. 1-5. See in PBN
• Linda Cook, Eun Jung Kim, Tomáš Masařík , A tight meta-theorem for LOCAL certification of MSO2 properties within bounded treewidth graphs, ACM Symposium on Principles of Distributed Computing 2025, Santa María Huatulco, Mexico, 16 June 2025 - 20 June 2025. See in PBN
• Mateusz Gajewski, Mateusz Rapicki, Piotr Sankowski , Adam Karczmarz , Accurate estimation of feature importance faithfulness for tree models, 39th AAAI Conference on Artificial Intelligence, Filadelfia, Pensylwania, the United States of America, 25 February 2025 - 4 March 2025. See in PBN
• Maciej Chrabąszcz, Hubert Baniecki, Piotr Komorowski, Szymon Płotka, Przemysław Biecek , Aggregated Attributions for Explanatory Analysis of 3D Segmentation Models, 2025 IEEE/CVF Winter Conference on Applications of Computer Vision, Tucson, Arizona, the United States of America, 28 February 2025 - 4 March 2025. See in PBN
• Paulina Szymczak, Wojciech Zarzecki, Jiejing Wang, Yiqian Duan, Jun Wang, Luis Pedro Coelho, Cesar de la Fuente-Nunez, Ewa Szczurek , AI-Driven Antimicrobial Peptide Discovery: Mining and Generation, ACCOUNTS OF CHEMICAL RESEARCH, 58 (12) 2025. See in PBN
• Adam Cicherski, Norbert Dojer , Anna Lisiecka , AlfaPang: alignment free algorithm for pangenome graph construction, Algorithms for Molecular Biology, 20 (1) 2025. See in PBN
• Bich Khue Vo, Hung Son Nguyen , All-Time WTA Leaders Ranking Using Incomplete Interval-Valued Fuzzy Preference Relations, The 11th International Symposium on Integrated Uncertainty in Knowledge Modelling and Decision Making, Ho Chi Minh City, Viet Nam, 17 March 2025 - 19 March 2025, 15586 2025, p. 40-51. See in PBN
• Paweł Rzążewski , Edouard Bonnet, An 11/6-Approximation Algorithm for Vertex Cover on String Graphs, 41st International Symposium on Computational Geometry (SoCG 2025), Kanazawa, Japan, 22 June 2025 - 26 June 2025. See in PBN
• Daniel Lokshtanov, Pranabendu Misra, Michał Pilipczuk , Saket Saurabh, Meirav Zehavi, An Exponential Time Parameterized Algorithm for Planar Disjoint Paths, SIAM Journal on Computing, 54 (2) 2025, p. 321-418. See in PBN
• Stefan Stanimirović, Anh Linh Nguyen , Miroslav Ćirić, Marko Stanković, Approximate state reduction of fuzzy finite automata, FUZZY SETS AND SYSTEMS, 519 2025, p. 109535. See in PBN
• Konrad Zdanowski, Aleksy Schubert , Paweł Urzyczyn , BETWEEN PROOF CONSTRUCTION AND SAT-SOLVING, Journal of Symbolic Logic, 2025, p. 1-17. See in PBN
• Hubert Baniecki, Przemysław Biecek , Birds look like cars: adversarial analysis of intrinsically interpretable deep learning, Machine Learning, 114 (12) 2025. See in PBN
• Romain Bourneuf, Marcin Pilipczuk , Bounding ε-scatter dimension via metric sparsity, Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2025), Nowy Orlean, Luizjana, the United States of America, 12 January 2025 - 15 January 2025. See in PBN
• Shaull Almagor, Itay Hasson, Michał Pilipczuk , Michael Zaslavski, Box-Reachability in Vector Addition Systems, 19th International Conference on Reachability Problems, Madrid, Spain, 1 October 2025 - 3 October 2025. See in PBN
• Stefan Stanimirović, Anh Linh Nguyen , Miroslav Ćirić, Marko Stanković, Breadth-first fuzzy bisimulations for fuzzy automata, FUZZY SETS AND SYSTEMS, 503 2025, p. 109246. See in PBN
• Katarzyna Drzewicka, Katarzyna M. Głuchowska, Michal Mlącki, Bartłomiej Hofman, Irina Tuszyńska, Tristram A. J. Ryan, Katarzyna Piwowar, Bartosz Wilczyński , DOROTA DYMKOWSKA, Marcin M. Grzybowski, Barbara Dymek, Tomasz Rejczak, Kamil Lisiecki, Adam Gołębiowski, Adam Jagielski, Angelika Muchowicz, Dylan Ryan, Krzysztof Zabłocki, Luke A. J. O’Neill, Zbigniew Zasłona, Chitinase-1 inhibition attenuates metabolic dysregulation and restores homeostasis in MASH animal models, Frontiers in Immunology, 16 2025, p. 1-21. See in PBN
• Maciej Matraszek, Mateusz Banaszek, Wojciech Ciszewski, Artur Jamro, Wojciech Kordalski, Daniel Gutowski, Michał Siwiński, Bartłomiej Dalak, Konrad Iwanicki , CMEmu: Synthesizing a Cycle-Exact Model of Program Execution on ARM Cortex-M from In-Code Timing Measurements, International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems 2025, Barcelona, Spain, 27 October 2025 - 31 October 2025. See in PBN
• Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, Jose Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak , Cem Okulmus, Axel Polleres, Ognjen Savković, Mantas Šimkus, Dominik Tomaszuk, Common Foundations for SHACL, ShEx, and PG-Schema, International World Wide Web Conference, Sydney, Australia, 28 April 2025 - 2 May 2025. See in PBN
• Tamio-Vesa Nakajima, Zephyr Verwimp, Marcin Wrochna , Stanislav Živný, Complexity of Approximate Conflict-Free, Linearly-Ordered, and Nonmonochromatic Hypergraph Colourings, 52nd EATCS International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 8 July 2025 - 11 July 2025. See in PBN
• Paweł Górecki , Alexey Markin, Sriram Vijendran, Oliver Eulenstein, Computing generalized cophenetic distances under all Lp norms: A near-linear time algorithmic framework, PLoS Computational Biology, 21 (6) 2025, p. e1013069. See in PBN
• Michał Bortkiewicz, Michał Zawalski, Benjamin Eysenbach, Piotr Miłoś, Alicja Ziarko , Contrastive Representations for Temporal Reasoning, arXiv, 2025, p. 1-23. See in PBN
• Panagiotis Charalampopoulos, Manal Mohamed, Jakub Radoszewski , Wojciech Rytter , Tomasz Waleń , Wiktor Zuba , Counting Distinct Square Substrings in Sublinear Time, 50th International Symposium on Mathematical Foundations of Computer Science, Warsaw, Poland, 25 August 2025 - 29 August 2025, 345 (36) 2025, p. 1-19. See in PBN
• Marvin Künnemann, Filip Mazowiecki , Lia Schütze, Henry Sinclair-Banks , Karol Węgrzycki, Coverability in VASS Revisited: Improving Rackoff’s Bounds to Obtain Conditional Optimality, JOURNAL OF THE ACM, 2025. See in PBN
• Michał Nauman, Marek Cygan , Decoupled Policy Actor-Critic: Bridging Pessimism and Risk Awareness in Reinforcement Learning, 39th AAAI Conference on Artificial Intelligence, Filadelfia, Pensylwania, the United States of America, 25 February 2025 - 4 March 2025, 39 (18) 2025, p. 19633-19641. See in PBN
• Paulina Tomaszewska, Elżbieta Sienkiewicz, Przemysław Biecek , Mai P. Hoang, Deep Spatial Context: When Attention-Based Models Meet Spatial Regression (Digital Pathology), 23rd International Conference on Artificial Intelligence in Medicine, Pavia, Italy, 22 June 2025 - 25 June 2025. See in PBN
• Senbai Kang , Nico Borgsmüller, Monica Valecha, Magda Markowska, Jack Kuipers, Niko Beerenwinkel, David Posada, Ewa Szczurek , DelSIEVE: cell phylogeny modeling of single nucleotide variants and deletions from single-cell DNA sequencing data, GENOME BIOLOGY, 26 (1) 2025. See in PBN
• Ngoc Nguyen, Anh Linh Nguyen , Ivana Micić, Stefan Stanimirović, Depth-bounded fuzzy bisimulation for fuzzy modal logic, Cybernetics and Systems, vol. 56 (nr 8) 2025, p. 1195–1212. See in PBN
• Anh Linh Nguyen , Ivana Micić, Stefan Stanimirović, Depth-bounded fuzzy simulations and bisimulations between fuzzy automata, FUZZY SETS AND SYSTEMS, 473 2025, p. 108729, 1-22. See in PBN
• Michał Włodarczyk , Designing Compact ILPs via Fast Witness Verification, 20th International Symposium on Parameterized and Exact Computation (IPEC 2025), Warszawa, Poland, 17 September 2025 - 19 September 2025, 358 (16) 2025, p. 1-18. See in PBN
• Szymon Płotka, Karol PUSTELNIK, Paula Szenejko, Kinga ŻEBROWSKA, Iga RZUCIDŁO-SZYMAŃSKA, Natalia Szymecka-Samaha, Tomasz ŁĘGOWIK, Katarzyna Kosińska-Kaczyńska, Przemysław KORZENIOWSKI, Piotr Biliński , Asma KHALIL, Robert Brawura-Biskupski-Samaha, Ivana IŠGUM, Clara. I. SÁNCHEZ, Arkadiusz Sitek, Direct estimation of fetal biometry measurements from ultrasound video scans through deep learning, American Journal of Obstetrics & Gynecology MFM, 7 (4) 2025, p. 101623. See in PBN
• Irina Tuszynska, Paweł Bednarz, Bartosz Wilczyński , Effective modeling of the chromatin structure by coarse-grained methods, Journal of Biomolecular Structure and Dynamics, 43 (3) 2025, p. 1183-1191. See in PBN
• Anh Linh Nguyen , Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems, FUZZY SETS AND SYSTEMS, 500 2025, p. 109194. See in PBN
• Hubert Baniecki, Giuseppe Casalicchio, Bernd Bischl, Przemysław Biecek , Efficient and Accurate Explanation Estimation with Distribution Compression, The Thirteenth International Conference on Learning Representations, Singapore, Singapore, 24 April 2025 - 28 April 2025. See in PBN
• Piotr Radziński , Jakub Skrajny, Maurycy Moczulski, Michał A. Ciach, Dirk Valkenborg, Benjamin Balluff, Anna Gambin , Efficient Compression of Mass Spectrometry Images via Contrastive Learning-Based Encoding, Analytical Chemistry, 97 (29) 2025, p. 15579-15585. See in PBN
• Estéban Gabory, Moses Njagi Mwaniki, Nadia Pisanti, Solon P. Pissis, Jakub Radoszewski , Michelle Sweering, Wiktor Zuba , Elastic-degenerate string comparison, Information and Computation, 304 2025, p. 105296: 1-23. See in PBN
• Hsien-Chih Chang, Vincent Cohen-Addad, Jonathan Conroy, Hung Le, Marcin Pilipczuk , Michał Pilipczuk , Embedding Planar Graphs into Graphs of Treewidth O (log^3 n ), Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2025), Nowy Orlean, Luizjana, the United States of America, 12 January 2025 - 15 January 2025. See in PBN
• Daniel Kałuża , Andrzej Janusz , Dominik Ślęzak , Evidence-theoretical modeling of uncertainty induced by posterior probability distributions, International Journal of Applied Mathematics and Computer Science, 35 (1) 2025, p. 33-34. See in PBN
• Paweł Rzążewski , Tara Abrishami, Marcin Briański, Jadwiga Czyżewska, Rose McCarty, Martin Milanič, Bartosz Walczak, Excluding a Clique or a Biclique in Graphs of Bounded Induced Matching Treewidth, SIAM Journal on Discrete Mathematics, 39 (2) 2025, p. 1189 – 1200. See in PBN
• Bastian Pfeifer, Mateusz Krzyziński, Hubert Baniecki, Andreas Holzinger, Przemysław Biecek , Explaining and visualizing black-box models through counterfactual paths, Pattern Analysis and Applications, 28 (3) 2025. See in PBN
• Przemysław Biecek , Nicholas Spyrison, Dianne Cook, Exploring local explanations of nonlinear models using animated linear projections, Computational Statistics, 40 2025, p. 1071-1095. See in PBN
• Małgorzata Łazęcka , Ewa Szczurek , Factor Analysis with Correlated Topic Model for Multi-Modal Data, 28th International Conference on Artificial Intelligence and Statistics, Mai Khao, Thailand, 3 May 2025 - 5 May 2025, 258 2025, p. 1801-1809. See in PBN
• Yuto Nakashima, Jakub Radoszewski , Tomasz Waleń , Fast Computation of k-Runs, Parameterized Squares, and Other Generalised Squares, The 33rd Annual European Symposium on Algorithms, Warsaw, Poland, 15 September 2025 - 17 September 2025, 351 (8) 2025, p. 1-18. See in PBN
• Solon P. Pissis, Jakub Radoszewski , Wiktor Zuba , Faster Approximate Elastic-Degenerate String Matching - Part A, 36th Annual Symposium on Combinatorial Pattern Matching, Milano, Italy, 17 June 2025 - 19 June 2025. See in PBN
• Vikrant Ashvinkumar, Aaron Bernstein, Adam Karczmarz , Faster Approximation Algorithms for Restricted Shortest Paths in Directed Graphs, 36th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, the United States of America, 11 January 2025 - 14 January 2025. See in PBN
• Kacper Kluk , Marcin Pilipczuk , Michał Pilipczuk , Giannos Stamoulis, Faster Diameter Computation in Graphs of Bounded Euler Genus, 52nd EATCS International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 8 July 2025 - 11 July 2025. See in PBN
• Slobodan Mitrović, Anish Mukherjee, Piotr Sankowski , Wen-Horng Sheu, Faster Semi-Streaming Matchings via Alternating Trees, 52nd EATCS International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 8 July 2025 - 11 July 2025, 334 (119) 2025, p. 1-19. See in PBN
• Wojciech Przybyszewski , Szymon Toruńczyk , Flipping and Forking, 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, Singapore, 23 June 2025 - 26 June 2025. See in PBN
• Eun Jung Kim, Stefan Kratsch, Marcin Pilipczuk , Magnus Wahlström, Flow-augmentation I: Directed graphs, JOURNAL OF THE ACM, 72 (1) 2025, p. 1-38. See in PBN
• Eun Jung Kim, Stefan Kratsch, Marcin Pilipczuk , Magnus Wahlström, Flow-Augmentation III: Complexity Dichotomy for Boolean CSPs Parameterized by the Number of Unsatisfied Constraints, SIAM Journal on Computing, 54 (4) 2025, p. 1065-1137. See in PBN
• Gramoz Goranci, Adam Karczmarz , Ali Momeni, Nikos Parotsidis, Fully Dynamic Algorithms for Transitive Reduction, 52nd EATCS International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 8 July 2025 - 11 July 2025, 334 (92) 2025, p. 1-20. See in PBN
• Jacob Holm, Wojciech Nadara , Eva Rotenberg, Marek Sokołowski, Fully Dynamic Biconnectivity in Õ(log² n) Time, The 57th Annual ACM Symposium on Theory of Computing, Prague, Czechia, 23 June 2025 - 27 June 2025. See in PBN
• Przemysław Biecek , Barłomiej Sobieski, Global Counterfactual Directions, The 18th European Conference on Computer Vision, Milano, Italy, 28 September 2024 - 3 October 2024. See in PBN
• Michał Włodarczyk , Going Beyond Surfaces in Diameter Approximation, The 33rd Annual European Symposium on Algorithms, Warsaw, Poland, 15 September 2025 - 17 September 2025, 351 (39) 2025, p. 1-19. See in PBN
• Kacper Kluk , Marta Piecyk, Hoang La, Graph Reconstruction with Connectivity Queries, 50th International Workshop on Graph-Theoretic Concepts in Computer Science, Špik, Alpine Resort, Gozd Martuljek, Slovenia, 18 June 2024 - 20 June 2024. See in PBN
• Mikołaj Bojańczyk , Pierre Ohlmann, Graphs of unbounded linear cliquewidth must transduce all trees, 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, Singapore, 23 June 2025 - 26 June 2025. See in PBN
• Romain Bourneuf, Jana Masaříková , Wojciech Nadara , Marcin Pilipczuk , Graphs with No Long Claws: An Improved Bound for the Analog of the Gyárfás' Path Argument, 50th International Symposium on Mathematical Foundations of Computer Science, Warsaw, Poland, 25 August 2025 - 29 August 2025, 345 (28) 2025, p. 1-16. See in PBN
• Valerii Kachin , J.C. López Carreño, Magdalena Stobińska , High-robust topological edge states in quasi-one-dimensional zigzag systems, Physics Letters, Section A: General, Atomic and Solid State Physics, 559 2025, p. 130905. See in PBN
• Grzegorz Kaszuba, Tomasz Krakowski, Bartosz Ziegler, Andrzej Jaszkiewicz, Piotr Sankowski , Implicit Modeling of Equivariant Tensor Basis with Euclidean Turbulence Closure Neural Network, Physics of Fluids, 37 (2) 2025. See in PBN
• Krzysztof Rogowski , Marcin Dziubiński , Improved Approximation Ratio for Strategyproof Facility Location on a Cycle, 34th International Joint Conference on Artificial Intelligence, Montreal, Canada, 16 August 2025 - 22 August 2025. See in PBN
• Hubert Baniecki, Bartłomiej Sobieski, Patryk Szatkowski, Przemysław Bombiński, Przemysław Biecek , Interpretable machine learning for time-to-event prediction in medicine and healthcare, Artificial Intelligence in Medicine, 159 2025, p. 103026. See in PBN
• Vladimir Zaigrajew, Hubert Baniecki, Przemysław Biecek , Interpreting CLIP with Hierarchical Sparse Autoencoders, The 42nd International Conference on Machine Learning, Vancouver, Canada, 13 July 2025 - 19 July 2025, 267 2025, p. 73918-73956. See in PBN
• Mustafa Cavus, Przemysław Biecek , Investigating the impact of balancing, filtering, and complexity on predictive multiplicity: A data-centric perspective, Information Fusion, 123 2025, p. 103243. See in PBN
• Jan Ludziejewski , Maciej Pióro, Jakub Krajewski , Maciej Stefaniak , Michał Krutul , Jan Małaśnicki, Marek Cygan , Piotr Sankowski , KAMIL ADAMCZEWSKI, Piotr Miłoś , Sebastian Jaszczur , Joint MoE Scaling Laws: Mixture of Experts Can Be Memory Efficient, The 42nd International Conference on Machine Learning, Vancouver, Canada, 13 July 2025 - 19 July 2025, 267 2025, p. 41056-41073. See in PBN
• Asma Belhadi, Youcef Djenouri, Ahmed Nabil Belbachir, Tomasz Michalak , Gautam Srivastava, Knowledge Guided Visual Transformers for Intelligent Transportation Systems, IEEE Transactions on Intelligent Transportation Systems, 26 (3) 2025, p. 3341-3349. See in PBN
• Wojciech Czerwiński , Piotr Hofman , Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable, Logical Methods in Computer Science, Volume 21, Issue 1 2025. See in PBN
• Wojciech Czerwiński , Maciej Dębski, Tomasz Gogacz , Gordon Hoi, Sanjay Jain, Michał Skrzypczak , Frank Stephan, Christopher Tan, Languages given by finite automata over the unary alphabet, Journal of Computer and System Sciences, 151 2025, p. 103634. See in PBN
• Wojciech Czerwiński , Łukasz Orlikowski , Languages of Boundedly-Ambiguous Vector Addition Systems with States, 36th International Conference on Concurrency Theory, Aarhus, Denmark, 25 August 2025 - 30 August 2025, 348 2025. See in PBN
• Andras Benczur, Dominik Ślęzak , Large-Scale Data Analysis – Software Infrastructure and Application Domains - Introduction to the Special Theme, ERCIM News, 140 2025, p. 8-9. See in PBN
• Youcef Djenouri, Nassim Belmecheri, Tomasz Michalak , Jan Dubiński, Ahmed Nabil Belbachir, Anis Yazidi, Learning Graph Representation of Agent Diffusers, 24th International Conference on Autonomous Agents and Multiagent Systems, Detroit, the United States of America, 19 May 2025 - 23 May 2025. See in PBN
• Michał Włodarczyk , Losing Treewidth In The Presence Of Weights, Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2025), Nowy Orlean, Luizjana, the United States of America, 12 January 2025 - 15 January 2025. See in PBN
• Bart M. P. Jansen, Michał Włodarczyk , Lossy Planarization: A Constant-Factor Approximate Kernelization for Planar Vertex Deletion, SIAM Journal on Computing, 54 (1) 2025, p. 1-91. See in PBN
• Antoni Moszyński, Antoni Goldstein, Barbara Domżał, Michał Startek , Krzysztof Kazimierczuk, Anna Gambin , Magnetstein: Web application for quantitative NMR mixture analysis, SoftwareX, 31 2025, p. 102329. See in PBN
• Konrad Majewski , Michał Pilipczuk , Marek Sokołowski, Maintaining CMSO₂ properties on dynamic structures with bounded feedback vertex number, ACM Transactions on Computation Theory, 17 (2) 2025, p. 1-72. See in PBN
• Szymon Płotka, Gizem Mert, Maciej Chrabaszcz, Ewa Szczurek , Arkadiusz Sitek, Mamba goes home: Hierarchical soft mixture-of-experts for 3d medical image segmentation, The Thirty-Ninth Annual Conference on Neural Information Processing Systems, San Diego, the United States of America, 2 December 2025 - 7 December 2025. See in PBN
• Mateusz Gajewski, Mikołaj Morzy, Piotr Sankowski, Mateusz Olko , Markov-Boundary Consistent Feature Attribution, 42nd International Conference on Machine Learning ICML, Vancouver, Canada, 13 July 2025 - 19 July 2025. See in PBN
• Michał Aleksander Ciach, Grzegorz Skoraczyński, Szymon Majewski, Dirk Valkenborg, Michał Startek , Anna Gambin , Błażej Miasojedow , Masserstein: Linear regression of mass spectra by optimal transport, Rapid Communications in Mass Spectrometry, 39 (S1) 2025. See in PBN
• Jayanth Jayakumar, Marco Barbieri, Magdalena Stobińska , Measurement compatibility in multiparameter quantum interferometry, Physical Review. A, 112 (4) 2025, p. 1-16. See in PBN
• Jan Dreier, Szymon Toruńczyk , Merge-Width and First-Order Model Checking, The 57th Annual ACM Symposium on Theory of Computing, Prague, Czechia, 23 June 2025 - 27 June 2025. See in PBN
• Maciej Borodzik , Marcin Mielniczuk , Merging boundary critical points of a Morse function, Proceedings of the American Mathematical Society, Series B, 12 (6) 2025, p. 64-77. See in PBN
• Georgios Papasotiropoulos , Seyedeh Zeinab Pishbin, Oskar Skibski , Piotr Skowron , Tomasz Wąs, Method of Equal Shares with Bounded Overspending, The Twenty-Sixth ACM Conference on Economics and Computation, Stanford, CA, the United States of America, 7 July 2025 - 10 July 2025. See in PBN
• Jean Christoph Jung, Jędrzej Kołodziejski , Modal Separation of Fixpoint Formulae, 42nd International Symposium on Theoretical Aspects of Computer Science, Jena, Germany, 4 March 2025 - 7 March 2025, 327 (55) 2025, p. 1:20. See in PBN
• Bich Khue Vo, Hung Son Nguyen , Multi-criteria Attribute Ranking Based on Rough Sets and Interval-Valued Fuzzy Sets, International Joint Conference on Rough Sets IJCRS 2025, Chongqing, China, 11 May 2025 - 13 May 2025, 15708 2025. See in PBN
• Nils Eling, Julien Dorier, Sylvie Rusakiewicz, Robin Liechti, Preethi Devanand, Michelle Daniel, Jonas Windhager, Bruno Palau Fernandez, Sophie Déglise, Lucie Despland, Abdelkader Benyagoub, Marcin Możejko, Dawid Uchal, Ewa Szczurek , Alexander Loboda, Daaf Sandkuijl, Nikesh Parsotam, Henoch S. Hong, Marie Morfouace, Nicolas Guex, George Coukos, Bernd Bodenmiller, Stephanie Tissot, Daniel Schulz, Multi-modal image analysis for large-scale cancer tissue studies within IMMUcan, Cell Reports Methods, 5 (9) 2025, p. 101170: 1-25. See in PBN
• Jesper Jansson, Mirosław Kowaluk , Andrzej Lingas, Mia Persson, Multiplication of 0-1 Matrices via Clustering, International Workshop on Frontiers in Algorithmics 2025, Paris, France, 30 June 2025 - 2 July 2025, 15828 2025, p. 92-102. See in PBN
• Marta Alaiz-Noya, Federico Miozzo, Miguel Fuentes-Ramos, Magdalena Machnicka , Marcelina Kurowska, Macarena L. Herrera, Beatriz del Blanco, Sergio Ninerola, Isabel Bustos-Martínez, Bartosz Wilczyński , Angel Barco, Neuronal type-specific modulation of cognition and AP-1 signaling by early-life rearing conditions, Nature Communications, 16 (1) 2025. See in PBN
• Youcef Djenouri, Ahmed Nabil Belbachir, Asma Belhadi, Tomasz Michalak , Neurosymbolic Visual Transform Based on Logic Tensor Network for Defect Detection, European Conference on Computer Vision - Workshops 2024, Milan, Italy, 29 August 2024 - 4 October 2024, 15626 2025, p. 18-34. See in PBN
• Youcef Djenouri, Ahmed Nabil Belbachir, Asma Belhadi, Tomasz Michalak , Gautam Srivastava, Next-Gen Metaverse Security Through Intrusion Detection Enhanced by Transformers and GANs, IEEE Internet of Things Journal, 12 (12) 2025, p. 20640-20651. See in PBN
• Barbara Domżał, Magdalena Grochowska-Tatarczak, Przemysław Malinowski, Błażej Miasojedow , Krzysztof Kazimierczuk, Anna Gambin , NMR Reaction Monitoring Robust to Spectral Distortions, Analytical Chemistry, 97 (29) 2025, p. 15633-15641. See in PBN
• Paweł Rzążewski , Akanksha Agrawal, Paloma Lima, Daniel Lokshtanov, Saket Saurabh, Roohani Sharma, Odd Cycle Transversal on P5-free Graphs in Polynomial Time, ACM Transactions on Algorithms, 21 (2) 2025, p. 1-14. See in PBN
• Michał Dębski, Zbigniew Lonc, Marta Piecyk, Paweł Rzążewski , Václav Blažej, On Approximate MMS Allocations on Restricted Graph Classes, 28th European Conference on Artificial Intelligence (ECAI 2025), Bolonia, Italy, 24 October 2025 - 29 October 2025. See in PBN
• Michal Čertík, Andreas Emil Feldmann, Jaroslav Nešetřil, Paweł Rzążewski , On Computational Aspects of Ordered Matching Problems, LNCS Transactions on Computational Collective Intelligence, 22nd International Colloquium on Theoretical Aspects of Computing, Marrakesz, Morocco, 23 November 2025 - 29 November 2025. See in PBN
• Marek Grzegorowski, Andrzej Janusz , Łukasz Marcinowski, Andrzej Skowron, Dominik Ślęzak , Grzegorz Śliwa, On explainability of cluster prototypes with rough sets: A case study in the FMCG market, International Journal of Applied Mathematics and Computer Science, 35 (1) 2025, p. 19-31. See in PBN
• Filip Murlak , On Graph Queries and Modal Constraints (Invited Talk), 50th International Symposium on Mathematical Foundations of Computer Science, Warsaw, Poland, 25 August 2025 - 29 August 2025, 345 (4) 2025, p. 1-1. See in PBN
• Meike Hatzel, Michał Pilipczuk , On Graphs Coverable by Chubby Shortest Paths, 51st International Workshop on Graph-Theoretic Concepts in Computer Science, Otzenhausen, Germany, 11 June 2025 - 13 June 2025. See in PBN
• Adam Górkiewicz, Adam Karczmarz , On Incremental Approximate Shortest Paths in Directed Graphs, 52nd EATCS International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 8 July 2025 - 11 July 2025, 334 (93) 2025, p. 1-20. See in PBN
• Evangelos Markakis, Georgios Papasotiropoulos , On the complexity of winner determination and strategic control in conditional approval voting, Theoretical Computer Science, 1050 2025, p. 115396: 1-24. See in PBN
• Georgios Amanatidis, Michael Lampis, Evangelos Markakis, Georgios Papasotiropoulos , On the Tractability Landscape of the Conditional Minisum Approval Voting Rule, INFORMATION PROCESSING LETTERS, 189 2025, p. 106561: 1-8. See in PBN
• Arka Ghosh , Piotr Hofman , Sławomir Lasota , Orbit-finite Linear Programming, JOURNAL OF THE ACM, 72 (1) 2025, p. 1-39. See in PBN
• Piotr Przymus, Jakub Narębski, Krzysztof Rykaczewski, Krzysztof Stencel , Mikołaj Fejzer, Out of sight, still at risk : the lifecycle of transitive vulnerabilities in Maven, IEEE/ACM 22nd International Conference on Mining Software Repositories , Ottawa, Canada, 27 April 2025 - 28 April 2025. See in PBN
• Jana Cslovjecsek, Martin Koutecký, Alexandra Lassota, Michał Pilipczuk , Adam Polak, Parameterized algorithms for block-structured integer programs with large entries, TheoretiCS, Volume 4 2025. See in PBN
• Václav Blažej, Andreas Emil Feldmann, Foivos Fioravantes, Paweł Rzążewski , Ondřej Suchý, Parameterized Complexity of Directed Traveling Salesman Problem, 36th International Symposium on Algorithms and Computation, Tainan, Taiwan (Province of China), 6 December 2025 - 9 December 2025. See in PBN
• Jakub Narębski, Krzysztof Stencel , Piotr Przymus, Mikołaj Fejzer, PatchScope : a modular tool for annotating and analyzing contributions, 34th ACMSIGSOFTInternational Symposiumon Software Testing and Analysis, Trondheim, Norway, 24 June 2025 - 27 June 2025. See in PBN
• Andrzej Mizera , Jakub Zarzycki , pbn-STAC: Deep reinforcement learning-based framework for cellular reprogramming, Theoretical Computer Science, 1049 2025, p. 115382: 1-21. See in PBN
• Maël Dumas , Anthony Perez, Mathis Rocton, Ioan Todinca, Polynomial kernels for edge modification problems towards block and strictly chordal graphs, Discrete Mathematics and Theoretical Computer Science, vol. 27:2 (Discrete Algorithms) 2025. See in PBN
• Vincent Cohen-Addad, Marcin Pilipczuk , Michał Pilipczuk , Polynomial-Time Approximation Schemes for Facility Location on Planar Graphs, SIAM Journal on Computing, 54 (4) 2025, p. 1-52. See in PBN
• Marek Bolanowski, Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Ślęzak , Proceedings of the 20th Conference on Computer Science and Intelligence Systems (FedCSIS), 20th Conference on Computer Science and Intelligence Systems, Kraków, Poland, 14 September 2025 - 17 September 2025. See in PBN
• Michal Kmicikiewicz, Vincent Fortuin, Ewa Szczurek , PROSPERO: Active Learning for Robust Protein Design Beyond Wild-Type Neighborhoods, The Thirty-Ninth Annual Conference on Neural Information Processing Systems, San Diego, the United States of America, 2 December 2025 - 7 December 2025. See in PBN
• Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak , Liat Peterfreund, Cristina Sirangelo, Queries with External Predicates, 28th International Conference on Database Theory, Barcelona, Spain, 25 March 2025 - 28 March 2025. See in PBN
• Leonid Libkin, Wim Martens, Filip Murlak , Liat Peterfreund, Domagoj Vrgoč, Querying Graph Data: Where We Are and Where To Go, 44th Symposium on Principles of Database Systems, Berlin, Germany, 22 June 2025 - 27 June 2025. See in PBN
• Marcin Luckner, Paweł Gelar, Agata Kaczmarek, Adam Kaniasty, Bartosz Kochański, Tymoteusz Kwieciński, Wiktoria Mieleszczenko-Kowszewicz, Przemysław Biecek , Radiomic Medical Data Transformation for Radiologists Support, 33rd International Conference on Information Systems Development , Belgrade, Serbia, 2 September 2025 - 4 September 2025. See in PBN
• Roland Guttenberg, Wojciech Czerwiński , Sławomir Lasota , Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests, 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, Singapore, 23 June 2025 - 26 June 2025. See in PBN
• Wojciech Czerwiński , Ismaël Jecker , Sławomir Lasota , Łukasz Orlikowski , Reachability in 3-VASS Is Elementary, 52nd EATCS International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 8 July 2025 - 11 July 2025, 334 (153) 2025, p. 1-20. See in PBN
• Clotilde Bizière, Wojciech Czerwiński , Reachability in One-Dimensional Pushdown Vector Addition Systems Is Decidable, The 57th Annual ACM Symposium on Theory of Computing, Prague, Czechia, 23 June 2025 - 27 June 2025. See in PBN
• Łukasz Kamiński , Sławomir Lasota , Reachability in Symmetric VASS, 50th International Symposium on Mathematical Foundations of Computer Science, Warsaw, Poland, 25 August 2025 - 29 August 2025, 345 (60) 2025, p. 1-17. See in PBN
• Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak , Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoč, David Zhao, Abdul Zreika, Rel: A Programming Language for Relational Data, 2025 ACM SIGMOD/PODS Conference, Berlin, Germany, 22 June 2025 - 27 June 2025. See in PBN
• Małgorzata Kot, Jerzy Tyszkiewicz , Michał Leloch, Natalia Gryczewska, Sebastian Miller, Reliability and validity in determining the relative chronology between neighbouring scars on flint artefacts, Journal of Archaeological Science, 175 2025, p. No. 106156. See in PBN
• Bartłomiej Sobieski, Jakub Grzywaczewski, Bartłomiej Sadlej, Matthew Tivnan, Przemysław Biecek , Rethinking Visual Counterfactual Explanations Through Region Constraint, The Thirteenth International Conference on Learning Representations, Singapur, Singapore, 23 April 2025 - 27 April 2025. See in PBN
• Hiroshi Sakai, Michinori Nakata, Dominik Ślęzak , Junzo Watada, Rule generation in Rough set Non-deterministic Information Analysis (RNIA) and some applications of the obtained rules, Applied Soft Computing Journal, 172 2025, p. 112842: 1-18. See in PBN
• Danilo Carastan-Santos, Georges Da Costa, Igor Fontana de Nardin, Millian Poquet, Krzysztof Rządca , Patricia Stolf, Denis Trystram, Scheduling With Lightweight Predictions in Power-Constrained HPC Platforms, IEEE Transactions on Parallel and Distributed Systems, 2025, p. 1-12. See in PBN
• Édouard Bonnet, Samuel Braunfeld, Ioannis Eleftheriadis, Colin Geniet , Nikolas Mählmann, Michał Pilipczuk , Wojciech Przybyszewski , Szymon Toruńczyk , Separability Properties of Monadically Dependent Graph Classes, 52nd EATCS International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 8 July 2025 - 11 July 2025, 334 (147) 2025, p. 1-19. See in PBN
• Ahmed Nabil Belbachir, Asma Belhadi, Nassim Belmecheri, Tomasz Michalak , Youcef Djenouri, Shapley Consensus Deep Learning for Ensemble Pruning, 2025 IEEE/CVF Winter Conference on Applications of Computer Vision, Tucson, Arizona, the United States of America, 28 February 2025 - 4 March 2025. See in PBN
• Wiktor Zuba , Oded Lachish, Solon P. Pissis, Shortest Undirected Paths in de Bruijn Graphs, 36th Annual Symposium on Combinatorial Pattern Matching, Milan, Italy, 16 June 2025 - 18 June 2025, 331 (12) 2025, p. 1-13. See in PBN
• Mateusz Olko , Mateusz Gajewski, Joanna Wojciechowska, Mikołaj Morzy, Piotr Sankowski , Piotr Miłoś , Since Faithfulness Fails: The Performance Limits of Neural Causal Discovery, The 42nd International Conference on Machine Learning, Vancouver, Canada, 13 July 2025 - 19 July 2025, 267 2025, p. 47155-47175. See in PBN
• Peter Bradshaw, Tomáš Masařík , Single‐conflict colorings of degenerate graphs, Journal of Graph Theory, 109 (2) 2025, p. 170-183. See in PBN
• Bart M.P. Jansen, Jari J.H. de Kroon, Michał Włodarczyk , Single-exponential FPT algorithms for enumerating secluded F-free subgraphs and deleting to scattered graph classes, Journal of Computer and System Sciences, 148 2025, p. 103597. See in PBN
• Benjamin Bergougnoux, Vera Chekan, Robert Ganian, Mamadou Moustapha Kanté, Matthias Mnich, Sang-il Oum, Michał Pilipczuk , Erik Jan van Leeuwen, Space-Efficient Parameterized Algorithms on Graphs of Low Shrubdepth, ACM Transactions on Computation Theory, 2025. See in PBN
• Paweł Rzążewski , Maria Chudnovsky, Jadwiga Czyżewska, Kacper Kluk , Marcin Pilipczuk , Sparse Induced Subgraphs in P7-Free Graphs of Bounded Clique Number, 36th International Symposium on Algorithms and Computation, Tainan, Taiwan (Province of China), 6 December 2025 - 9 December 2025. See in PBN
• Quentin Manière, Marcin Przybyłko , Spectra of Cardinality Queries over Description Logic Knowledge Bases, 39th AAAI Conference on Artificial Intelligence, Filadelfia, Pensylwania, the United States of America, 25 February 2025 - 4 March 2025, 39 (14) 2025, p. 15067-15074. See in PBN
• Michał Pilipczuk , Strong Odd Colorings in Graph Classes of Bounded Expansion, ELECTRONIC JOURNAL OF COMBINATORICS, 32 (4) 2025, p. P4.14 : 1-17. See in PBN
• Jan Bormet, Stefan Dziembowski , Sebastian Faust, Tomasz Lizurej , Marcin Mielniczuk, Strong Secret Sharing with Snitching, 45th International Cryptology Conference, Santa Barbara, the United States of America, 17 August 2025 - 21 August 2025. See in PBN
• Konrad Staniszewski , Szymon Tworkowski, Sebastian Jaszczur , Yu Zhao, Henryk Michalewski , Łukasz Kuciński , Piotr Miłoś , Structured Packing in LLM Training Improves Long Context Utilization, The 39th Annual AAAI Conference on Artificial Intelligence, Philadelphia, the United States of America, 24 February 2025 - 3 March 2025, 39 (24) 2025, p. 25201-25209. See in PBN
• Adam Karczmarz , Da Wei Zheng, Subquadratic algorithms in minor-free digraphs: (weighted) distance oracles, decremental reachability, and more, 36th Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, the United States of America, 11 January 2025 - 14 January 2025. See in PBN
• Panagiotis Charalampopoulos, Solon P. Pissis, Jakub Radoszewski , Wojciech Rytter , Tomasz Waleń , Wiktor Zuba , Subsequence covers of words, Theoretical Computer Science, 1041 2025, p. 115216: 1-14. See in PBN
• Clément Dallard, Maël Dumas , Claire Hilaire, Anthony Perez, Sufficient Conditions for Polynomial-Time Detection of Induced Minors, International Conference on Current Trends in Theory and Practice of Computer Science 2025, Bratislava, Slovakia, 20 January 2025 - 23 January 2025. See in PBN
• Anastasiia Tonelli, Pascal Cousin, Aleksander Jankowski , Bihan Wang, Julien Dorier, Jonas Barraud, Sanyami Zunjarrao, Maria Cristina Gambetta, Systematic screening of enhancer-blocking insulators in Drosophila identifies their DNA sequence determinants, Developmental Cell, 60 (4) 2025, p. 630-645.e9. See in PBN
• Patrick Doherty, Andrzej Szałas , Techniques for measuring the inferential strength of forgetting policies, Journal of Logic and Computation, 35 (3) 2025. See in PBN
• Lorenzo Clemente , The commutativity problem for effective varieties of formal series, and applications, 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, Singapore, 23 June 2025 - 26 June 2025. See in PBN
• Stefan Kiefer, Andrew Ryzhikov , The Complexity of Reachability Problems in Strongly Connected Finite Automata, 50th International Symposium on Mathematical Foundations of Computer Science, Warsaw, Poland, 25 August 2025 - 29 August 2025, 345 (62) 2025, p. 1-19. See in PBN
• Stephen Kobourov, Maarten Löffler, Fabrizio Montecchiani, Marcin Pilipczuk , Ignaz Rutter, Raimund Seidel, Manuel Sorge, Jules Wulms, The influence of dimensions on the complexity of computing decision trees, ARTIFICIAL INTELLIGENCE, 343 2025, p. 104322: 1-12. See in PBN
• Maciej Świechowski, Dominik Ślęzak , The Many Challenges of Human-Like Agents in Virtual Game Environments, 24th International Conference on Autonomous Agents and Multiagent Systems, Detroit, the United States of America, 19 May 2025 - 23 May 2025. See in PBN
• Hung Son Nguyen , Thi Lan Anh Nguyen, The South China Sea: The Geo-political Epicenter of the Indo-Pacific?, 2025. See in PBN
• Andrzej Janusz , Savandi Kalukapuge, Moe Thandar Wynn, ThreatTrace: Cyber-Attack Detection Through Trace Abstraction and Soft Clustering, 37th International Conference on Advanced Information Systems Engineering, Vienna, Austria, 16 June 2025 - 20 June 2025, 15702 2025, p. 205–222. See in PBN
• A. Bonifati, S. Dumbrava, G. Fletcher, J. Hidders, M. Hofer, W. Martens, Filip Murlak , J. Shinavier, S. Staworko, Dominik Tomaszuk, Threshold queries in theory and in the wild, VLDB Journal, 34 (4) 2025, p. 1-27. See in PBN
• Michał Włodarczyk , Tight Bounds for Chordal/Interval Vertex Deletion Parameterized by Treewidth, Algorithmica, 87 (5) 2025, p. 621-660. See in PBN
• Patrice Ossona de Mendez, Michał Pilipczuk , Sebastian Siebertz, Transducing paths in graph classes with unbounded shrubdepth, European Journal of Combinatorics, 123 2025, p. 103660. See in PBN
• Elżbieta Sienkiewicz, Przemysław Biecek , Krzysztof Mądry, Joanna Drozd-Sokołowska, Karol Lis, Jagoda Rytel, Albert Moskowicz, Marcin Machnicki, Rafał Machowicz, Ewa Karakulska-Prystupiuk, Monika Paluszewska, Michał Górka, Agnieszka Tomaszewska, Tomasz Stokłosa, Grzegorz Basak, Venetoclax/azacitidine for the treatment of acute myeloid leukemia: real-life experience prospective single center study, Hematology in Clinical Practice, 16 2025, p. 45-51. See in PBN
• Stefan Dziembowski , Shahriar Ebrahimi, Parisa Hassanizadeh, VIMz: Private Proofs of Image Manipulation using Folding-based zkSNARKs, Privacy Enhancing Symposium 2025, Washington, the United States of America, 14 July 2025 - 19 July 2025, 2025 (2) 2025, p. 344-362. See in PBN
• Gracjan Góral , Emilia Wiśnios, Piotr Sankowski , Paweł Budzianowski, Wait, that’s not an option: LLMs Robustness with Incorrect Multiple-Choice Options, The 63rd Annual Meeting of the Association for Computational Linguistics, Vienna, Austria, 27 July 2025 - 1 August 2025. See in PBN