On the BDD/FC conjecture. - Tomasz Gogacz; Jerzy Marcinkowski (PODS, 2013)

On the Decidability of MSO+U on Infinite Trees. - Mikolaj Bojanczyk; Tomasz Gogacz; Henryk Michalewski; Michal Skrzypczak (ICALP (2), 2014)

All-Instances Termination of Chase is Undecidable. - Tomasz Gogacz; Jerzy Marcinkowski (ICALP (2), 2014)

Measure Properties of Game Tree Languages. - Tomasz Gogacz; Henryk Michalewski; Matteo Mio; Michal Skrzypczak (MFCS (1), 2014)

Termination of oblivious chase is undecidable. - Tomasz Gogacz; Jerzy Marcinkowski (CoRR, 2014)

On Regular Groups and Fields. - Tomasz Gogacz; Krzysztof Krupinski (J. Symb. Log., 2014)

The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. - Tomasz Gogacz; Jerzy Marcinkowski (LICS, 2015)

Non-dominating Sequences of Vectors Using only Resets and Increments. - Wojciech Czerwinski; Tomasz Gogacz; Eryk Kopczynski (Fundam. Informaticae, 2015)

Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. - Tomasz Gogacz; Jerzy Marcinkowski (PODS, 2016)

Entropy Bounds for Conjunctive Queries with Functional Dependencies. - Tomasz Gogacz; Szymon Torunczyk (ICDT, 2017)

Measure properties of regular sets of trees. - Tomasz Gogacz; Henryk Michalewski; Matteo Mio; Michal Skrzypczak (Inf. Comput., 2017)

Converging to the chase - A tool for finite controllability. - Tomasz Gogacz; Jerzy Marcinkowski (J. Comput. Syst. Sci., 2017)

Finite Query Answering in Expressive Description Logics with Transitive Roles. - Tomasz Gogacz; Yazmín Angélica Ibáñez-García; Filip Murlak (KR, 2018)

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. - Tomasz Gogacz; Víctor Gutiérrez-Basulto; Yazmín Ibáñez-García; Jean Christoph Jung; Filip Murlak (IJCAI, 2019)

All-Instances Restricted Chase Termination: The Guarded Case. - Tomasz Gogacz; Jerzy Marcinkowski; Andreas Pieris (CoRR, 2019)

Ontology Focusing: Knowledge-Enriched Databases on Demand. - Tomasz Gogacz; Víctor Gutiérrez-Basulto; Yazmín Ibáñez-García; Filip Murlak; Magdalena Ortiz 001; Mantas Simkus (ECAI, 2020)

On Finite Entailment of Non-Local Queries in Description Logics. - Tomasz Gogacz; Víctor Gutiérrez-Basulto; Albert Gutowski; Yazmín Ibáñez-García; Filip Murlak (KR, 2020)

Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. - Tomasz Gogacz; Sanja Lukumbuzya; Magdalena Ortiz 001; Mantas Simkus (KR, 2020)

All-Instances Restricted Chase Termination. - Tomasz Gogacz; Jerzy Marcinkowski; Andreas Pieris (PODS, 2020)

All-Instances Restricted Chase Termination for Linear TGDs. - Tomasz Gogacz; Jerzy Marcinkowski; Andreas Pieris (Künstliche Intell., 2020)

Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper). - Cristina Feier; Tomasz Gogacz; Filip Murlak (AMW, 2023)

Uniform Restricted Chase Termination. - Tomasz Gogacz; Jerzy Marcinkowski; Andreas Pieris (SIAM J. Comput., 2023)

Evaluating Graph Queries Using Semantic Treewidth. - Cristina Feier; Tomasz Gogacz; Filip Murlak (ICDT, 2024)