Person:2075764

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Reinhard von Hanxleden