Publikacje

Instytut Informatyki

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 czerwca 2025 - 26 czerwca 2025. Zobacz w 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, s. S3857-S3859. Zobacz w 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 marca 2025 - 7 marca 2025. Zobacz w 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 lipca 2025 - 1 sierpnia 2025. Zobacz w 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 marca 2025 - 7 marca 2025. Zobacz w 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, s. 728-740. Zobacz w 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, s. 122592. Zobacz w 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, s. 1-5. Zobacz w 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 czerwca 2025 - 20 czerwca 2025. Zobacz w 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. Zobacz w 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 lutego 2025 - 4 marca 2025, 39 (16) 2025, s. 16691-16698. Zobacz w 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 lutego 2025 - 4 marca 2025. Zobacz w 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. Zobacz w PBN
• Adam Cicherski, Norbert Dojer , Anna Lisiecka , AlfaPang: alignment free algorithm for pangenome graph construction, Algorithms for Molecular Biology, 20 (1) 2025. Zobacz w 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 marca 2025 - 19 marca 2025, 15586 2025, s. 40-51. Zobacz w 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 czerwca 2025 - 26 czerwca 2025. Zobacz w 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, s. 321-418. Zobacz w PBN
• Stefan Stanimirović, Anh Linh Nguyen , Miroslav Ćirić, Marko Stanković, Approximate state reduction of fuzzy finite automata, FUZZY SETS AND SYSTEMS, 519 2025, s. 109535. Zobacz w PBN
• Konrad Zdanowski, Aleksy Schubert , Paweł Urzyczyn , BETWEEN PROOF CONSTRUCTION AND SAT-SOLVING, Journal of Symbolic Logic, 2025, s. 1-17. Zobacz w PBN
• Hubert Baniecki, Przemysław Biecek , Birds look like cars: adversarial analysis of intrinsically interpretable deep learning, Machine Learning, 114 (12) 2025. Zobacz w 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 stycznia 2025 - 15 stycznia 2025. Zobacz w PBN
• Stefan Stanimirović, Anh Linh Nguyen , Miroslav Ćirić, Marko Stanković, Breadth-first fuzzy bisimulations for fuzzy automata, FUZZY SETS AND SYSTEMS, 503 2025, s. 109246. Zobacz w 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, s. 1-21. Zobacz w 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 kwietnia 2025 - 2 maja 2025. Zobacz w 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 lipca 2025 - 11 lipca 2025. Zobacz w 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, s. e1013069. Zobacz w 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 sierpnia 2025 - 29 sierpnia 2025, 345 (36) 2025, s. 1-19. Zobacz w 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. Zobacz w 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 lutego 2025 - 4 marca 2025, 39 (18) 2025, s. 19633-19641. Zobacz w 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 czerwca 2025 - 25 czerwca 2025. Zobacz w 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. Zobacz w 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, s. 101623. Zobacz w 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. Zobacz w 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, s. 1183-1191. Zobacz w PBN
• Anh Linh Nguyen , Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems, FUZZY SETS AND SYSTEMS, 500 2025, s. 109194. Zobacz w 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 kwietnia 2025 - 28 kwietnia 2025. Zobacz w 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, s. 15579-15585. Zobacz w 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, s. 105296: 1-23. Zobacz w 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 stycznia 2025 - 15 stycznia 2025. Zobacz w 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, s. 33-34. Zobacz w 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, s. 1189 – 1200. Zobacz w 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. Zobacz w PBN
• Nicholas Spyrison, Dianne Cook, Przemysław Biecek , Exploring local explanations of nonlinear models using animated linear projections, Computational Statistics, 40 (2) 2025, s. 1071-1095. Zobacz w 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 maja 2025 - 5 maja 2025. Zobacz w 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 września 2025 - 17 września 2025, 351 (8) 2025, s. 1-18. Zobacz w 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 czerwca 2025 - 19 czerwca 2025. Zobacz w 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 stycznia 2025 - 14 stycznia 2025. Zobacz w 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 lipca 2025 - 11 lipca 2025. Zobacz w 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 lipca 2025 - 11 lipca 2025, 334 (119) 2025, s. 1-19. Zobacz w PBN
• Wojciech Przybyszewski , Szymon Toruńczyk , Flipping and Forking, 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, Singapore, 23 czerwca 2025 - 26 czerwca 2025. Zobacz w PBN
• Eun Jung Kim, Stefan Kratsch, Marcin Pilipczuk , Magnus Wahlström, Flow-augmentation I: Directed graphs, JOURNAL OF THE ACM, 72 (1) 2025, s. 1-38. Zobacz w 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. Zobacz w 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 lipca 2025 - 11 lipca 2025, 334 (92) 2025, s. 1-20. Zobacz w 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 czerwca 2025 - 27 czerwca 2025. Zobacz w 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, s. 1-21. Zobacz w PBN
• Przemysław Biecek , Barłomiej Sobieski, Global Counterfactual Directions, The 18th European Conference on Computer Vision, Milano, Italy, 28 września 2024 - 3 października 2024. Zobacz w PBN
• Michał Włodarczyk , Going Beyond Surfaces in Diameter Approximation, The 33rd Annual European Symposium on Algorithms, Warsaw, Poland, 15 września 2025 - 17 września 2025, 351 (39) 2025, s. 1-19. Zobacz w 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 czerwca 2025 - 26 czerwca 2025. Zobacz w 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 sierpnia 2025 - 29 sierpnia 2025, 345 (28) 2025, s. 1-16. Zobacz w 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, s. 130905. Zobacz w 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. Zobacz w 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. Zobacz w 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 sierpnia 2025 - 22 sierpnia 2025. Zobacz w 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, s. 103026. Zobacz w PBN
• Vladimir Zaigrajew, Hubert Baniecki, Przemysław Biecek , Interpreting CLIP with Hierarchical Sparse Autoencoders, The 42nd International Conference on Machine Learning, Vancouver, Canada, 13 lipca 2025 - 19 lipca 2025, 267 2025, s. 73918-73956. Zobacz w 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, s. 103243. Zobacz w 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 lipca 2025 - 19 lipca 2025, 267 2025, s. 41056-41073. Zobacz w 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, s. 3341-3349. Zobacz w 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. Zobacz w 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, s. 103634. Zobacz w PBN
• Wojciech Czerwiński , Łukasz Orlikowski , Languages of Boundedly-Ambiguous Vector Addition Systems with States, 36th International Conference on Concurrency Theory, Aarhus, Denmark, 25 sierpnia 2025 - 30 sierpnia 2025, 348 2025. Zobacz w PBN
• Andras Benczur, Dominik Ślęzak , Large-Scale Data Analysis – Software Infrastructure and Application Domains - Introduction to the Special Theme, ERCIM News, 140 2025, s. 8-9. Zobacz w 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 maja 2025 - 23 maja 2025. Zobacz w 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 stycznia 2025 - 15 stycznia 2025. Zobacz w 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, s. 1-91. Zobacz w 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, s. 102329. Zobacz w 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, s. 1-72. Zobacz w 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. Zobacz w 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 czerwca 2025 - 27 czerwca 2025. Zobacz w PBN
• Maciej Borodzik , Marcin Mielniczuk , Merging boundary critical points of a Morse function, Proceedings of the American Mathematical Society, Series B, 12 (6) 2025, s. 64-77. Zobacz w 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 lipca 2025 - 10 lipca 2025. Zobacz w 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 marca 2025 - 7 marca 2025, 327 (55) 2025, s. 1:20. Zobacz w 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 maja 2025 - 13 maja 2025, 15708 2025. Zobacz w 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, s. 113559: 1-54. Zobacz w 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 czerwca 2025 - 2 lipca 2025, 15828 2025, s. 92-102. Zobacz w 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. Zobacz w 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 sierpnia 2024 - 4 października 2024, 15626 2025, s. 18-34. Zobacz w 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, s. 20640-20651. Zobacz w 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, s. 15633-15641. Zobacz w 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, s. 1-14. Zobacz w 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 października 2025 - 29 października 2025. Zobacz w 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, s. 19-31. Zobacz w 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 lipca 2025 - 11 lipca 2025, 334 (93) 2025, s. 1-20. Zobacz w PBN
• Evangelos Markakis, Georgios Papasotiropoulos , On the complexity of winner determination and strategic control in conditional approval voting, Theoretical Computer Science, 1050 2025, s. 115396: 1-24. Zobacz w 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, s. 106561: 1-8. Zobacz w 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. Zobacz w PBN
• Arka Ghosh , Piotr Hofman , Sławomir Lasota , Orbit-finite Linear Programming, JOURNAL OF THE ACM, 72 (1) 2025, s. 1-39. Zobacz w 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 kwietnia 2025 - 29 kwietnia 2025. Zobacz w 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. Zobacz w 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 czerwca 2025 - 28 czerwca 2025. Zobacz w PBN
• Andrzej Mizera , Jakub Zarzycki , pbn-STAC: Deep reinforcement learning-based framework for cellular reprogramming, Theoretical Computer Science, 1049 2025, s. 115382: 1-21. Zobacz w 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. Zobacz w 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, s. 1-52. Zobacz w PBN
• Aliaume Lopez , Rafał Stefański , Polyregular Model Checking, Computer Aided Verification 2025, Zagreb, Croatia, 23 lipca 2025 - 25 lipca 2025, 15933 2025, s. 3-25. Zobacz w 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 marca 2025 - 28 marca 2025. Zobacz w 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 czerwca 2025 - 27 czerwca 2025. Zobacz w 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 czerwca 2025 - 26 czerwca 2025. Zobacz w 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 lipca 2025 - 11 lipca 2025, 334 (153) 2025, s. 1-20. Zobacz w 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 czerwca 2025 - 27 czerwca 2025. Zobacz w PBN
• Łukasz Kamiński , Sławomir Lasota , Reachability in Symmetric VASS, 50th International Symposium on Mathematical Foundations of Computer Science, Warsaw, Poland, 25 sierpnia 2025 - 29 sierpnia 2025, 345 (60) 2025, s. 1-17. Zobacz w 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 czerwca 2025 - 27 czerwca 2025. Zobacz w 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, s. No. 106156. Zobacz w 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 kwietnia 2025 - 27 kwietnia 2025. Zobacz w 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, s. 112842: 1-18. Zobacz w 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, s. 1-12. Zobacz w 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 lipca 2025 - 11 lipca 2025, 334 (147) 2025, s. 1-19. Zobacz w 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 lutego 2025 - 4 marca 2025. Zobacz w 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 czerwca 2025 - 18 czerwca 2025, 331 (12) 2025, s. 1-13. Zobacz w 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 lipca 2025 - 19 lipca 2025, 267 2025, s. 47155-47175. Zobacz w PBN
• Peter Bradshaw, Tomáš Masařík , Single‐conflict colorings of degenerate graphs, Journal of Graph Theory, 109 (2) 2025, s. 170-183. Zobacz w 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, s. 103597. Zobacz w 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. Zobacz w 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 lutego 2025 - 4 marca 2025, 39 (14) 2025, s. 15067-15074. Zobacz w 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 sierpnia 2025 - 21 sierpnia 2025. Zobacz w 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 lutego 2025 - 3 marca 2025, 39 (24) 2025, s. 25201-25209. Zobacz w 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 stycznia 2025 - 14 stycznia 2025. Zobacz w PBN
• Panagiotis Charalampopoulos, Solon P. Pissis, Jakub Radoszewski , Wojciech Rytter , Tomasz Waleń , Wiktor Zuba , Subsequence covers of words, Theoretical Computer Science, 1041 2025, s. 115216: 1-14. Zobacz w 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 stycznia 2025 - 23 stycznia 2025. Zobacz w 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, s. 630-645.e9. Zobacz w PBN
• Patrick Doherty, Andrzej Szałas , Techniques for measuring the inferential strength of forgetting policies, Journal of Logic and Computation, 35 (3) 2025. Zobacz w 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 czerwca 2025 - 26 czerwca 2025. Zobacz w 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 sierpnia 2025 - 29 sierpnia 2025, 345 (62) 2025, s. 1-19. Zobacz w 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, s. 104322: 1-12. Zobacz w 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 maja 2025 - 23 maja 2025. Zobacz w PBN
• Hung Son Nguyen , Thi Lan Anh Nguyen, The South China Sea: The Geo-political Epicenter of the Indo-Pacific?, 2025. Zobacz w 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 czerwca 2025 - 20 czerwca 2025, 15702 2025, s. 205–222. Zobacz w 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, s. 1-27. Zobacz w PBN
• Michał Włodarczyk , Tight Bounds for Chordal/Interval Vertex Deletion Parameterized by Treewidth, Algorithmica, 87 (5) 2025, s. 621-660. Zobacz w PBN
• Patrice Ossona de Mendez, Michał Pilipczuk , Sebastian Siebertz, Transducing paths in graph classes with unbounded shrubdepth, European Journal of Combinatorics, 123 2025, s. 103660. Zobacz w 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 lipca 2025 - 19 lipca 2025, 2025 (2) 2025, s. 344-362. Zobacz w 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 lipca 2025 - 1 sierpnia 2025. Zobacz w PBN