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.
3023 Entries
2023
-
How Do OS and Application Schedulers Interact? An Investigation with Multithreaded Applications , 2023, Euro-Par 2023: Parallel Processing. Cano, J., Dikaiakos, M. D., Papadopoulos, G. A., Pericàs, M. & Sakellariou, R. (eds.). Cham: Springer Nature Switzerland, Dortrecht [u. a.], p. 214-228, 15 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
How to measure the accessibility maturity of organizations - A survey on accessibility maturity models for higher education. , 2023, In: Frontiers in Computer Science. 5Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Inclusive Data Visualization (Dagstuhl Seminar 23252). , 2023, In: Dagstuhl Reports. 13, 6, p. 81-105, 25 p., 6Electronic (full-text) versionResearch output: Contribution to journal > Research article
-
Informatische Kompetenzen (angehender) Grundschullehrkräfte sichtbar machen: Ein Messinstrument mit selbsteinschätzungs- und aufgabenbasierter Komponente , 2023, INFOS 2023 - Informatikunterricht zwischen Aktualität und Zeitlosigkeit. Hellmig, L. & Hennecke, M. (eds.). Bonn: Gesellschaft für Informatik e.V., p. 217-226, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
Maschinelles Lernen in der Sekundarstufe I erlebbar machen: Workshop-Konzept zur Entwicklung einer intelligenten Museumsapp , 2023, p. 429-430, 2 p.Electronic (full-text) versionResearch output: Contribution to conferences > Poster
-
Measuring Didactical Competencies for Informatics Education among Prospective Primary School Teachers , 2023, ISSEP 2023 : 16th international conference on informatics in schools. Local proceedings. Lausanne, p. 129-138, 10 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
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
-
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