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.
3082 Entries
2023
-
Network Satisfaction Problems Solved by k-Consistency , 2023, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). p. 116:1-116:20, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
On the Abstract Expressive Power of Description Logics with Concrete Domains , 2023, Proceedings of the 36th International Workshop on Description Logics. Ozaki, A., Lutz, C. & Kutz, O. (eds.). CEUR-WS.org, Vol. 3515Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Partial Optimality in Cubic Correlation Clustering. , 2023, ICML. Vol. 202. p. 32598-32617, 20 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Performance Estimation and Prototyping of Reconfigurable Near-Memory Computing Systems , 2023, Proceedings - 2023 33rd International Conference on Field-Programmable Logic and Applications, FPL 2023. Mentens, N., Mentens, N., Sousa, L., Trancoso, P., Papadopoulou, N. & Sourdis, I. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 357-358, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
PNRG – A Library for Modeling Variable Structure Energy Gridsin Modelica using Energetic Petri Nets , 2023, Proceedings of the 15th International Modelica Conference 2023, Aachen, October 9-11. Linköping, Univ., p. 727 - 736, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
PraxisCheckUnterricht: 360° Videografie und immersive Unterrichtsreflexion , 2023, Workshops der 21. Fachtagung Bildungstechnologien (DELFI): Bildungstechnologien in der Schule. Gesellschaft für Informatik e.V., p. 31-38, 7 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Pushing the Limits of an FCN and A CRF Towards Near-Ideal Vertebrae Labelling. , 2023, 2023 IEEE 20th International Symposium on Biomedical Imaging (ISBI), Cartagena, Colombia. p. 1-5, 5 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Revision of the AIG Software Toolkit: A Contribute to More User Friendliness and Algorithmic Efficiency , 2023, Proceedings of the 15th International Conference on Computer Supported Education. SCITEPRESS - Science and Technology Publications, Vol. 2Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Secure and Dynamic Publish/Subscribe: LCMsec , 2023, 2023 IEEE 98th Vehicular Technology Conference, VTC 2023-Fall - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1-7Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Securing the Execution of ML Workflows across the Compute Continua , 2023, 8 p.Research output: Contribution to conferences > Paper
-
Semi-automatic Generation of Historical Urban 3D Models at a Larger Scale Using Structure-from-Motion, Neural Rendering and Historical Maps , 2023, UHDL 2023: Research and Education in Urban History in the Age of Digital Libraries . p. 107-127Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Seminarkonzept zur fachlichen und fachdidaktischen Qualifizierung von Informatiklehramtsstudierenden zum Maschinellen Lernen , 2023, 10. Fachtagung Hochschuldidaktik Informatik (HDI) 2023. Gesellschaft fur Informatik (GI), Vol. 10. p. 65-74, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Seminar zur informatischen Bildung in der Grundschule , 2023, 10. Fachtagung Hochschuldidaktik Informatik (HDI) 2023. Desel, J. & Opel, S. (eds.). FernUniversität in Hagen, p. 75-85, 11 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
SinClave: Hardware-assisted Singletons for TEEs , 2023, p. 85-97, 13 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Special Session: Mitigating Side-Channel Attacks Through Circuit to Application Layer Approaches , 2023, Proceedings - 2023 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2023. Institute of Electrical and Electronics Engineers Inc., p. 8-17, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks , 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (eds.). Springer, Cham, p. 401-421, 21 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata , 2023, Proceedings of the 36th International Workshop on Description Logics (DL'23). CEUR-WS.orgResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Triad: Trusted Timestamps in Untrusted Environments , 2023, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
-
Usage of Self-Motivating Achievements to Collect Accessibility Information of Indoor Environments. , 2023, International Conference on Human-Computer Interaction. Springer Nature Switzerland, Dortrecht [u. a.], p. 477-488, 12 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Validierung von Lernergebnissen: Entstehung und Entwicklung in Europa und darüber hinaus. , 2023, Handbuch Validierung non-formal und informell erworbener Kompetenzen: Disziplinäre, theoretische und konzeptionelle Zugänge. Schmid, M. (ed.). Bielefeld: wbv Media GmbH & Co. KG, p. 53-70Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Voice Assistant-Based Cognitive Behavioral Therapy for Test Anxiety in Students , 2023, Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III. Kurosu, M. & Hashizume, A. (eds.). Springer Nature Switzerland, Dortrecht [u. a.], p. 396-406, 11 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Vorgehensweise zur Implementation von datenbasierten Assistenzsystemen , 2023, Scientific Reports. Mittweida: Hochschule Mittweida, University of Applied Science, Vol. 1/2023Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/anthology/report
-
Welcome Message from the Chairs , 2023, 2023 IEEE International Conference on Omni-Layer Intelligent Systems, COINS 2023. p. 1Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Foreword/postscript
-
Welcome to the Third International Workshop on Requirements Engineering for Explainable Systems (RE4ES) , 2023, Proceedings - 31st IEEE International Requirements Engineering Conference Workshops, REW 2023. Schneider, K., Dalpiaz, F. & Horkoff, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 307-308, 2 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
What to Do Next? An Activity Scheduling Schema for Social Assistance Robots for Older Adults , 2023, Human Aspects of IT for the Aged Population - 9th International Conference, ITAP 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings. Gao, Q. & Zhou, J. (eds.).p. 288–306, 19 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution