Publications
Below you will find some information about the faculty's publications, which are provided by the research information system. In addition, you will find complete lists of publications on the websites of the respective institutes and chairs.
3545 Entries
2022
-
Model-based autotuning of discretization methods in numerical simulations of partial differential equations. , 1 Jan 2022, In: Journal of Computational Science. 2022, 57, 101489Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
On probability-raising causality in Markov decision processes , 1 Jan 2022, Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Bouyer, P. & Schröder, L. (eds.). Springer, Cham, Vol. 13242. p. 40-60, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Parallel Discrete Convolutions on Adaptive Particle Representations of Images , 1 Jan 2022, In: IEEE Transactions on Image Processing. 31, p. 4197-4212, 16 p., 9796006Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Sniffbots to the Rescue – Fog Services for a Gas-Sniffing Immersive Robot Collective , 1 Jan 2022, Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Proceedings. Montesi, F., Papadopoulos, G. A. & Zimmermann, W. (eds.). Springer, Cham, p. 3-28, 26 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Supporting Independent Travelling for People with Visual Impairments in Buildings by Harmonizing Maps on Embossed Paper and Pin-Matrix Devices for Accessible Info-Points. , 1 Jan 2022, Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings. Miesenberger, K., Kouroupetroglou, G., Mavrou, K., Manduchi, R., Covarrubias Rodriguez, M. & Penáz, P. (eds.).p. 143-152, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Visual analysis of hyperproperties for understanding model checking results , 1 Jan 2022, In: IEEE transactions on visualization and computer graphics. 2022, 28(1), p. 357–367, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Voice Assistant-Based CBT for Depression in Students: Effects of Empathy-Driven Dialog Management. , 1 Jan 2022, Computers Helping People with Special Needs - 18th International Conference, ICCHP-AAATE 2022, Proceedings. Miesenberger, K., Kouroupetroglou, G., Mavrou, K., Manduchi, R., Covarrubias Rodriguez, M. & Penáz, P. (eds.). Springer, Cham, p. 451-461, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
-
Applying Ecological Interface Design for Modular Plants: Safety-Demonstrator Case Study , Jan 2022, Computer Aided Chemical Engineering: 32nd European Symposium on Computer Aided Process Engineering. Elsevier Science B.V., Vol. 51. p. 1141-1146, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A 79 GHz Millimeter-Wave Receiver Frontend with High Linearity for Civil-Automotive Radars in a 22-nm FD-SOI CMOS Technology , 2022, 2022 Asia-Pacific Microwave Conference, APMC 2022 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 375-377, 3 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Framework for Intrinsic Evolvable Systems , 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, p. 458-459, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Aggregate-based Training Phase for ML-based Cardinality Estimation. , 2022, In: Datenbank-Spektrum. 22, 1, p. 45-57, 13 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
A Hybrid Memory/Accelerator Tile Architecture for FPGA-based RISC-V Manycore Systems , 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, p. 300-306, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Hybrid Scheduling Mechanism for Multi-programming in Mixed-Criticality Systems. , 2022, 2022 25th Euromicro Conference on Digital System Design (DSD). IEEE Xplore, p. 181-188, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
ALPHA: A Novel Algorithm-Hardware Co-design for Accelerating DNA Seed Location Filtering , 2022, IEEE Transactions on Emerging Topics in Computing . 3 ed., Vol. 10. p. 1464-1475, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
ALWars: Combat-Based Evaluation of Active Learning Strategies , 2022, Advances in Information Retrieval - 44th European Conference on IR Research, ECIR 2022, Stavanger, Norway, April 10-14, 2022, Proceedings,. Hagen, M., Verberne, S., Macdonald, C., Seifert, C., Balog, K., Nørvåg, K. & Setty, V. (eds.).p. 294-299, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
An Agile Tile-based Platform for Adaptive Heterogeneous Many-Core Systems , 2022, p. 1-4Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
An efficient RNN Language Model using activity sparsity and sparse back-propagation through time , 2022, The 2nd Workshop on Efficient Natural Language and Speech Processing (NeurIPS 2022 Workshop)Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A New Dimension to Generalization: Computing Temporal EL Concepts from Positive Examples (Extended Abstract) , 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022. CEUR-WS.orgElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog , 2022, Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Governatori, G. & Turhan, A. (eds.). Springer Science and Business Media B.V., p. 146-163, 18 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Application Specific Instruction-Set Processors for Machine Learning Applications , 2022, FPT 2022 - 21st International Conference on Field-Programmable Technology, Proceedings. Institute of Electrical and Electronics Engineers Inc., 4 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Practical Account into Counting Dung’s Extensions by Dynamic Programming , 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.).p. 387-400, 14 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A pragmatic methodical framework for the user-centred development of an electronic process support for the sleep laboratory patients' management , 2022, In: Digital health. 8, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Automating Reasoning with Standpoint Logic via Nested Sequents , 2022, Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR'22). Kern-Isberner, G., Lakemeyer, G. & Meyer, T. (eds.). IJCAI Organization, p. 257–266, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
A Versatile Mapping Approach for Technology Mapping and Graph Optimization , 2022, 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC). IEEE, New York [u. a.], p. 410-416, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling , 2022, Proceedings of the 2022 USENIX Annual Technical Conference, ATC 2022. USENIX Association, p. 249-262, 14 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution