| All–instances termination of chase is undecidable T Gogacz, J Marcinkowski Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014 | 47 | 2014 |
| Measure properties of regular sets of trees T Gogacz, H Michalewski, M Mio, M Skrzypczak Information and Computation 256, 108-130, 2017 | 26* | 2017 |
| Converging to the chase–A tool for finite controllability T Gogacz, J Marcinkowski Journal of Computer and System Sciences 83 (1), 180-206, 2017 | 26* | 2017 |
| The hunt for a red spider: Conjunctive query determinacy is undecidable T Gogacz, J Marcinkowski arXiv preprint arXiv:1501.01817, 2015 | 25 | 2015 |
| All-instances restricted chase termination T Gogacz, J Marcinkowski, A Pieris Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2020 | 20 | 2020 |
| On the decidability of MSO+ U on infinite trees M Bojańczyk, T Gogacz, H Michalewski, M Skrzypczak Automata, Languages, and Programming: 41st International Colloquium, ICALP …, 2014 | 19 | 2014 |
| Red spider meets a rainworm: Conjunctive query finite determinacy is undecidable T Gogacz, J Marcinkowski Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2016 | 18 | 2016 |
| Entropy bounds for conjunctive queries with functional dependencies T Gogacz, S Toruńczyk arXiv preprint arXiv:1512.01808, 2015 | 18 | 2015 |
| Finite query answering in expressive description logics with transitive roles T Gogacz, Y Ibanez Garcia, F Murlak AAAI Press, 2018 | 14 | 2018 |
| On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles T Gogacz, V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung, F Murlak arXiv preprint arXiv:2010.11503, 2020 | 11 | 2020 |
| On regular groups and fields T Gogacz, K Krupiński The Journal of Symbolic Logic 79 (3), 826-844, 2014 | 10 | 2014 |
| On the BDD/FC conjecture T Gogacz, J Marcinkowski Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013 | 8 | 2013 |
| Ontology focusing: knowledge-enriched databases on demand T Gogacz, V Gutiérrez-Basulto, YA Ibáñez-García, F Murlak, M Ortiz, ... arXiv preprint arXiv:1904.00195, 2019 | 7 | 2019 |
| On finite entailment of non-local queries in description logics T Gogacz, V Gutiérrez-Basulto, A Gutowski, Y Ibáñez-García, F Murlak arXiv preprint arXiv:2006.16869, 2020 | 4 | 2020 |
| Datalog rewritability and data complexity of ALCHOIF with closed predicates T Gogacz, S Lukumbuzya, M Ortiz, M Šimkus Proceedings of the International Conference on Principles of Knowledge …, 2020 | 3 | 2020 |
| All-instances restricted chase termination for linear tgds T Gogacz, J Marcinkowski, A Pieris KI-Künstliche Intelligenz 34, 465-473, 2020 | 2 | 2020 |
| Non-dominating sequences of vectors using only resets and increments W Czerwiński, T Gogacz, E Kopczyński Fundamenta Informaticae 140 (2), 123-127, 2015 | 1 | 2015 |
| Uniform Restricted Chase Termination T Gogacz, J Marcinkowski, A Pieris SIAM Journal on Computing 52 (3), 641-683, 2023 | | 2023 |
| Exploiting Semantic Treewidth for Graph Queries Evaluation C Feier, T Gogacz, F Murlak | | 2023 |
| Fundamentalne wªasno±ci teorii b¦ d¡ cych zbiorami Tuple Generating Dependencies i zwi¡ zki mi¦ dzy tymi wªasno±ciami T Gogacz | | |
Jerzy MarcinkowskiInstitute of Computer Science, University of WrocławVerifierad e-postadress på cs.uni.wroc.pl
