|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Horeis, Timo Frederik ; Plinke, Fabian ; Kain, Tobias ; Tompits, Hans ; Rinaldo, Rhea C. ; Heinrich, Johannes | Cross-Industry Overview of Fault-Tolerant Approaches used in Autonomous Systems | Inproceedings Konferenzbeitrag | 17-May-2022 |
| 2 | | Schön, Felix ; Tompits, Hans | PAUL: An Algorithmic Composer for Classical Piano Music Supporting Multiple Complexity Levels | Inproceedings Konferenzbeitrag  | 2022 |
| 3 | | Kain, Tobias ; Mehlhorn, Marcel Aguirre ; Müller, Julian-Steffen ; Tompits, Hans | D-DEG: A Dynamic Cooperation-Based Approach for Reducing Resource Consumption in Autonomous Vehicles. | Konferenzbeitrag Inproceedings | 2021 |
| 4 | | Tompits, Hans ; Kain, Tobias ; Horeis, Timo Frederik ; Heinrich, Johannes ; Müller, Julian-Steffen ; Plinke, Fabian ; Decke, Hendrik ; Mehlhorn, Marcel Aguirre | C-PO: A Context-Based Application-Placement Optimization for Autonomous Vehicles | Konferenzbeitrag Inproceedings | 2021 |
| 5 | | Kain, Tobias ; Mehlhorn, Marcel Aguirre ; Horeis, Timo Frederik ; Heinrich, Johannes ; Tompits, Hans | Ein Ansatz zur Wiederherstellung ausgefallener Hardwarekomponenten in Fail-Operational Architekturen - Eine Erweiterung von FDIRO | Konferenzbeitrag Inproceedings | 2021 |
| 6 | | Geibinger, Tobias ; Tompits, Hans | Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics | Konferenzbeitrag Inproceedings | 2020 |
| 7 | | Kain, Tobias ; Mundhenk, Philipp ; Müller, Julian-Steffen ; Tompits, Hans ; Wesche, Maximilian ; Decke, Hendrik | Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles | Konferenzbeitrag Inproceedings | 2020 |
| 8 | | Kain, Tobias ; Tompits, Hans ; Müller, Julian-Steffen ; Wesche, Maximilian ; Martinez Flores, Yael Abelardo ; Decke, Hendrik | Optimizing the Placement of Applications in Autonomous Vehicles | Konferenzbeitrag Inproceedings | 2020 |
| 9 | | Kain, Tobias ; Tompits, Hans ; Müller, Julian-Steffen ; Mundhenk, Philipp ; Wesche, Maximilian ; Decke, Hendrik | Fdiro: A General Approach for a Fail-Operational System Design | Konferenzbeitrag Inproceedings | 2020 |
| 10 | | Geibinger, Tobias ; Tompits, Hans | Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs | Konferenzbeitrag Inproceedings | 2019 |
| 11 | | Kain, Tobias ; Tompits, Hans | Uhura: An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language | Konferenzbeitrag Inproceedings | 2019 |
| 12 | | Pkhakadze, Sopo ; Tompits, Hans | A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur | Konferenzbeitrag Inproceedings | 2019 |
| 13 | | Pkhakadze, Sopo ; Tompits, Hans | A Gentzen-Type Calculus for Disjunctive Default Logic. | Konferenzbeitrag Inproceedings | 2019 |
| 14 | | Marinkovic, Vedran ; Tompits, Hans | On Translating Multi-Modal Logics to Quantified Propositional Logic | Konferenzbeitrag Inproceedings | 2019 |
| 15 | | Pavlovic, Sanja ; Tompits, Hans | A Tableau Calculus for a Multi-modal Logic of Dishonesty | Konferenzbeitrag Inproceedings | 2018 |
| 16 | | Fang, Min ; Tompits, Hans | An Approach for Representing Answer Sets in Natural Language | Konferenzbeitrag Inproceedings | 2018 |
| 17 | | Tompits, Hans ; Fang, Min | An Approach for Representing Answer Sets in Natural Language | Konferenzbeitrag Inproceedings | 2017 |
| 18 | | Greßler, Alexander ; Oetsch, Johannes ; Tompits, Hans | $$\mathsf {Harvey}$$ : A System for Random Testing in ASP | Konferenzbeitrag Inproceedings | 2017 |
| 19 | | Kiesl, Benjamin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? | Konferenzbeitrag Inproceedings | 2017 |
| 20 |  | Kiesl, Benjamin ; Suda, Martin ; Seidl, Martina ; Tompits, Hans ; Biere, Armin | Blocked Clauses in First-Order Logic | Inproceedings Konferenzbeitrag   | 2017 |
