Thomas Meyer

Affiliations:

University of Bremen, Germany

According to our database¹, Thomas Meyer authored at least 4 papers between 1997 and 2008.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2008

A framework for formal representation and transformational optimisation of executable specifications.

[BibT_eX]

[DOI]

Thomas Meyer

PhD thesis, 2008

2004

Tactic-Based Optimized Compilation of Functional Programs.

[BibT_eX]

[DOI]

Thomas Meyer

Burkhart Wolff

Proceedings of the Types for Proofs and Programs, International Workshop, 2004

2003

Collage Grammars for Collision-Free Growing of Objects in 3D Scenes.

[BibT_eX]

[DOI]

Renate Klempien-Hinrichs

Thomas Meyer

Caroline von Totth

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

1997

TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Thomas Meyer

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...