Publications

2021

• Shared antithetic integral control for dynamic cell populationsDuso, L., Bianucci, T. & Zechner, C., 2021, 60th IEEE Conference on Decision and Control, CDC 2021. Institute of Electrical and Electronics Engineers Inc., p. 2053-2058, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description LogicsKoopmann, P., 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Main Track. Zhou, Z. (ed.). AAAI Press, p. 1929-1935, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract)Koopmann, P., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021). CEUR-WSResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Signature-Based ABox Abduction in ALC is HardKoopmann, P., 2021, Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). CEUR-WS, Vol. 3009. p. 61-74, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Simplicity Done Right for Join Ordering.Hertzschuch, A., Hartmann, C., Habich, D. & Lehner, W., 2021Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Small Selectivities Matter: Lifting the Burden of Empty SamplesHertzschuch, A., Moerkotte, G., Lehner, W., May, N., Wolf, F. & Fricke, L., 2021, SIGMOD '21: Proceedings of the 2021 International Conference on Management of Data. Association for Computing Machinery, Inc, p. 697-709, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Standpoint Logic: Multi-Perspective Knowledge RepresentationÁlvarez, L. G. & Rudolph, S., 2021, Proceedings of the 12th International Conference (FOIS 2021) Frontiers in Artificial Intelligence and Applications. Neuhaus, F. & Brodaric, B. (eds.). IOS Press, Amsterdam [u. a.], Vol. 3344. p. 3 - 17, 15 p., (Frontiers in Artificial Intelligence and Applications)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Supertagging-based Parsing with Linear Context-free Rewriting SystemsRuprecht, T. & Mörbitz, R., 2021, Proceedings of the 2021 Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. p. 2923-2935, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The OpenPME Problem Solving Environment for Numerical SimulationsKhouzami, N., Schütze, L., Incardona, P., Kraatz, L., Subic, T., Castrillon, J. & Sbalzarini, I. F., 2021, Computational Science – ICCS 2021: 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I. Paszynski, M., Kranzlmüller, D., Krzhizhanovskaya, V. V., Dongarra, J. J. & Sloot, P. M. (eds.). Springer, Berlin [u. a.], p. 614-627, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• The Price of Selfishness: Conjunctive Query Entailment for ALC_Self is 2ExpTime-hard (Extended Abstract)Bednarczyk, B. & Rudolph, S., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021): part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Porting Hardware-Oblivious Vectorized Query Operators to GPUsFett, J., Ungethüm, A., Habich, D. & Lehner, W., 2021, Proceedings of the 32nd GI-Workshop Grundlagen von Datenbanken: Online Event, Germany, September 01-03, 2021. Vol. 3075. 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Reverse Engineering Temporal Queries: Generalizing EL Concepts with Next and GlobalTirtarasa, S. & Turhan, A., 2021, Informal proceedings of the Stream Reasoning Workshop. Valle, E. D., Eiter, T., Phuoc, D. L. & Schekotihin, K. (eds.).Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Towards Ubiquitous Low-power Image Processing PlatformsJahre, M., Göhringer, D. & Millet, P., 2021, Springer International Publishing AG, 266 p.Electronic (full-text) versionResearch output: Book/Report/Anthology > Monograph
• TraceVis: Towards Visualization for Deep Statistical Model CheckingGros, T. P., Groß, D., Gumhold, S., Hoffmann, J., Klauck, M. & Steinmetz, M., 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media B.V., p. 27-46, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• TU_DBS in the ARQMath Lab 2021, CLEFReusch, A., Thiele, M. & Lehner, W., 2021, Proceedings of the Working Notes of CLEF 2021 - Conference and Labs of the Evaluation Forum, Bucharest, Romania, September 21st - to - 24th, 2021. p. 107-124, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Two Ways of Explaining Negative Entailments in Description Logics Using AbductionKoopmann, P., 2021, Informal Proceedings of the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR-2021): co-located with the 18th international Conference on Principles of Knowledge Representation and Reasoning (KR-2021)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• User Tracking and ReidentificationSommer, C., 2021, Encyclopedia of Cryptography, Security and Privacy. Jajodia, S., Samarati, P. & Yung, M. (eds.). 3 ed., Springer, p. 1-3, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• Using Monte Carlo Tree Search for EDA - A Case-study with Designing Cross-layer Reliability for Heterogeneous Embedded Systems.Sahoo, S. S. & Kumar, A., 2021, Proceedings of the 2021 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021. p. 1-6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Vector processing unit: A RISC-V based SIMD Co-processor for Embedded ProcessingAli, M., Von Ameln, M. & Göhringer, D., 2021, p. 30-34, 5 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• Weil informatische Bildung nicht erst in der Sekundarstufe beginnen darf: Integration informatischer Bildung ins GrundschullehramtsstudiumNenner, C., Damnik, G. & Bergner, N., 2021, INFOS 2021 – 19. GI-Fachtagung Informatik und Schule. Humbert, L. (ed.). Gesellschaft für Informatik, Bonn, p. 103-112, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Wormhole computing in networks-on-chipRettkowski, J. & Gohringer, D., 2021, Proceedings - 2021 31st International Conference on Field-Programmable Logic and Applications, FPL 2021. Institute of Electrical and Electronics Engineers Inc., p. 273-274, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2020

• Operating systems for reconfigurable computing: Concepts and surveyWulf, C., Willig, M., Akgün, G. & Göhringer, D., 15 Dec 2020, Towards Ubiquitous Low-power Image Processing Platforms. Jahre, M., Göhringer, D. & Millet, P. (eds.). Cham: Springer International Publishing, p. 61-78, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• PrefaceJahre, M., Göhringer, D. & Millet, P., 15 Dec 2020, Towards Ubiquitous Low-power Image Processing Platforms. Springer International Publishing, p. v-viElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/Postscript
• FuseVis: Interpreting Neural Networks for Image Fusion Using Per-Pixel Saliency VisualizationKumar, N. & Gumhold, S., 10 Dec 2020, In: Computers. 9, 4, 98Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Combined Selection and Parameter Control of Meta-heuristicsPukhkaiev, D., Semendiak, Y., Götz, S. & Aßmann, U., 4 Dec 2020, p. 3125-3132, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper