Walter Kuhn
Orcid: 0000-0001-9769-8027
According to our database1,
Walter Kuhn
authored at least 7 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
IEEE Trans. Dependable Secur. Comput., 2023
2000
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.
Proceedings of the Computer Safety, 2000
1999
1996
The Basel Tool Suite for parallel processing.
Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996
Proceedings of the High-Performance Computing and Networking, 1996
1995
Support for Software Reuse and Teaching: The Basel Algorithm Library BALI.
Proceedings of the Parallel Computing: State-of-the-Art and Perspectives, 1995
1993
Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant Processes.
Proceedings of the 12th International Conference on Computer Safety, 1993