Home

Publications

Journal Articles

Pliability and Approximating Max-CSPs
(with Marcin Wrochna and Standa Zivny)
Journal of the ACM, 2023 [arXiv]

Modeling GPU Dynamic Parallelism for Self Similar Density Workloads
(with Felipe Quezada, Cristóbal Navarro and Cristhian Aguilera)
Future Generation Computer Systems 145, 2023 [arXiv]

On monotonic determinacy and rewritability for recursive queries and views
(with Michael Benedikt, Stanislav Kikot and Piotr Ostropolski-Nalewaja)
ACM Transactions on Computational Logic 24(2), 2023 [arXiv]

The Complexity of General-Valued CSPs Seen from the Other Side
(with Clement Carbonnel and Standa Zivny)
SIAM Journal on Computing 51(1), 2022 [arXiv]

Point-width and Max-CSPs
(with Clement Carbonnel and Standa Zivny)
ACM Transactions on Algorithms 16(4), 2020 [arXiv]

A more general theory of static approximations for conjunctive queries
(with Pablo Barceló and Thomas Zeume)
Theory of Computing Systems 64(5), 2019 [arXiv]

Semantic optimization in tractable classes of conjunctive queries
(with Pablo Barceló and Andreas Pieris)
ACM SIGMOD Record 46(2), 2017

Regular queries on graph databases
(with Juan L. Reutter and Moshe Y. Vardi)
Theory of Computing Systems 61(1), 2017

Semantic acyclicity of graph databases
(with Pablo Barceló and Moshe Y. Vardi)
SIAM Journal on Computing 45(4), 2016

Efficient approximations of conjunctive queries
(with Pablo Barceló and Leonid Libkin)
SIAM Journal on Computing 43(3), 2014

Conference Papers

A Neuro-Symbolic Framework for Answering Graph Pattern Queries in Knowledge Graphs
(with Tamara Cucumides, Daniel Daza, Pablo Barceló, Michael Cochez, Floris Geerts, Juan Reutter)
To appear in the Learning on Graphs Conference (LoG 2024) [arXiv]

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
(with Santiago Cifuentes, Leopoldo Bertossi, Nina Pardal, Sergio Abriola, Vanina Martinez)
European Conference on Artificial Intelligence (ECAI 2024) [arXiv]

A Theory of Link Prediction via Relational Weisfeiler-Leman
(with Xingyue Huang, Ismail Ilkan Ceylan, Pablo Barceló)
Neural Information Processing Systems (NeurIPS 2023) [arXiv]

Conjunctive Regular Path Queries under Injective Semantics
(with Diego Figueira)
ACM Symposium on Principles of Database Systems (PODS 2023) [arXiv]

Weisfeiler and Leman Go Relational
(with Pablo Barceló, Michael Galkin, Christopher Morris)
Learning on Graphs Conference (LoG 2022) [arXiv]

On Computing Probabilistic Explanations for Decision Trees
(with Marcelo Arenas, Pablo Barceló and Bernardo Subercaseaux)
Neural Information Processing Systems (NeurIPS 2022) [arXiv]

Treewidth-Pliability and PTAS for Max-CSPs
(with Marcin Wrochna and Standa Zivny)
ACM-SIAM Symposium on Discrete Algorithms (SODA 2021) [arXiv]

On monotonic determinacy and rewritability for recursive queries and views
(with Michael Benedikt, Stanislav Kikot and Piotr Ostropolski-Nalewaja)
ACM Symposium on Principles of Database Systems (PODS 2020) [arXiv]

Boundedness of Conjunctive Regular Path Queries
(with Pablo Barceló and Diego Figueira)
International Colloquium on Automata, Languages and Programming (ICALP 2019) [arXiv]

Point-width and Max-CSPs
(with Clement Carbonnel and Standa Zivny)
ACM/IEEE Symposium on Logic in Computer Science (LICS 2019) [arXiv]

The complexity of general-valued CSPs seen from the other side
(with Clement Carbonnel and Standa Zivny)
IEEE Symposium on Foundations of Computer Science (FOCS 2018) [arXiv]

The tractability frontier of well-designed SPARQL queries
ACM Symposium on Principles of Database Systems (PODS 2018) [arXiv]

A more general theory of static approximations for conjunctive queries
(with Pablo Barceló and Thomas Zeume)
International Conference on Database Theory (ICDT 2018) [arXiv]

The homomorphism problem for regular graph patterns
(with Pablo Barceló and Moshe Y. Vardi)
ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)

The complexity of reverse engineering problems for conjunctive queries
(with Pablo Barceló)
International Conference on Database Theory (ICDT 2017) [arXiv]

SPARQL with property paths
(with Egor V. Kostylev, Juan L. Reutter and Domagoj Vrgoč)
International Semantic Web Conference (ISWC 2015)

Regular queries on graph databases
(with Juan L. Reutter and Moshe Y. Vardi)
International Conference on Database Theory (ICDT 2015)

Does query evaluation tractability help query containment?
(with Pablo Barceló and Moshe Y. Vardi)
ACM Symposium on Principles of Database Systems (PODS 2014)

Semantic acyclicity on graph databases
(with Pablo Barceló and Moshe Y. Vardi)
ACM Symposium on Principles of Database Systems (PODS 2013)

Efficient approximations of conjunctive queries
(with Pablo Barceló and Leonid Libkin)
ACM Symposium on Principles of Database Systems (PODS 2012)

You can also see my dblp and Google Scholar

Home