Concepedia

Thilo Gaul

TG

Statistics

Publications

4

Citations

151

H-Index

4

Active since

1985

Affiliations

Draper Laboratory(Current)

Thilo Gaul is an author at Draper Laboratory specializing in operations research, quantitative management, and parallel computing.

Top concepts

Publications per year

1985–2002

4

Publications

4

Sequential decision procedures for batching and balancing in FMSs

Cynthia Kolb Whitney, Thilo Gaul · Annals of Operations Research · 1985 · 68 citations

, , +9

On the Construction of Correct Compiler Back-Ends: An ASM-Approach.

Wolf Zimmermann, Thilo Gaul · Zenodo (CERN European Organization for Nuclear Research) · 1997 · 38 citations · Full text

Foundations of Fast Communication via XML

Welf Löwe, Markus L. Noga, Thilo Gaul · Annals of Software Engineering · 2002 · 27 citations

ASM-based Mechanized Verification of Compiler Back-Ends.

Axel Dold, Thilo Gaul, Vincent Vialard et al. · 1998 · 18 citations

1–4 of 4