| 2026 | KR | Partially Finite Model Reasoning in Description Logics. | Tomasz Gogacz, Filip Murlak, Marcin Przybylko, Alexandra Rogova, Michal Skrzypczak |
| 2024 | ICDT | Evaluating Graph Queries Using Semantic Treewidth. | Cristina Feier, Tomasz Gogacz, Filip Murlak |
| 2020 | ECAI | Ontology Focusing: Knowledge-Enriched Databases on Demand. | Tomasz Gogacz, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca, Filip Murlak, Magdalena Ortiz, Mantas Simkus |
| 2020 | KR | On Finite Entailment of Non-Local Queries in Description Logics. | Tomasz Gogacz, Vctor Gutirrez-Basulto, Albert Gutowski, Yazmn Ibez-Garca, Filip Murlak |
| 2020 | KR | Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. | Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus |
| 2020 | PODS | All-Instances Restricted Chase Termination. | Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris |
| 2019 | IJCAI | On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. | Tomasz Gogacz, Vctor Gutirrez-Basulto, Yazmn Ibez-Garca, Jean Christoph Jung, Filip Murlak |
| 2018 | KR | Finite Query Answering in Expressive Description Logics with Transitive Roles. | Tomasz Gogacz, Yazmn Anglica Ibez-Garca, Filip Murlak |
| 2017 | ICDT | Entropy Bounds for Conjunctive Queries with Functional Dependencies. | Tomasz Gogacz, Szymon Torunczyk |
| 2016 | PODS | Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. | Tomasz Gogacz, Jerzy Marcinkowski |
| 2015 | LICS | The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. | Tomasz Gogacz, Jerzy Marcinkowski |
| 2014 | ICALP | On the Decidability of MSO+U on Infinite Trees. | Mikolaj Bojanczyk, Tomasz Gogacz, Henryk Michalewski, Michal Skrzypczak |
| 2014 | ICALP | All-Instances Termination of Chase is Undecidable. | Tomasz Gogacz, Jerzy Marcinkowski |
| 2014 | MFCS | Measure Properties of Game Tree Languages. | Tomasz Gogacz, Henryk Michalewski, Matteo Mio, Michal Skrzypczak |
| 2013 | LICS | Converging to the Chase - A Tool for Finite Controllability. | Tomasz Gogacz, Jerzy Marcinkowski |
| 2013 | PODS | On the BDD/FC conjecture. | Tomasz Gogacz, Jerzy Marcinkowski |