Robert H. B. Netzer

Available identifiers

zbMath Open netzer.robert-h-bMaRDI QIDQ202140

List of research outcomes

Publication	Date of Publication	Type
Detecting race conditions in parallel programs that use one semaphore	2023-01-18	Paper
Communication-based prevention of useless checkpoints in distributed computations	2020-12-03	Paper
Race-condition detection in parallel computation with semaphores (extended abstract)	2017-12-05	Paper
Detecting race conditions in parallel programs that use semaphores	2003-08-19	Paper
Deadlock-free incremental replay of message-passing programs	2002-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q4891917	1996-10-20	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: Robert H. B. Netzer