Not finding it? Sign in to also search OpenAlex live.
-
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Logic, programming, and type systems
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
4citations -
Fehlerquellen beim fachspezifischen Lesen im Informatikunterricht: Analyse von Schwierigkeiten von Schüler:innen beim Lesen und Interpretieren grafischer Darstellungen von Algorithmen am Beispiel von ikonischen Darstellungen und Programmablaufplänen0citations
-
An Architecture of a NOA-Based Secure Internet of Things Edge Gateway2025 IEEE International Conference on Industrial Cyber-Physical Systems (ICPS) conference-paper Computer Science IoT and Edge/Fog Computing
Yuanchen Zhao, Heiko Schoon, Benedikt Schmetz, Torben Miny, Patrick Felke, Tobias Kleinert
0citations -
A pre-expectation calculus for probabilistic sensitivity2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
24citations -
Designing Super-Functional Virtual Arms for Quantitative Embodiment Research with Children in Virtual Reality2026 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) conference-paper Computer Science Virtual Reality Applications and Impacts
Yuke Pi, Marco Fyfe Pietro Gillies, Leif Johannsen, Dorothy A. Cowie, Xueni Pan
0citations
17 results