Reinhard von Hanxleden

MaRDI QIDQ2075764zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Logic meets algebra: compositional timing analysis for synchronous reactive multithreading Lecture Notes in Computer Science	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 Journal of Graph Algorithms and Applications	2017-10-12	Paper
Multithreaded Reactive Programming—the Kiel Esterel Processor IEEE Transactions on Computers	2017-07-12	Paper
A generalization of the directed graph layering problem Lecture Notes in Computer Science	2017-02-21	Paper
Compact layered drawings of general directed graphs Lecture Notes in Computer Science	2017-02-21	Paper
Size- and port-aware horizontal node coordinate assignment Lecture Notes in Computer Science	2017-02-10	Paper
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency Acta Informatica	2015-06-24	Paper
Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java Computing	2015-04-15	Paper
Grounding synchronous deterministic concurrency in sequential programming Programming Languages and Systems	2014-04-16	Paper
scientific article; zbMATH DE number 434580 (Why is no real title available?)	1994-09-20	Paper
Correctness and determinism of parallel Monte Carlo processes Parallel Computing	1992-06-28	Paper

Research outcomes over time

This page was built for person: Reinhard von Hanxleden