You are not logged in | Log in

Filip Murlak

Number of publications: 41

2021

Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Keith W. Hare, Jan Hidders, Victor E. Lee, Bei Li, Leonid Libkin, Wim Martens, Filip Murlak , Josh Perryman, Ognjen Savković, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, PG-Keys: Keys for Property Graphs, SIGMOD '21: International Conference on Management of Data, Xi'an, China, 20 June 2021 - 25 June 2021. See in PBN
Corentin Barloy, Filip Murlak , Charles Paperman, Stackless Processing of Streamed Trees, 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Xi'an, China, 20 June 2021 - 25 June 2021. See in PBN

2020

Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak , Albert Gutowski , Tomasz Gogacz , On Finite Entailment of Non-Local Queries in Description Logics, 17th International Conference on Principles of Knowledge Representation and Reasoning, Rende, Italy, 12 September 2020 - 18 September 2020. See in PBN
Tomasz Gogacz , Victor Didier Gutierrrez Basulto, Yazmin Angelica Ibanez Garcia, Filip Murlak , Magdalena Ortiz, Mantas Simkus, Ontology Focusing: Knowledge-Enriched Databases on Demand, 24th European Conference on Artificial Intelligence, Santiago de Compostela, Spain, 29 August 2020 - 8 September 2020. See in PBN

2019

Tomasz Gogacz , Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak , On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles, 28th International Joint Conference on Artificial Intelligence, Macao, China, 10 August 2019 - 16 August 2019. See in PBN
Filip Murlak , Jan Posiadała, Paweł Susicki, On the semantics of Cypher's implicit group-by, 17th ACM SIGPLAN International Symposium on Database Programming Languages, Phoenix, AZ, the United States of America, 23 June 2019 - 23 June 2019. See in PBN

2018

Tomasz Gogacz , Yazmin Angélica Ibáñez-García, Filip Murlak , Finite Query Answering in Expressive Description Logics with Transitive Roles, 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, AZ, the United States of America, 27 October 2018 - 2 November 2018. See in PBN
Wojciech Czerwiński , Claire David, Filip Murlak , Paweł Parys , Reasoning About Integrity Constraints for Tree-Structured Data, Theory of Computing Systems, 62 (4) 2018, p. 941–976. See in PBN

2017

Damian Niwiński , Henryk Michalewski , Wojciech Rytter , Joost Winter, Michał Skrzypczak , Szymon Toruńczyk , Michał Pilipczuk , Eryk Kopczyński , Sławomir Lasota , Paweł Parys , Joanna Ochremiak, Wojciech Czerwiński , Bartosz Klin , Igor Walukiewicz, Szczepan Hummel, Mikołaj Bojańczyk , Piotr Hofman , Lorenzo Clemente , Filip Mazowiecki, Filip Murlak , 200 Problems in Formal Languages and Automata Theory, 2017. See in PBN
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak , Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi, Research Directions for Principles of Data Management (Abridged), SIGMOD Record, 45 (4) 2017, p. 5-17. See in PBN
Claire David, Filip Murlak , Three Easy Pieces on Schema Mappings for Tree-structured Data, 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, 7 June 2017 - 9 June 2017. See in PBN

2016

Filip Murlak , Michał Skrzypczak , Alessandro Facchini, Index Problems for Game Automata, ACM Transactions on Computational Logic, 17 (4) 2016, p. 24:1-24:38. See in PBN
Filip Murlak , Adam Witkowski, Filip Mazowiecki, Monadic Datalog and Regular Tree Pattern Queries, ACM Transactions on Database Systems, 2016. See in PBN
Wojciech Czerwiński , Paweł Parys , Filip Murlak , Claire David, Reasoning About Integrity Constraints for Tree-Structured Data, 19th International Conference on Database Theory, Bordeaux, France, 15 March 2016 - 18 March 2016. See in PBN
Filip Murlak , Charles Paperman, Michał Pilipczuk , Schema Validation via Streaming Circuits, 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, San Francisco, CA, the United States of America, 26 June 2016 - 1 July 2016. See in PBN
Filip Murlak , Grzegorz Zielinski, Vertically Acyclic Conjunctive Queries over Trees, 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016, Panama City, Panama, 8 May 2016 - 10 May 2016. See in PBN

