Horst F. Wedde

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
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Lecture Notes in Computer Science	2006-07-07	Paper
scientific article; zbMATH DE number 2080045 (Why is no real title available?)	2004-08-04	Paper
How and where do we live in virtual reality and cyberspace —Threats and Potentials Rendiconti del Seminario Matematico e Fisico di Milano	2003-03-18	Paper
Formal timing analysis for distributed real-time programs Real-Time Systems	1994-06-29	Paper
scientific article; zbMATH DE number 4078781 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4049034 (Why is no real title available?)	1987-01-01	Paper
An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives Theoretical Computer Science	1983-01-01	Paper
Modeling a solution for a control problem in distributed systems by restrictions Theoretical Computer Science	1981-01-01	Paper
scientific article; zbMATH DE number 3688690 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3698797 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3717207 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3624780 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3609109 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3583645 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3529399 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3471620 (Why is no real title available?)	1975-01-01	Paper

Research outcomes over time

This page was built for person: Horst F. Wedde