Filip Murlak

Orcid: 0000-0003-0989-3717

Affiliations:
  • University of Warsaw, Faculty of Mathematics, Informatics and Mechanics, Poland


According to our database1, Filip Murlak authored at least 49 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Evaluating Graph Queries Using Semantic Treewidth.
Proceedings of the 27th International Conference on Database Theory, 2024

2023
Threshold Queries.
SIGMOD Rec., 2023

PG-Schema: Schemas for Property Graphs.
Proc. ACM Manag. Data, 2023

Answering regular path queries mediated by unrestricted SQ ontologies.
Artif. Intell., 2023

GPC: A Pattern Calculus for Property Graphs.
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Static Analysis of Graph Database Transformations.
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Researcher's Digest of GQL (Invited Talk).
Proceedings of the 26th International Conference on Database Theory, 2023

Supporting Descendants in SIMD-Accelerated JSONPath.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper).
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022
Threshold Queries in Theory and in the Wild.
Proc. VLDB Endow., 2022

Graph Pattern Matching in GQL and SQL/PGQ.
Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Finite Entailment of UCRPQs over ALC Ontologies.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Stackless Processing of Streamed Trees.
Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

2020
On Finite Entailment of Non-Local Queries in Description Logics.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Ontology Focusing: Knowledge-Enriched Databases on Demand.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
Proceedings of the 32nd International Workshop on Description Logics, 2019

On the semantics of Cypher's implicit group-by.
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

2018
Reasoning about integrity constraints for tree-structured data.
Theory Comput. Syst., 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018

Finite Query Answering in Expressive Description Logics with Transitive Roles.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017
Three Easy Pieces on Schema Mappings for Tree-structured Data.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016
Monadic Datalog and Regular Tree Pattern Queries.
ACM Trans. Database Syst., 2016

Index Problems for Game Automata.
ACM Trans. Comput. Log., 2016

Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec., 2016

Schema Validation via Streaming Circuits.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Vertically Acyclic Conjunctive Queries over Trees.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015
On the Weak Index Problem for Game Automata.
Proceedings of the Logic, Language, Information, and Computation, 2015

Containment of Monadic Datalog Programs via Bounded Clique-Width.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014
XML Schema Mappings: Data Exchange and Metadata Management.
J. ACM, 2014

Synthesizing transformations from XML schema mappings.
Proceedings of the Proc. 17th International Conference on Database Theory (ICDT), 2014

Consistency of Injective Tree Patterns.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Foundations of Data Exchange
Cambridge University Press, ISBN: 9781107016163, 2014

2013
Solutions in XML data exchange.
J. Comput. Syst. Sci., 2013

Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012
Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity?
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

2011
Definable Operations On Weakly Recognizable Sets of Trees.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

2010
Relational and XML Data Exchange
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01840-4, 2010

Certain answers for XML queries.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

On the tradeoff between mapping and querying power in XML data exchange.
Proceedings of the Database Theory, 2010

2009
XML schema mappings.
Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

The Wadge Hierarchy of Max-Regular Languages.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009

Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata.
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008
The Wadge Hierarchy of Deterministic Tree Languages.
Log. Methods Comput. Sci., 2008

Weak index versus Borel rank.
Proceedings of the STACS 2008, 2008

On the topological complexity of tree languages.
Proceedings of the Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]., 2008

2007
On the Topological Complexity of Weakly Recognizable Tree Languages.
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

2005
On Deciding Topological Classes of Deterministic Tree Languages.
Proceedings of the Computer Science Logic, 19th International Workshop, 2005


  Loading...