Publikacje

Filip Murlak

Liczba publikacji: 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 czerwca 2021 - 25 czerwca 2021. Zobacz w 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 czerwca 2021 - 25 czerwca 2021. Zobacz w 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 września 2020 - 18 września 2020. Zobacz w 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 sierpnia 2020 - 8 września 2020. Zobacz w 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 sierpnia 2019 - 16 sierpnia 2019. Zobacz w 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 czerwca 2019 - 23 czerwca 2019. Zobacz w 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 października 2018 - 2 listopada 2018. Zobacz w 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, s. 941–976. Zobacz w 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. Zobacz w 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, s. 5-17. Zobacz w 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 czerwca 2017 - 9 czerwca 2017. Zobacz w PBN

2016

• Filip Murlak , Michał Skrzypczak , Alessandro Facchini, Index Problems for Game Automata, ACM Transactions on Computational Logic, 17 (4) 2016, s. 24:1-24:38. Zobacz w PBN
• Filip Murlak , Adam Witkowski, Filip Mazowiecki, Monadic Datalog and Regular Tree Pattern Queries, ACM Transactions on Database Systems, 2016. Zobacz w 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 marca 2016 - 18 marca 2016. Zobacz w 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 czerwca 2016 - 1 lipca 2016. Zobacz w 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 maja 2016 - 10 maja 2016. Zobacz w 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 lipca 2015 - 10 lipca 2015. Zobacz w 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, s. 93-108. Zobacz w PBN

2014

• Claire David, Nadime Francis, Filip Murlak , Consistency of Injective Tree Patterns, 2014. Zobacz w PBN
• Filip Murlak , Marcelo Arenas, Pablo Barceló, Leonid Libkin, Foundations of Data Exchange, 2014. Zobacz w 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. Zobacz w PBN
• Claire David, Filip Murlak , Piotr Hofman , Michał Pilipczuk , Synthesizing transformations from XML schema mappings, 2014. Zobacz w 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, s. 12-12. Zobacz w 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 czerwca 2013 - 28 czerwca 2013. Zobacz w PBN
• Mikołaj Bojańczyk , Leszek Kołodziejczyk , Filip Murlak , Solutions in XML data exchange, Journal of Computer and System Sciences, 79 (6) 2013, s. 785-815. Zobacz w PBN

2012

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

2011

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

2010

• Claire David, Leonid Libkin, Filip Murlak , Certain answers for XML queries, 2010. Zobacz w PBN
• Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak , On the tradeoff between mapping and querying power in XML data exchange, 2010. Zobacz w PBN
• Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak , Relational and XML Data Exchange, 2010. Zobacz w 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. Zobacz w PBN
• Jeremie Cabessa, Jacques Duparc, Alessandro Facchini, Filip Murlak , The Wadge Hierarchy of Max-Regular Languages, 2009. Zobacz w PBN
• Shun'ichi Amano, Leonid Libkin, Filip Murlak , XML schema mappings, 2009. Zobacz w PBN

2008

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

2007

• Andre Arnold, Jacques Duparc, Filip Murlak , Damian Niwiński , On the topological complexity of tree languages, 2007. Zobacz w PBN
• Jacques Duparc, Filip Murlak , On the topological complexity of weakly recognizable tree languages, Lecture Notes in Computer Science, 2007. Zobacz w 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 lipca 2006 - 14 lipca 2006. Zobacz w PBN

2005

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