Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Filip Murlak
2018
- Wojciech Czerwiński, Claire David, Filip Murlak and Paweł Parys, Reasoning About Integrity Constraints for Tree-Structured Data, Theory Of Computing Systems 62 (4) 2018, p. 941–976.see in PBN
- Tomasz Gogacz, Yazmin Angélica Ibáñez-García and Filip Murlak, Finite Query Answering in Expressive Description Logics with Transitive Roles, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., 2018, p. 369–378.see in PBN
2017
- Mikołaj Bojańczyk, Wojciech Czerwiński, Piotr Hofman, Szczepan Hummel, Bartosz Klin, Eryk Kopczyński, Sławomir Lasota, Filip Aleksander Mazowiecki, Henryk Michalewski, Damian Niwiński, Joanna Ochremiak, Paweł Parys, Michał Pilipczuk, Wojciech Rytter, Michał Paweł Skrzypczak, Szymon Toruńczyk, Igor Walukiewicz, Joost Winter and Lorenzo ClementeFilip Murlak (ed.), 200 Problems in Formal Languages and Automata Theory, Uniwersytet Warszawski, Warszawa 2017.see in PBN
- Claire David and Filip Murlak, Three Easy Pieces on Schema Mappings for Tree-structured Data, in: Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, 2017.see in PBN
2016
- Wojciech Czerwiński, Claire David, Filip Murlak and Paweł Parys, Reasoning About Integrity Constraints for Tree-Structured Data, in: 19th International Conference on Database Theory (ICDT 2016), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, r. 20, p. 20:1–20:18.see in PBN
- Alessandro Facchini, Filip Murlak and Michał Paweł Skrzypczak, Index Problems for Game Automata, Acm Transactions On Computational Logic 17 (4) 2016, p. 24:1–24:38.see in PBN
- Filip Aleksander Mazowiecki, Filip Murlak and Adam Wojciech Witkowski, Monadic Datalog and Regular Tree Pattern Queries, Acm Transactions On Database Systems 41 (3) 2016, p. 20:1–20:43.see in PBN
- Filip Murlak, Charles Paperman and Michał Pilipczuk, Schema Validation via Streaming Circuits, in: Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2016, San Francisco, CA, USA, June 26 - July 01, 2016, ACM, New York 2016, p. 237–249.see in PBN
- Filip Murlak and Grzegorz Zielinski, Vertically Acyclic Conjunctive Queries over Trees, in: Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016, 2016.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 and Ke Yi, Research Directions for Principles of Data Management (Abridged), Sigmod Record 45 (4) 2016, p. 5–17.see in PBN
2015
- Mikołaj Bojańczyk, Filip Murlak and Adam Wojciech Witkowski, Containment of Monadic Datalog Programs via Bounded Clique-Width, in: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, Springer, 2015, p. 427–439.see in PBN
- Alessandro Facchini, Filip Murlak and Michał Paweł Skrzypczak, On the Weak Index Problem for Game Automata, in: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, Springer, 2015, p. 93–108.see in PBN
2014
- Claire David, Piotr Hofman, Filip Murlak and Michal Pilipczuk, Synthesizing transformations from XML schema mappings, in: Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014, OpenProceedings.org, 2014, p. 61–71.see in PBN
- Shun'ichi Amano, Claire David, Leonid Libkin and Filip Murlak, XML Schema Mappings: Data Exchange and Metadata Management, Journal Of The Acm 61 (2) 2014, p. 12.see in PBN
- Marcelo Arenas, Pablo Barceló, Leonid Libkin and Filip Murlak, Foundations of Data Exchange, Cambridge University Press, 2014.see in PBN
- Filip Mazowiecki, Filip Murlak and Adam Wojciech Witkowski, Monadic Datalog and Regular Tree Pattern Queries, in: Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I, 2014, p. 426–437.see in PBN
- Claire David, Nadime Francis and Filip Murlak, Consistency of Injective Tree Patterns, in: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014, p. 279–290.see in PBN
2012
- Filip Murlak, Michał Ogiński and Marcin Przybyłko, Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity?, in: MFCS, 2012.see in PBN
2011
- Filip Murlak and Piotr Sankowski (eds.), Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011., Springer, Berlin 2011.see in PBN
- Jacques Duparc, Alessandro Facchini and Filip Murlak, Definable Operations On Weakly Recognizable Sets of Trees, in: FSTTCS, Leibniz-Zentrum fuer Informatik, Schloss Dagstuhl 2011.see in PBN
- Mikołaj Bojańczyk, Leszek Aleksander Kołodziejczyk and Filip Murlak, Solutions in XML data exchange, in: Proceedings of the 14th International Conference on Database Theory. ICDT'11, ACM, Uppsala, Sweden 2011.see in PBN
2010
- Shun'ichi Amano, Claire David, Leonid Libkin and Filip Murlak, On the tradeoff between mapping and querying power in XML data exchange, in: ICDT, 2010.see in PBN
- Claire David, Leonid Libkin and Filip Murlak, Certain answers for XML queries, in: PODS, 2010.see in PBN
- Marcelo Arenas, Pablo Barceló, Leonid Libkin and Filip Murlak, Relational and XML Data Exchange, Morgan & Claypool Publishers, 2010.see in PBN
2009
- Jacques Duparc, Alessandro Facchini and Filip Murlak, Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata, Lecture Notes In Computer Science 5771 2009, p. 225–239.see in PBN
- Leonid Libkin, Filip Murlak and Shun'ichi Amano, XML schema mappings, in: PODS, 2009.see in PBN
- Jeremie Cabessa, Jacques Duparc, Alessandro Facchini and Filip Murlak, The Wadge Hierarchy of Max-Regular Languages, in: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), Leibniz-Zentrum fuer Informatik, Schloss Dagstuhl 2009.see in PBN
You are not logged in | log in
