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
• 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
• Ewa Wons, Katarzyna Gucwa, Natalia Lewandowska, Aleksandra Wisniewska, Łukasz Kozłowski , Iwona Mruk, A transcription factor from the cryptic Escherichia coli Rac prophage controls both phage and host operons, Nucleic Acids Research, 53 (5) 2025. See in PBN
• Mateusz Gajewski, Adam Karczmarz , Mateusz Rapicki, Piotr Sankowski , 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, 39 (16) 2025, p. 16691-16698. 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
• 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
• 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
• 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
• 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
• Stanisław Szufa, Niclas Boehmer, Robert Bredereck, Piotr Faliszewski, Rolf Niedermeier, Piotr Skowron , Arkadii Slinko, Nimrod Talmon, Drawing a map of elections, Artificial Intelligence, 2025. 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
• Nicholas Spyrison, Dianne Cook, Przemysław Biecek , Exploring local explanations of nonlinear models using animated linear projections, Computational Statistics, 40 (2) 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. 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
• Maciej Tomczak, Yang Jeong Park, Chia‐Wei Hsu, Payden Brown, Dario Massa, Piotr Sankowski , Ju Li, Stefanos Papanikolaou, Forecasting Research Trends Using Knowledge Graphs and Large Language Models, Advanced Intelligent Systems, 2025. 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
• Ewa Mazurkiewicz-Stanek, Joanna Machnik, Iryna Kopernyk, Wojciech Wiertelak, Dorota Maszczak-Seneczko, Estera Jeruzalska, Agnieszka Biernatowska, Aleksandra Makowiecka, Michał Majkowski, Przemysław Biecek , Tomasz Trombik, Piotr Donizy, Antonina J. Mazur, Gelsolin traps ribosomal protein SA (RPSA) within lipid nanodomains of the plasma membrane and modulates the level of protein synthesis in the submembranous region of human skin melanoma cells, Biochimica et Biophysica Acta - Molecular Basis of Disease, 1871 (3) 2025, p. 1-21. 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
• 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
• Piotr Faliszewski, Piotr Skowron , Arkadii Slinko, Krzysztof Sornat, Stanisław Szufa, Nimrod Talmon, How similar are two elections?, Journal of Computer and System Sciences, 2025. 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
• 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
• 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
• Elżbieta Pawełek-Lubera, Mateusz Przyborowski, Dominik Ślęzak , Adam Wasilewski, Multi-criteria selection of data clustering methods for e-commerce personalization, APPLIED SOFT COMPUTING, 182 2025, p. 113559: 1-54. 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
• 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
• 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
• Mathieu Mari, Michał Pawłowski, Runtian Ren, Piotr Sankowski , Online Matching with Delays and Stochastic Arrival Times, Theory of Computing Systems, 69 (1) 2025. 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, Mikołaj Fejzer, Jakub Narębski, Krzysztof Rykaczewski, Krzysztof Stencel , Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven, 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories (MSR), Ottawa, Canada, 28 April 2025 - 29 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
• Jakub Narębski, Mikołaj Fejzer, Krzysztof Stencel , Piotr Przymus, PatchScope – A Modular Tool for Annotating and Analyzing Contributions, International Symposium on Software Testing and Analysis - Companion 2025, Trondheim, Norway, 25 June 2025 - 28 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 of Scientific Computing, 54 (4) 2025, p. 1-52. See in PBN
• Aliaume Lopez , Rafał Stefański , Polyregular Model Checking, Computer Aided Verification 2025, Zagreb, Croatia, 23 July 2025 - 25 July 2025, 15933 2025, p. 3-25. 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
• 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, 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
• Youcef Djenouri, Ahmed Nabil Belbachir, Asma Belhadi, Nassim Belmecheri, Tomasz Michalak , 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
• 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
• 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
• 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