Thomas Meyer

Publication Activity (10 Years)

Years Active: 1997-2004
Publications (10 Years): 0

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Thomas Meyer, Burkhart Wolff
Tactic-Based Optimized Compilation of Functional Programs. TYPES (2004)
Renate Klempien-Hinrichs, Thomas Meyer, Caroline von Totth
Collage Grammars for Collision-Free Growing of Objects in 3D Scenes. AGTIVE (2003)
Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT (1997)