Filip Murlak

According to our database1, Filip Murlak authored at least 38 papers between 2005 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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.
CoRR, 2018

2017
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
CoRR, 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 Record, 2016

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

Reasoning About Integrity Constraints for Tree-Structured Data.
Proceedings of the 19th International Conference on Database Theory, 2016

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

2015
Index problems for game automata.
CoRR, 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

Monadic Datalog and Regular Tree Pattern Queries.
Proceedings of the Mathematical Foundations of Computer Science 2014, 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
Solutions in XML data exchange.
Proceedings of the Database Theory, 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, 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.
Logical Methods in Computer Science, 2008

The Wadge Hierarchy of Deterministic Tree Languages
CoRR, 2008

Weak index versus Borel rank
CoRR, 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

2006
The Wadge Hierarchy of Deterministic Tree Languages.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

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


  Loading...