| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Endre Boros, Benny Kimelfeld, Reinhard Pichler, Nicole Schweikardt |
Enumeration in Data Management (Dagstuhl Seminar 19211).  |
Dagstuhl Reports  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer |
A complexity theory for hard enumeration problems. |
Discrete Applied Mathematics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler |
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. |
PODS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler |
Datalog: Bag Semantics via Set Semantics. |
ICDT |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Cem Okulmus, Reinhard Pichler |
Parallel Computation of Generalized Hypertree Decompositions. |
AMW |
2019 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler |
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. |
AMW |
2019 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Matthias Lanzinger, Reinhard Pichler |
Semantic Width Revisited (Extended Abstract). |
AMW |
2019 |
DBLP BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
Limits of Schema Mappings. |
Theory Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler |
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler |
Datalog: Bag Semantics via Set Semantics. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Matthias Lanzinger, Reinhard Pichler |
Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Reinhard Pichler, Stefan Woltran |
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? |
Logical Methods in Computer Science |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Fischl, Georg Gottlob, Reinhard Pichler |
General and Fractional Hypertree Decompositions: Hard and Easy Cases. |
PODS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Theresa Csar, Martin Lackner, Reinhard Pichler |
Computing the Schulze Method for Large-Scale Preference Data Sets. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael H. Böhlen, Reinhard Pichler, Norman May, Erhard Rahm, Shan-Hung Wu, Katja Hose (eds.) |
Proceedings of the 21th International Conference on Extending Database Technology, EDBT 2018, Vienna, Austria, March 26-29, 2018. |
EDBT |
2018 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Fischl, Georg Gottlob, Reinhard Pichler |
General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract). |
AMW |
2018 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Reinhard Pichler, Stefan Woltran |
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Bliem, Reinhard Pichler, Stefan Woltran |
Implementing Courcelle's Theorem in a declarative framework for dynamic programming. |
J. Log. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Theresa Csar, Martin Lackner, Reinhard Pichler, Emanuel Sallinger |
Computational Social Choice in the Clouds. |
BTW (Workshops) |
2017 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer |
On the Complexity of Hard Enumeration Problems. |
LATA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Theresa Csar, Martin Lackner, Reinhard Pichler, Emanuel Sallinger |
Winner Determination in Huge Elections with MapReduce. |
AAAI |
2017 |
DBLP BibTeX RDF |
|
| 1 | Markus Kröll, Reinhard Pichler, Stefan Woltran |
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks. |
IJCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Emanuel Sallinger |
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. |
AMW |
2017 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer |
On the Complexity of Hard Enumeration Problems. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Fischl, Georg Gottlob, Reinhard Pichler |
General and Fractional Hypertree Decompositions: Hard and Easy Cases. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Kathrin Conrad, Nysret Musliu, Reinhard Pichler, Hannes Werthner |
Universities and computer science in the European crisis of refugees. |
Commun. ACM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Medina, Reinhard Pichler |
Fuzzy data exchange. |
Fuzzy Sets and Systems |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
Limits of Schema Mappings. |
ICDT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Arming, Reinhard Pichler, Emanuel Sallinger |
Complexity of Repair Checking and Consistent Query Answering. |
ICDT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Kröll, Reinhard Pichler, Sebastian Skritek |
On the Complexity of Enumerating the Answers to Well-designed Pattern Trees. |
ICDT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shqiponja Ahmetaj, Wolfgang Fischl, Markus Kröll, Reinhard Pichler, Mantas Simkus, Sebastian Skritek |
The Challenge of Optional Matching in SPARQL. |
FoIKS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Kröll, Reinhard Pichler, Sebastian Skritek |
On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees. |
AMW |
2016 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Altigran Soares da Silva (eds.) |
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 |
AMW |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
On the undecidability of the equivalence of second-order tuple generating dependencies. |
Inf. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Pfandler, Reinhard Pichler, Stefan Woltran |
The complexity of handling minimal solutions in logic-based abduction. |
J. Log. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek |
Towards Reconciling SPARQL and Certain Answers. |
WWW |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Reinhard Pichler, Sebastian Skritek |
Efficient Evaluation and Approximation of Well-designed Pattern Trees. |
PODS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Emanuel Sallinger |
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. |
PODS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek |
DL-Lite and Conjunctive Queries Extended by Optional Matching. |
Description Logics |
2015 |
DBLP BibTeX RDF |
|
| 1 | Pablo Barceló, Reinhard Pichler, Sebastian Skritek |
Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract). |
AMW |
2015 |
DBLP BibTeX RDF |
|
| 1 | Theresa Csar, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
Using Statistics for Computing Joins with MapReduce. |
AMW |
2015 |
DBLP BibTeX RDF |
|
| 1 | Shqiponja Ahmetaj, Wolfgang Fischl, Reinhard Pichler, Mantas Simkus, Sebastian Skritek |
Towards Reconciling SPARQL and Certain Answers (Extended Abstract). |
AMW |
2015 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran |
Belief revision within fragments of propositional logic. |
J. Comput. Syst. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran |
Tractable answer-set programming with weight constraints: bounded treewidth is not enough. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Sebastian Skritek |
Containment and equivalence of well-designed SPARQL. |
PODS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
Nested dependencies: structure and reasoning. |
PODS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus |
Capturing Relational Schemas and Functional Dependencies in RDFS. |
AAAI |
2014 |
DBLP BibTeX RDF |
|
| 1 | Martin Kronegger, Martin Lackner, Andreas Pfandler, Reinhard Pichler |
A Parameterized Complexity Analysis of Generalized CP-Nets. |
AAAI |
2014 |
DBLP BibTeX RDF |
|
| 1 | Jesús Medina, Reinhard Pichler |
A Fuzzy Extension of Data Exchange. |
IPMU (2) |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus |
Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. |
Description Logics |
2014 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Sebastian Skritek |
On the Hardness of Counting the Solutions of SPARQL Queries. |
AMW |
2014 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Arming, Reinhard Pichler, Emanuel Sallinger |
Combined Complexity of Repair Checking and Consistent Query Answering. |
AMW |
2014 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Sebastian Skritek |
Tractable counting of the answers to conjunctive queries. |
J. Comput. Syst. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
Relaxed Notions of Schema Mapping Equivalence Revisited. |
Theory Comput. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Letelier, Jorge Pérez 0001, Reinhard Pichler, Sebastian Skritek |
Static analysis and optimization of semantic web queries. |
ACM Trans. Database Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Savenkov, Reinhard Pichler, Christoph Koch 0001 |
Loop Elimination for Database Updates. |
BNCOD |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Reinhard Pichler, Stefan Woltran |
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? |
IJCAI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Martin Kronegger, Andreas Pfandler, Reinhard Pichler |
Parameterized Complexity of Optimal Planning: A Detailed Map. |
IJCAI |
2013 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Bliem, Reinhard Pichler, Stefan Woltran |
Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem. |
IPEC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Hubmer, Reinhard Pichler, Vadim Savenkov, Sebastian Skritek |
Efficient Updates of Uncertain Databases. |
AMW |
2013 |
DBLP BibTeX RDF |
|
| 1 | Paolo Guagliardo, Reinhard Pichler, Emanuel Sallinger |
Enhancing the Updatability of Projective Views. |
AMW |
2013 |
DBLP BibTeX RDF |
|
| 1 | Schahram Dustdar, Reinhard Pichler, Vadim Savenkov, Hong Linh Truong 0001 |
Quality-aware service-oriented data integration: requirements, state of the art and open challenges. |
SIGMOD Record |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran |
Towards fixed-parameter tractable algorithms for abstract argumentation. |
Artif. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran |
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Andrés Letelier, Jorge Pérez 0001, Reinhard Pichler, Sebastian Skritek |
SPAM: A SPARQL Analysis and Manipulation Tool. (PDF / PS) |
PVLDB |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Barceló, Reinhard Pichler (eds.) |
Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming. |
LION |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Letelier, Jorge Pérez 0001, Reinhard Pichler, Sebastian Skritek |
Static analysis and optimization of semantic web queries. |
PODS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lackner, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Multicut on Graphs of Bounded Clique-Width. |
COCOA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran |
Belief Revision within Fragments of Propositional Logic. |
KR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jorge Pérez 0001, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
Union and Intersection of Schema Mappings. |
AMW |
2012 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Vadim Savenkov |
Normalization and optimization of schema mappings. |
VLDB J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong 0001, Schahram Dustdar |
On Integrating Data Services Using Data Mashups. |
BNCOD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
A New Tree-Decomposition Based Algorithm for Answer Set Programming. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Sebastian Skritek |
The complexity of evaluating tuple generating dependencies. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
Relaxed notions of schema mapping equivalence revisited. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov |
On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies. |
AMW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Sebastian Skritek |
Tractable Counting of the Answers to Conjunctive Queries. |
AMW |
2011 |
DBLP BibTeX RDF |
|
| 1 | Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong 0001, Schahram Dustdar |
Incorporating Data Concerns into Query Languages for Data Services. |
ICEIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Intizar Ali, Reinhard Pichler, Hong Linh Truong 0001, Schahram Dustdar |
Data Concern Aware Querying for the Integration of Data Services. |
ICEIS (1) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Monadic datalog over finite structures of bounded treewidth. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Bounded treewidth as a key to tractability of knowledge representation and reasoning. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Vadim Savenkov |
Towards practical feasibility of core computation in data exchange. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Hermann, Reinhard Pichler |
Counting complexity of propositional abduction. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Tractable database design and datalog abduction through bounded treewidth. |
Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Counting and Enumeration Problems with Bounded Treewidth. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler |
Exploiting Bounded Treewidth with Datalog (A Survey). |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Woltran |
The Complexity of Handling Minimal Solutions in Logic-Based Abduction. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Multicut Algorithms via Tree Decompositions. |
CIAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
A Dynamic-Programming Based ASP-Solver. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran |
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran |
Towards Fixed-Parameter Tractable Algorithms for Argumentation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran |
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Vadim Savenkov, Sebastian Skritek, Hong Linh Truong 0001 |
Uncertain Databases in Collaborative Data Management. |
MUD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran |
Minimising RDF Graphs under Rules and Constraints Revisited. |
AMW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Miki Hermann, Reinhard Pichler |
Complexity of counting the optimal solutions. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pichler, Vadim Savenkov |
DEMo: Data Exchange Modeling Tool. (PDF / PS) |
PVLDB |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Reinhard Pichler, Vadim Savenkov |
Normalization and Optimization of Schema Mappings. (PDF / PS) |
PVLDB |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license