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.
3180 Entries
2023
-
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, Proceedings of the 40th International Conference on Machine Learning. 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
-
Pruning and Early-Exit Co-Optimization for CNN Acceleration on FPGAs , 2023, 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. Institute of Electrical and Electronics Engineers Inc.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
-
Shisha: Online Scheduling of CNN Pipelines on Heterogeneous Architectures , 2023, Parallel Processing and Applied Mathematics - 14th International Conference, PPAM 2022, Revised Selected Papers. Wyrzykowski, R., Dongarra, J., Deelman, E. & Karczewski, K. (eds.). Springer Science and Business Media B.V., p. 249-262, 14 p.Electronic (full-text) versionResearch 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
-
Special Session-Non-Volatile Memories: Challenges and Opportunities for Embedded System Architectures with Focus on Machine Learning Applications , 2023, Proceedings - 2023 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2023. Institute of Electrical and Electronics Engineers Inc., p. 11-20, 10 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
SpiNNaker2: A Large-Scale Neuromorphic System for Event-Based and Asynchronous Machine Learning , 2023, First Workshop on Machine Learning with New Compute ParadigmsElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
-
STAMP-Rust: Language and Performance Comparison to C on Transactional Benchmarks , 2023, Benchmarking, Measuring, and Optimizing - 14th Bench Council International Symposium, Bench 2022, Revised Selected Papers. Gainaru, A., Zhang, C. & Luo, C. (eds.). Springer Science and Business Media B.V., p. 160-175, 16 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