Full name Familienname, Vorname
Pichler, Reinhard
 
Main Affiliation Organisations­zuordnung
 

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pichler, Reinhard H-Subsumption in automated deductionThesis Hochschulschrift2000

Results 1-20 of 73 (Search time: 0.026 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Unterberger Daniel - 2024 - Turning FPT Decision Methods into Enumeration...pdf.jpgUnterberger, Daniel Turning FPT Decision Methods into Enumeration Algorithms with FPT-DelayThesis Hochschulschrift 2024
2Bretterbauer Markus - 2024 - Comparison of RDF Triplestores in a Kubernetes...pdf.jpgBretterbauer, Markus Comparison of RDF Triplestores in a Kubernetes EnvironmentThesis Hochschulschrift 2024
3Lackner Florian - 2023 - Score-based Explanations of Classification Outcomes and...pdf.jpgLackner, Florian Score-based Explanations of Classification Outcomes and Database QueriesThesis Hochschulschrift 2023
4Steindl Alexander - 2023 - Improving Joins in Pandas.pdf.jpgSteindl, Alexander Improving joins in pandasThesis Hochschulschrift 2023
5Martinek Michael - 2023 - Integration of Structure Guided Query Optimization...pdf.jpgMartinek, Michael Integration of Structure Guided Query Optimization into NewSQL DatabasesThesis Hochschulschrift 2023
6Sessa, Vincenzo Performance Analysis of Column-Store Extensions for Modern-Day Business SegmentsThesis Hochschulschrift2022
7Grasmann Lukas - 2022 - Integrating skyline queries into spark SQL Efficient and...pdf.jpgGrasmann, Lukas Integrating skyline queries into spark SQL : Efficient and productive integration of skyline queries into apache spark SQLThesis Hochschulschrift 2022
8Merkl Timo - 2022 - Generating diverse solutions to conjunctive queries and...pdf.jpgMerkl, Timo Camillo Generating diverse solutions to conjunctive queries and propositional formulaeThesis Hochschulschrift 2022
9Okulmus Cem - 2023 - Parallel Computation of Structural Decompositions.pdf.jpgOkulmus, Cem Parallel Computation of Structural DecompositionsThesis Hochschulschrift 2022
10Klampfer Martin - 2021 - Analyse und Vergleich von gaengigen...pdf.jpgKlampfer, Martin Analyse und Vergleich von gängigen Graph-AnfragesprachenThesis Hochschulschrift 2021
11Selzer Alexander - 2021 - Lightweight integration of query decomposition...pdf.jpgSelzer, Alexander Lightweight integration of query decomposition techniques into SQL-based database systemsThesis Hochschulschrift 2021
12Ledl Martin - 2021 - Integration of worst-case optimal join algorithms into...pdf.jpgLedl, Martin Integration of worst-case optimal join algorithms into column-storesThesis Hochschulschrift 2021
13Pavlović, Aleksandar Reasoning in knowledge graphs : bridging databases and the semantic webThesis Hochschulschrift2020
14Lanzinger Matthias Paul - 2020 - Hypergraph invariants for computational...pdf.jpgLanzinger, Matthias Paul Hypergraph invariants for computational complexityThesis Hochschulschrift 2020
15Scharinger, Alexander Parameterized algorithms for maximum-weight matchingThesis Hochschulschrift2018
16Csar Julia Theresa - 2018 - Cloud computing techniques for winner determination...pdf.jpgCsar, Julia Theresa Cloud computing techniques for winner determination in computational social choiceThesis Hochschulschrift 2018
17Fischl Wolfgang - 2018 - Generalized and fractional hypertree decompositions...pdf.jpgFischl, Wolfgang Generalized and fractional hypertree decompositions : from theory to practiceThesis Hochschulschrift 2018
18Heinzl Michael - 2018 - In-depth evaluation of NoSQL and NewSQL database...pdf.jpgHeinzl, Michael In-depth evaluation of NoSQL and NewSQL database management systemsThesis Hochschulschrift 2018
19Benuska Viliam - 2017 - A modular portfolio solver for planning.pdf.jpgBenuska, Viliam A modular portfolio solver for planningThesis Hochschulschrift 2017
20Becker Moritz - 2017 - Distributed big data frameworks.pdf.jpgBecker, Moritz Distributed big data frameworksThesis Hochschulschrift 2017