Filip Murlak

85 papers A* 14A 9B 6C 1Journal 34Unranked 18
YearRankTypeTitle / Venue / Authors
2026 A* conf
Revisiting Conjunctive Query Entailment for S.
AAAI
Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak
2025 A* conf
Common Foundations for SHACL, ShEx, and PG-Schema.
WWW
Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Axel Polleres, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk
2025 J jnl
Common Foundations for SHACL, ShEx, and PG-Schema.
CoRR
Shqiponja Ahmetaj, Iovka Boneva, Jan Hidders, Katja Hose, Maxime Jakubowski, José Emilio Labra Gayo, Wim Martens, Fabio Mogavero, Filip Murlak, Cem Okulmus, Axel Polleres, Ognjen Savkovic, Mantas Simkus, Dominik Tomaszuk
2025 — ed.
Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools, RW 2024, Bucharest, Romania, September 19-22, 2024 / RW 2025, Istanbul, Turkey, September 25-28, 2025
RW
Alessandro Artale, Meghyn Bienvenu, Yazmín Ibáñez-García, Filip Murlak
2025 B conf
On Graph Queries and Modal Constraints (Invited Talk).
MFCS
Filip Murlak
2025 A conf
Queries with External Predicates.
ICDT
Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Cristina Sirangelo
2025 — conf
Querying Graph Data: Where We Are and Where To Go.
PODS Companion
Leonid Libkin, Wim Martens, Filip Murlak, Liat Peterfreund, Domagoj Vrgoc
2025 — conf
Rel: A Programming Language for Relational Data.
SIGMOD Conference Companion
Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika
2025 J jnl
Rel: A Programming Language for Relational Data.
CoRR
Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika
2025 J jnl
Revisiting Conjunctive Query Entailment for 𝒮.
CoRR
Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak
2025 J jnl
Threshold queries in theory and in the wild.
VLDB J.
Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk
2024 J jnl
Containment of Graph Queries Modulo Schema.
Proc. ACM Manag. Data
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Angélica Ibáñez-García, Filip Murlak
2024 J jnl
DTGraph: Declarative Transformations of Property Graphs.
Proc. VLDB Endow.
Angela Bonifati, Yann Ramusat, Filip Murlak, Amela Fejza, Rachid Echahed
2024 A conf
Evaluating Graph Queries Using Semantic Treewidth.
ICDT
Cristina Feier, Tomasz Gogacz, Filip Murlak
2024 J jnl
Transforming Property Graphs.
CoRR
Angela Bonifati, Filip Murlak, Yann Ramusat
2024 J jnl
Transforming Property Graphs.
Proc. VLDB Endow.
Angela Bonifati, Filip Murlak, Yann Ramusat
2023 A conf
A Researcher's Digest of GQL (Invited Talk).
ICDT
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2023 J jnl
Answering regular path queries mediated by unrestricted SQ ontologies.
Artif. Intell.
Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2023 — conf
Exploiting Semantic Treewidth for Graph Queries Evaluation (short paper).
AMW
Cristina Feier, Tomasz Gogacz, Filip Murlak
2023 A* conf
Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract).
IJCAI
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2023 — conf
Finite-Model Reasoning for Graph Queries and Description Logics.
RW
Filip Murlak
2023 A* conf
GPC: A Pattern Calculus for Property Graphs.
PODS
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2023 J jnl
PG-Schema: Schemas for Property Graphs.
Proc. ACM Manag. Data
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
2023 A* conf
Static Analysis of Graph Database Transformations.
PODS
Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawek Staworko
2023 J jnl
Static Analysis of Graph Database Transformations.
CoRR
Iovka Boneva, Benoît Groz, Jan Hidders, Filip Murlak, Slawomir Staworko
2023 — conf
Supporting Descendants in SIMD-Accelerated JSONPath.
ASPLOS (4)
Mateusz Gienieczko, Filip Murlak, Charles Paperman
2023 J jnl
Threshold Queries.
SIGMOD Rec.
Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk
2022 A* conf
Finite Entailment of UCRPQs over ALC Ontologies.
KR
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2022 J jnl
Finite Entailment of UCRPQs over ALC Ontologies.
CoRR
Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2022 J jnl
GPC: A Pattern Calculus for Property Graphs.
CoRR
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
2022 — conf
Graph Pattern Matching in GQL and SQL/PGQ.
SIGMOD Conference
Alin Deutsch, Nadime Francis, Alastair Green, Keith W. 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
2022 J jnl
PG-Schema: Schemas for Property Graphs.
CoRR
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
2022 J jnl
Threshold Queries in Theory and in the Wild.
Proc. VLDB Endow.
Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk
2021 J jnl
Graph Pattern Matching in GQL and SQL/PGQ.
CoRR
Alin Deutsch, Nadime Francis, Alastair Green, Keith W. 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
2021 — conf
PG-Keys: Keys for Property Graphs.
SIGMOD Conference
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
2021 A* conf
Stackless Processing of Streamed Trees.
PODS
Corentin Barloy, Filip Murlak, Charles Paperman
2021 J jnl
Threshold Queries in Theory and in the Wild.
CoRR
Angela Bonifati, Stefania Dumbrava, George Fletcher, Jan Hidders, Matthias Hofer, Wim Martens, Filip Murlak, Joshua Shinavier, Slawek Staworko, Dominik Tomaszuk
2020 A* conf
On Finite Entailment of Non-Local Queries in Description Logics.
KR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2020 J jnl
On Finite Entailment of Non-Local Queries in Description Logics.
CoRR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Ibáñez-García, Filip Murlak
2020 J jnl
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
CoRR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2020 A conf
Ontology Focusing: Knowledge-Enriched Databases on Demand.
ECAI
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
2019 — conf
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
Description Logics
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2019 A* conf
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
IJCAI
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
2019 — conf
On the semantics of Cypher's implicit group-by.
DBPL
Filip Murlak, Jan Posiadala, Pawel Susicki
2019 J jnl
Ontology Focusing: Knowledge-enriched Databases on Demand.
CoRR
Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Filip Murlak, Magdalena Ortiz, Mantas Simkus
2018 A* conf
Finite Query Answering in Expressive Description Logics with Transitive Roles.
KR
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
2018 J jnl
Finite Query Answering in Expressive Description Logics with Transitive Roles.
CoRR
Tomasz Gogacz, Yazmín Angélica Ibáñez-García, Filip Murlak
2018 J jnl
Reasoning about integrity constraints for tree-structured data.
Theory Comput. Syst.
Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys
2018 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos
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
2017 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
CoRR
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
2017 — conf
Three Easy Pieces on Schema Mappings for Tree-structured Data.
AMW
Claire David, Filip Murlak
2016 J jnl
Index Problems for Game Automata.
ACM Trans. Comput. Log.
Alessandro Facchini, Filip Murlak, Michal Skrzypczak
2016 J jnl
Monadic Datalog and Regular Tree Pattern Queries.
ACM Trans. Database Syst.
Filip Mazowiecki, Filip Murlak, Adam Witkowski
2016 A conf
Reasoning About Integrity Constraints for Tree-Structured Data.
ICDT
Wojciech Czerwinski, Claire David, Filip Murlak, Pawel Parys
2016 J jnl
Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec.
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
2016 A* conf
Schema Validation via Streaming Circuits.
PODS
Filip Murlak, Charles Paperman, Michal Pilipczuk
2016 — conf
Vertically Acyclic Conjunctive Queries over Trees.
AMW
Filip Murlak, Grzegorz Zielinski
2015 — conf
Containment of Monadic Datalog Programs via Bounded Clique-Width.
ICALP (2)
Mikolaj Bojanczyk, Filip Murlak, Adam Witkowski
2015 J jnl
Index problems for game automata.
CoRR
Alessandro Facchini, Filip Murlak, Michal Skrzypczak
2015 C conf
On the Weak Index Problem for Game Automata.
WoLLIC
Alessandro Facchini, Filip Murlak, Michal Skrzypczak
2014 — conf
Consistency of Injective Tree Patterns.
FSTTCS
Claire David, Nadime Francis, Filip Murlak
2014 — book
Foundations of Data Exchange
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
2014 — conf
Monadic Datalog and Regular Tree Pattern Queries.
MFCS (1)
Filip Mazowiecki, Filip Murlak, Adam Witkowski
2014 A conf
Synthesizing transformations from XML schema mappings.
ICDT
Claire David, Piotr Hofman, Filip Murlak, Michal Pilipczuk
2014 J jnl
XML Schema Mappings: Data Exchange and Metadata Management.
J. ACM
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
2013 A* conf
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata.
LICS
Alessandro Facchini, Filip Murlak, Michal Skrzypczak
2013 J jnl
Solutions in XML data exchange.
J. Comput. Syst. Sci.
Mikolaj Bojanczyk, Leszek Aleksander Kolodziejczyk, Filip Murlak
2012 B conf
Between Tree Patterns and Conjunctive Queries: Is There Tractability beyond Acyclicity?
MFCS
Filip Murlak, Michal Oginski, Marcin Przybylko
2011 — conf
Definable Operations On Weakly Recognizable Sets of Trees.
FSTTCS
Jacques Duparc, Alessandro Facchini, Filip Murlak
2011 B ed.
Mathematical Foundations of Computer Science 2011 - 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
MFCS
Filip Murlak, Piotr Sankowski
2011 A conf
Solutions in XML data exchange.
ICDT
Mikolaj Bojanczyk, Leszek Aleksander Kolodziejczyk, Filip Murlak
2010 A* conf
Certain answers for XML queries.
PODS
Claire David, Leonid Libkin, Filip Murlak
2010 A conf
On the tradeoff between mapping and querying power in XML data exchange.
ICDT
Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak
2010 — book
Relational and XML Data Exchange
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
2009 B conf
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata.
CSL
Jacques Duparc, Alessandro Facchini, Filip Murlak
2009 — conf
The Wadge Hierarchy of Max-Regular Languages.
FSTTCS
Jérémie Cabessa, Jacques Duparc, Alessandro Facchini, Filip Murlak
2009 A* conf
XML schema mappings.
PODS
Shun'ichi Amano, Leonid Libkin, Filip Murlak
2008 — conf
On the topological complexity of tree languages.
Logic and Automata
André Arnold, Jacques Duparc, Filip Murlak, Damian Niwinski
2008 J jnl
The Wadge Hierarchy of Deterministic Tree Languages
CoRR
Filip Murlak
2008 J jnl
The Wadge Hierarchy of Deterministic Tree Languages.
Log. Methods Comput. Sci.
Filip Murlak
2008 J jnl
Weak index versus Borel rank
CoRR
Filip Murlak
2008 A conf
Weak index versus Borel rank.
STACS
Filip Murlak
2007 B conf
On the Topological Complexity of Weakly Recognizable Tree Languages.
FCT
Jacques Duparc, Filip Murlak
2006 — conf
The Wadge Hierarchy of Deterministic Tree Languages.
ICALP (2)
Filip Murlak
2005 B conf
On Deciding Topological Classes of Deterministic Tree Languages.
CSL
Filip Murlak