Reinhard von Hanxleden

Available identifiers

zbMath Open von-hanxleden.reinhardMaRDI QIDQ2075764

List of research outcomes

Publication	Date of Publication	Type
Logic meets algebra: compositional timing analysis for synchronous reactive multithreading	2023-08-02	Paper
Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022)	2022-09-09	Paper
10 reasons to get interested in graph drawing	2022-02-16	Paper
Deterministic concurrency: a clock-synchronised shared memory approach	2019-09-13	Paper
Generalized Layerings for Arbitrary and Fixed Drawing Areas	2017-10-12	Paper
Multithreaded Reactive Programming—the Kiel Esterel Processor	2017-07-12	Paper
A Generalization of the Directed Graph Layering Problem	2017-02-21	Paper
Compact Layered Drawings of General Directed Graphs	2017-02-21	Paper
Size- and Port-Aware Horizontal Node Coordinate Assignment	2017-02-10	Paper
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency	2015-06-24	Paper
Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java	2015-04-15	Paper
Grounding Synchronous Deterministic Concurrency in Sequential Programming	2014-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q3139381	1994-09-20	Paper
Correctness and determinism of parallel Monte Carlo processes	1992-06-28	Paper

Research outcomes over time

This page was built for person: Reinhard von Hanxleden