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