2015

Mikołaj Bojańczyk , Filip Murlak , Adam Witkowski, Containment of Monadic Datalog Programs via Bounded Clique-Width, 42nd International Colloquium on Automata, Languages, and Programming, Kyoto, Japan, 6 July 2015 - 10 July 2015. See in PBN
Alessandro Facchini, Filip Murlak , Michał Skrzypczak , On the Weak Index Problem for Game Automata, 22nd International Workshop on Logic, Language, Information, and Computation, 2015, p. 93-108. See in PBN

2014

Claire David, Nadime Francis, Filip Murlak , Consistency of Injective Tree Patterns, 2014. See in PBN
Filip Murlak , Marcelo Arenas, Pablo Barceló, Leonid Libkin, Foundations of Data Exchange, 2014. See in PBN
Filip Murlak , Adam Witkowski, Filip Mazowiecki, Monadic Datalog and Regular Tree Pattern Queries, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II, 2014. See in PBN
Claire David, Filip Murlak , Piotr Hofman , Michał Pilipczuk , Synthesizing transformations from XML schema mappings, 2014. See in PBN
Filip Murlak , Shun'ichi Amano, Claire David, Leonid Libkin, XML Schema Mappings: Data Exchange and Metadata Management, Journal of the ACM, 61 (2) 2014, p. 12-12. See in PBN

2013

Alessandro Facchini, Filip Murlak , Michał Skrzypczak , Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata, Twenty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE, New Orleans, LA, the United States of America, 25 June 2013 - 28 June 2013. See in PBN
Mikołaj Bojańczyk , Leszek Kołodziejczyk , Filip Murlak , Solutions in XML data exchange, Journal of Computer and System Sciences, 79 (6) 2013, p. 785-815. See in PBN

2012

Filip Murlak , Michał Ogiński, Marcin Przybyłko, Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity?, 2012. See in PBN

2011

Jacques Duparc, Alessandro Facchini, Filip Murlak , Definable Operations On Weakly Recognizable Sets of Trees, 2011. See in PBN
Filip Murlak , Piotr Sankowski , Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011., 2011. See in PBN
Mikołaj Bojańczyk , Leszek Kołodziejczyk , Filip Murlak , Solutions in XML data exchange, 2011. See in PBN

2010

Claire David, Leonid Libkin, Filip Murlak , Certain answers for XML queries, 2010. See in PBN
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak , On the tradeoff between mapping and querying power in XML data exchange, 2010. See in PBN
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak , Relational and XML Data Exchange, 2010. See in PBN

2009

Jacques Duparc, Alessandro Facchini, Filip Murlak , Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata, Lecture Notes in Computer Science, 2009. See in PBN
Jeremie Cabessa, Jacques Duparc, Alessandro Facchini, Filip Murlak , The Wadge Hierarchy of Max-Regular Languages, 2009. See in PBN
Shun'ichi Amano, Leonid Libkin, Filip Murlak , XML schema mappings, 2009. See in PBN

2008

Filip Murlak , The Wadge Hierarchy of Deterministic Tree Languages, Logical Methods in Computer Science, 2008. See in PBN
Filip Murlak , Weak index versus Borel rank, 2008. See in PBN

2007

Andre Arnold, Jacques Duparc, Filip Murlak , Damian Niwiński , On the topological complexity of tree languages, 2007. See in PBN
Jacques Duparc, Filip Murlak , On the topological complexity of weakly recognizable tree languages, Lecture Notes in Computer Science, 2007. See in PBN