Sönke Magnussen

According to our database1, Sönke Magnussen authored at least 5 papers between 2000 and 2003.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
Mechanizing the transformation of higher order algebraic specifications for the development of software systems.
PhD thesis, 2003

Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.
Proceedings of the Software Engineering Research and Applications, 2003

2001
Computer Aided Fusion for Algebraic Program Derivation.
Nord. J. Comput., 2001

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

2000
Transformational derivation of a bytecode verifier.
Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000


  Loading...