Reinhard Pichler

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 70

Top Venues

Publications

Matthias Lanzinger, Reinhard Pichler, Alexander Selzer
Avoiding Materialisation for Guarded Aggregate Queries. CoRR (2024)
Shqiponja Ahmetaj, Timo Camillo Merkl, Reinhard Pichler
Consistent Query Answering over SHACL Constraints. CoRR (2024)
Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. ACM Trans. Database Syst. 49 (1) (2024)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Convergence of datalog over (Pre-) Semirings. J. ACM 71 (2) (2024)
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
Fractional covers of hypergraphs with bounded multi-intersection. Theor. Comput. Sci. 979 (2023)
Timo Camillo Merkl, Reinhard Pichler, Sebastian Skritek
Diversity of Answers to Conjunctive Queries (short paper). AMW (2023)
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
Reaching Back to Move Forward: Using Old Ideas to Achieve a New Level of Query Optimization (short paper). AMW (2023)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Convergence of Datalog over (Pre-) Semirings. SIGMOD Rec. 52 (1) (2023)
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice. CoRR (2023)
Timo Camillo Merkl, Reinhard Pichler, Sebastian Skritek
Diversity of Answers to Conjunctive Queries. CoRR (2023)
Renzo Angles, Georg Gottlob, Aleksandar Pavlovic, Reinhard Pichler, Emanuel Sallinger
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog. Proc. VLDB Endow. 16 (13) (2023)
Renzo Angles, Georg Gottlob, Aleksandar Pavlovic, Reinhard Pichler, Emanuel Sallinger
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]. CoRR (2023)
Timo Camillo Merkl, Reinhard Pichler, Sebastian Skritek
Diversity of Answers to Conjunctive Queries. ICDT (2023)
Georg Gottlob, Cem Okulmus, Reinhard Pichler
Fast and parallel decomposition of constraint satisfaction problems. Constraints An Int. J. 27 (3) (2022)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Datalog in Wonderland. SIGMOD Rec. 51 (2) (2022)
Lukas Grasmann, Reinhard Pichler, Alexander Selzer
Integration of Skyline Queries into Spark SQL. EDBT (2022)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Convergence of Datalog over (Pre-) Semirings. PODS (2022)
Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu
Optimizing Recursive Queries with Program Synthesis. CoRR (2022)
Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. PODS (2022)
Reinhard Pichler
Novel Techniques in Datalog Optimization (Abstract). Datalog (2022)
Lukas Grasmann, Reinhard Pichler, Alexander Selzer
Integration of Skyline Queries into Spark SQL. CoRR (2022)
Yisu Remy Wang, Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu
Optimizing Recursive Queries with Progam Synthesis. SIGMOD Conference (2022)
Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. CoRR (2021)
Reinhard Pichler
Database Theory Column Report on PODS 2021. SIGACT News 52 (3) (2021)
Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. ACM J. Exp. Algorithmics 26 (2021)
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
Complexity Analysis of Generalized and Fractional Hypertree Decompositions. J. ACM 68 (5) (2021)
Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler, Dan Suciu, Yisu Remy Wang
Convergence of Datalog over (Pre-) Semirings. CoRR (2021)
Hubie Chen, Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems. CoRR (2020)
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
Complexity Analysis of General and Fractional Hypertree Decompositions. CoRR (2020)
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
Fractional Covers of Hypergraphs with Bounded Multi-Intersection. MFCS (2020)
Hubie Chen, Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems. IJCAI (2020)
Reinhard Pichler
Technical Perspective: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation. SIGMOD Rec. 49 (1) (2020)
Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
On the Language of Nested Tuple Generating Dependencies. ACM Trans. Database Syst. 45 (2) (2020)
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions. CPAIOR (2020)
Georg Gottlob, Cem Okulmus, Reinhard Pichler
Fast and Parallel Decomposition of Constraint Satisfaction Problems. IJCAI (2020)
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
Fractional Covers of Hypergraphs with Bounded Multi-Intersection. CoRR (2020)
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions. CoRR (2020)
Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. CoRR (2020)
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
Semantic Width Revisited (Extended Abstract). AMW (2019)
Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. AMW (2019)
Georg Gottlob, Cem Okulmus, Reinhard Pichler
Parallel Computation of Generalized Hypertree Decompositions. AMW (2019)
Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer
A complexity theory for hard enumeration problems. Discret. Appl. Math. 268 (2019)
Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler
Datalog: Bag Semantics via Set Semantics. ICDT (2019)
Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. PODS (2019)
Endre Boros, Benny Kimelfeld, Reinhard Pichler, Nicole Schweikardt
Enumeration in Data Management (Dagstuhl Seminar 19211). Dagstuhl Reports 9 (5) (2019)
Pablo Barceló, Markus Kröll, Reinhard Pichler, Sebastian Skritek
Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection. ACM Trans. Database Syst. 43 (2) (2018)
Theresa Csar, Martin Lackner, Reinhard Pichler
Computing the Schulze Method for Large-Scale Preference Data Sets. IJCAI (2018)
Wolfgang Fischl, Georg Gottlob, Reinhard Pichler
General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract). AMW (2018)
Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler
Datalog: Bag Semantics via Set Semantics. CoRR (2018)
Wolfgang Fischl, Georg Gottlob, Reinhard Pichler
General and Fractional Hypertree Decompositions: Hard and Easy Cases. PODS (2018)
Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. CoRR (2018)
Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems. CoRR (2018)
Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
Limits of Schema Mappings. Theory Comput. Syst. 62 (4) (2018)
Nadia Creignou, Reinhard Pichler, Stefan Woltran
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? Log. Methods Comput. Sci. 14 (4) (2018)
Theresa Csar, Martin Lackner, Reinhard Pichler, Emanuel Sallinger
Computational Social Choice in the Clouds. BTW (Workshops) (2017)
Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer
On the Complexity of Hard Enumeration Problems. LATA (2017)
Nadia Creignou, Reinhard Pichler, Stefan Woltran
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? CoRR (2017)
Bernhard Bliem, Reinhard Pichler, Stefan Woltran
Implementing Courcelle's Theorem in a declarative framework for dynamic programming. J. Log. Comput. 27 (4) (2017)
Markus Kröll, Reinhard Pichler, Stefan Woltran
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks. IJCAI (2017)
Georg Gottlob, Reinhard Pichler, Emanuel Sallinger
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. AMW (2017)
Theresa Csar, Martin Lackner, Reinhard Pichler, Emanuel Sallinger
Winner Determination in Huge Elections with MapReduce. AAAI (2017)
Kathrin Conrad, Nysret Musliu, Reinhard Pichler, Hannes Werthner
Universities and computer science in the European crisis of refugees. Commun. ACM 59 (10) (2016)
Sebastian Arming, Reinhard Pichler, Emanuel Sallinger
Complexity of Repair Checking and Consistent Query Answering. ICDT (2016)
Markus Kröll, Reinhard Pichler, Sebastian Skritek
On the Complexity of Enumerating the Answers to Well-designed Pattern Trees. ICDT (2016)
Wolfgang Fischl, Georg Gottlob, Reinhard Pichler
General and Fractional Hypertree Decompositions: Hard and Easy Cases. CoRR (2016)
Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
Limits of Schema Mappings. ICDT (2016)
Jesús Medina, Reinhard Pichler
Fuzzy data exchange. Fuzzy Sets Syst. 301 (2016)
Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer
On the Complexity of Hard Enumeration Problems. CoRR (2016)
Markus Kröll, Reinhard Pichler, Sebastian Skritek
On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees. AMW (2016)
Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
The Challenge of Optional Matching in SPARQL. FoIKS (2016)
Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
On the undecidability of the equivalence of second-order tuple generating dependencies. Inf. Syst. 48 (2015)
Pablo Barceló, Reinhard Pichler, Sebastian Skritek
Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract). AMW (2015)
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
DL-Lite and Conjunctive Queries Extended by Optional Matching. Description Logics (2015)
Theresa Csar, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
Using Statistics for Computing Joins with MapReduce. AMW (2015)
Pablo Barceló, Reinhard Pichler, Sebastian Skritek
Efficient Evaluation and Approximation of Well-designed Pattern Trees. PODS (2015)
Andreas Pfandler, Reinhard Pichler, Stefan Woltran
The complexity of handling minimal solutions in logic-based abduction. J. Log. Comput. 25 (3) (2015)
Georg Gottlob, Reinhard Pichler, Emanuel Sallinger
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. PODS (2015)
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Towards Reconciling SPARQL and Certain Answers (Extended Abstract). AMW (2015)
Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek
Towards Reconciling SPARQL and Certain Answers. WWW (2015)
Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
Nested dependencies: structure and reasoning. PODS (2014)
Jesús Medina, Reinhard Pichler
A Fuzzy Extension of Data Exchange. IPMU (2) (2014)
Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler
A Parameterized Complexity Analysis of Generalized CP-Nets. AAAI (2014)
Sebastian Arming, Reinhard Pichler, Emanuel Sallinger
Combined Complexity of Repair Checking and Consistent Query Answering. AMW (2014)
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
Tractable answer-set programming with weight constraints: bounded treewidth is not enough. Theory Pract. Log. Program. 14 (2) (2014)
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
Belief revision within fragments of propositional logic. J. Comput. Syst. Sci. 80 (2) (2014)
Reinhard Pichler, Sebastian Skritek
Containment and equivalence of well-designed SPARQL. PODS (2014)
Reinhard Pichler, Sebastian Skritek
On the Hardness of Counting the Solutions of SPARQL Queries. AMW (2014)
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. Description Logics (2014)
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
Capturing Relational Schemas and Functional Dependencies in RDFS. AAAI (2014)
Bernhard Bliem, Reinhard Pichler, Stefan Woltran
Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem. IPEC (2013)
Vadim Savenkov, Reinhard Pichler, Christoph Koch
Loop Elimination for Database Updates. BNCOD (2013)
Reinhard Pichler, Sebastian Skritek
Tractable counting of the answers to conjunctive queries. J. Comput. Syst. Sci. 79 (6) (2013)
Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov
Relaxed Notions of Schema Mapping Equivalence Revisited. Theory Comput. Syst. 52 (3) (2013)
Andreas Hubmer, Reinhard Pichler, Vadim Savenkov, Sebastian Skritek
Efficient Updates of Uncertain Databases. AMW (2013)
Paolo Guagliardo, Reinhard Pichler, Emanuel Sallinger
Enhancing the Updatability of Projective Views. AMW (2013)
Andrés Letelier, Jorge Pérez, Reinhard Pichler, Sebastian Skritek
Static analysis and optimization of semantic web queries. ACM Trans. Database Syst. 38 (4) (2013)
Nadia Creignou, Reinhard Pichler, Stefan Woltran
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? IJCAI (2013)
Martin Kronegger, Andreas Pfandler, Reinhard Pichler
Parameterized Complexity of Optimal Planning: A Detailed Map. IJCAI (2013)
Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran
Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries. Semantic Web 4 (4) (2013)
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming. LION (2012)

Reinhard Pichler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Reinhard Pichler