Filip Murlak

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 43

Top Topics

Xml Data Exchange

Acyclic Conjunctive Queries

Top Venues

Publications

Cristina Feier, Tomasz Gogacz, Filip Murlak
Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper). AMW (2023)
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
A Researcher's Digest of GQL (Invited Talk). ICDT (2023)
Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawomir Staworko
Static Analysis of Graph Database Transformations. CoRR (2023)
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. PODS (2023)
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. Proc. ACM Manag. Data 1 (2) (2023)
Mateusz Gienieczko, Filip Murlak, Charles Paperman
Supporting Descendants in SIMD-Accelerated JSONPath. ASPLOS (4) (2023)
Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk
Threshold Queries. SIGMOD Rec. 52 (1) (2023)
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract). IJCAI (2023)
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. Artif. Intell. 314 (2023)
Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawek Staworko
Static Analysis of Graph Database Transformations. PODS (2023)
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. CoRR (2022)
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. CoRR (2022)
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 Vrgoc, Mingxi Wu, Fred Zemke
Graph Pattern Matching in GQL and SQL/PGQ. SIGMOD Conference (2022)
Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk
Threshold Queries in Theory and in the Wild. Proc. VLDB Endow. 15 (5) (2022)
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
Finite Entailment of UCRPQs over ALC Ontologies. KR (2022)
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
Finite Entailment of UCRPQs over ALC Ontologies. CoRR (2022)
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, Hannes Voigt, Oskar van Rest, Domagoj Vrgoc, Mingxi Wu, Fred Zemke
Graph Pattern Matching in GQL and SQL/PGQ. CoRR (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 Savkovic, Michael Schmidt, Juan F. Sequeda, Slawek Staworko, Dominik Tomaszuk
PG-Keys: Keys for Property Graphs. SIGMOD Conference (2021)
Corentin Barloy, Filip Murlak, Charles Paperman
Stackless Processing of Streamed Trees. PODS (2021)
Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk
Threshold Queries in Theory and in the Wild. CoRR (2021)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
On Finite Entailment of Non-Local Queries in Description Logics. KR (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
On Finite Entailment of Non-Local Queries in Description Logics. CoRR (2020)
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. CoRR (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-Enriched Databases on Demand. ECAI (2020)
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
Ontology Focusing: Knowledge-enriched Databases on Demand. CoRR (2019)
Filip Murlak, Jan Posiadala, Pawel Susicki
On the semantics of Cypher's implicit group-by. DBPL (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. Description Logics (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. IJCAI (2019)
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
Finite Query Answering in Expressive Description Logics with Transitive Roles. CoRR (2018)
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 (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7 (1) (2018)
Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys
Reasoning about integrity constraints for tree-structured data. Theory Comput. Syst. 62 (4) (2018)
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
Finite Query Answering in Expressive Description Logics with Transitive Roles. KR (2018)
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 (Dagstuhl Perspectives Workshop 16151). CoRR (2017)
Claire David, Filip Murlak
Three Easy Pieces on Schema Mappings for Tree-structured Data. AMW (2017)
Filip Mazowiecki, Filip Murlak, Adam Witkowski
Monadic Datalog and Regular Tree Pattern Queries. ACM Trans. Database Syst. 41 (3) (2016)
Alessandro Facchini, Filip Murlak, Michal Skrzypczak
Index Problems for Game Automata. ACM Trans. Comput. Log. 17 (4) (2016)
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 Rec. 45 (4) (2016)
Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys
Reasoning About Integrity Constraints for Tree-Structured Data. ICDT (2016)
Filip Murlak, Charles Paperman, Michal Pilipczuk
Schema Validation via Streaming Circuits. PODS (2016)
Filip Murlak, Grzegorz Zielinski
Vertically Acyclic Conjunctive Queries over Trees. AMW (2016)
Alessandro Facchini, Filip Murlak, Michal Skrzypczak
Index problems for game automata. CoRR (2015)
Alessandro Facchini, Filip Murlak, Michal Skrzypczak
On the Weak Index Problem for Game Automata. WoLLIC (2015)
Mikolaj Bojanczyk, Filip Murlak, Adam Witkowski
Containment of Monadic Datalog Programs via Bounded Clique-Width. ICALP (2) (2015)
Claire David, Nadime Francis, Filip Murlak
Consistency of Injective Tree Patterns. FSTTCS (2014)
Claire David, Piotr Hofman, Filip Murlak, Michal Pilipczuk
Synthesizing transformations from XML schema mappings. ICDT (2014)
Filip Mazowiecki, Filip Murlak, Adam Witkowski
Monadic Datalog and Regular Tree Pattern Queries. MFCS (1) (2014)
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
XML Schema Mappings: Data Exchange and Metadata Management. J. ACM 61 (2) (2014)
Alessandro Facchini, Filip Murlak, Michal Skrzypczak
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata. LICS (2013)
Mikolaj Bojanczyk, Leszek Aleksander Kolodziejczyk, Filip Murlak
Solutions in XML data exchange. J. Comput. Syst. Sci. 79 (6) (2013)
Filip Murlak, Michal Oginski, Marcin Przybylko
Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity? MFCS (2012)
Mikolaj Bojanczyk, Leszek Aleksander Kolodziejczyk, Filip Murlak
Solutions in XML data exchange. ICDT (2011)
Jacques Duparc, Alessandro Facchini, Filip Murlak
Definable Operations On Weakly Recognizable Sets of Trees. FSTTCS (2011)
Claire David, Leonid Libkin, Filip Murlak
Certain answers for XML queries. PODS (2010)
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
On the tradeoff between mapping and querying power in XML data exchange. ICDT (2010)
Shun'ichi Amano, Leonid Libkin, Filip Murlak
XML schema mappings. PODS (2009)
Jérémie Cabessa, Jacques Duparc, Alessandro Facchini, Filip Murlak
The Wadge Hierarchy of Max-Regular Languages. FSTTCS (2009)
Jacques Duparc, Alessandro Facchini, Filip Murlak
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. CSL (2009)
Filip Murlak
Weak index versus Borel rank. STACS (2008)
Filip Murlak
The Wadge Hierarchy of Deterministic Tree Languages CoRR (2008)
André Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski
On the topological complexity of tree languages. Logic and Automata (2008)
Filip Murlak
Weak index versus Borel rank CoRR (2008)
Filip Murlak
The Wadge Hierarchy of Deterministic Tree Languages. Log. Methods Comput. Sci. 4 (4) (2008)
Jacques Duparc, Filip Murlak
On the Topological Complexity of Weakly Recognizable Tree Languages. FCT (2007)
Filip Murlak
The Wadge Hierarchy of Deterministic Tree Languages. ICALP (2) (2006)
Filip Murlak
On Deciding Topological Classes of Deterministic Tree Languages. CSL (2005)