Horst F. Wedde

Available identifiers

zbMath Open wedde.horst-fMaRDI QIDQ1329096

List of research outcomes

Publication	Date of Publication	Type
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4472233	2004-08-04	Paper
How and where do we live in virtual reality and cyberspace —Threats and Potentials	2003-03-18	Paper
Formal timing analysis for distributed real-time programs	1994-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3809246	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3785930	1987-01-01	Paper
An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives	1983-01-01	Paper
Modeling a solution for a control problem in distributed systems by restrictions	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3883470	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3892129	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907469	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4187304	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4174216	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4152084	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4105765	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4055208	1975-01-01	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: Horst F. Wedde