Publications

Filip Murlak

Number of publications: 58

2024

• Víctor Gutiérrez-Basulto, Albert Gutowski , Yazmin A. Ibáñez-García, Filip Murlak , Containment of Graph Queries Modulo Schema, Proceedings of the ACM on Management of Data, 43st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Santiago, Chile, 9 June 2024 - 14 June 2024, 2 (2) 2024, p. 1-26. See in PBN
• Angela Bonifati, Yann Ramusat, Filip Murlak , Amela Fejza, Rachid Echahed, DTGraph: Declarative Transformations of Property Graphs, Proceedings of the VLDB Endowment, 50th International Conference on Very Large Databases, Guangzhou, China, 26 August 2024 - 30 August 2024, 17 (12) 2024, p. 4265-4268. See in PBN
• Cristina-Maria Feier, Tomasz Gogacz , Filip Murlak , Evaluating Graph Queries Using Semantic Treewidth, 2024 EDBT/ICDT Joint Conference, Paestum, Italy, 25 March 2024 - 28 March 2024, 290 2024, p. 22:1-22:20. See in PBN
• Angela Bonifati, Filip Murlak , Yann Ramusat, Transforming Property Graphs, Proceedings of the VLDB Endowment, 50th International Conference on Very Large Databases, Guangzhou, China, 26 August 2024 - 30 August 2024, 17 (11) 2024, p. 2906-2918. See in PBN

2023

• Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak , Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoč, A Researcher’s Digest of GQL (Invited Talk), 26th International Conference on Database Theory, Ioannina, Greece, 28 March 2023 - 31 March 2023, 255 2023, p. 1: 1-22. See in PBN
• Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak , Answering regular path queries mediated by unrestricted SQ ontologies, Artificial Intelligence, 314 2023, p. 103808. See in PBN
• Cristina-Maria Feier, Tomasz Gogacz , Filip Murlak , Exploiting Semantic Treewidth for Graph Queries Evaluation, 15th Alberto Mendelzon International Workshop on Foundations of Data Management,, Santiago de Chile, Chile, 22 May 2023 - 26 May 2023. See in PBN
• Víctor Gutiérrez-Basulto, Albert Gutowski , Yazmín Ibáñez-García, Filip Murlak , Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract), 32nd International Joint Conference on Artificial Intelligence, Macao, China, 19 August 2023 - 25 August 2023. See in PBN
• Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak , Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc, GPC: A Pattern Calculus for Property Graphs, 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Seattle, WA, the United States of America, 18 June 2023 - 23 June 2023. See in PBN
• Renzo Angles, Angela Bonifati, Stefania Dumbrava, George Fletcher, Alastair Green, Jan Hidders, Bei Li, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak , Stefan Plantikow, Ognjen Savkovic, Michael Schmidt, Juan Sequeda, Slawek Staworko, Dominik Tomaszuk, Hannes Voigt, Domagoj Vrgoc, Mingxi Wu, Dusan Zivkovic, PG-Schema: Schemas for Property Graphs, Proceedings of the ACM on Management of Data, ACM Special Interest Group on Management of Data Conference 2023, Seattle, WA, the United States of America, 18 June 2023 - 23 June 2023, 1 (2) 2023, p. 1-25. See in PBN
• Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak , Slawek Staworko, Static Analysis of Graph Database Transformations, 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Seattle, WA, the United States of America, 18 June 2023 - 23 June 2023. See in PBN
• Mateusz Gienieczko, Filip Murlak , Charles Paperman, Supporting Descendants in SIMD-Accelerated JSONPath, 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Vancouver, Canada, 25 March 2023 - 29 March 2023. See in PBN
• A. Bonifati, S. Dumbrava, G. Fletcher, J. Hidders, M. Hofer, W. Martens, Filip Murlak , J. Shinavier, S. Staworko, Dominik Tomaszuk, Threshold Queries, SIGMOD Record, 52 (1) 2023, p. 64-73. See in PBN

2022

• Víctor Gutiérrez-Basulto, Albert Gutowski , Yazmín Ibáñez-García, Filip Murlak , Finite Entailment of UCRPQs over ALC Ontologies, 19th International Conference on Principles of Knowledge Representation and Reasoning, Haifa, Israel, 31 July 2022 - 5 August 2022. See in PBN
• Alin Deutsch, Nadime Francis, Alastair Green, Keith Hare, Bei Li, Leonid Libkin, Tobias Lindaaker, Victor Marsault, Wim Martens, Jan Michels, Filip Murlak , Stefan Plantikow, Petra Selmer, Oskar van Rest, Hannes Voigt, Domagoj Vrgoč, Mingxi Wu, Fred Zemke, Graph Pattern Matching in GQL and SQL/PGQ, SIGMOD/PODS '22: International Conference on Management of Data, Philadelphia, the United States of America, 12 June 2022 - 17 June 2022. See in PBN
• Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak , Joshua Shinavier, Sławek Staworko, Dominik Tomaszuk, Threshold queries in theory and in the wild, Proceedings of the VLDB Endowment, 48th International Conference on Very Large Databases, Sydney, Australia, 5 September 2022 - 9 September 2022, 15 (5) 2022, p. 1105-1118. See in PBN

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
• Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak , 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

2006

• Filip Murlak , The Wadge Hierarchy of Deterministic Tree Languages, Lecture Notes in Computer Science, 33rd International Colloquium on Automata, Languages and Programming, Wenecja, Italy, 10 July 2006 - 14 July 2006. See in PBN

2005

• Filip Murlak , On deciding topological classes of deterministic tree languages, Lecture Notes in Computer Science, 2005. See in PBN

Others

• Filip Murlak , Finite-Model Reasoning for Graph Queries and Description Logics, Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic: 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures, , p. 23-53. See in PBN