PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Wood, Thomas"

Author of the publication

copydeleteadd this publication to your clipboard
JaVerT: JavaScript verification toolchain.

, , , , and . Proc. ACM Program. Lang., 2 (POPL): 50:1-50:33 (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dylan Marx Wood University of Stuttgart

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)

Univ. -Prof. Dr. Thomas Graf University of Stuttgart

Efficient delivery of sub-ps laser pulses with pulse energies exceeding 100 µJ at average powers of up to 95 W through a hollow-core fiber, , , and . Applied Physics B, 131 (9): 177 (Aug 25, 2025)

Ph. D. Thomas Günther University of Stuttgart

Thomas Bauernhansel

 

Other publications of authors with the same name

JSExplain: A Double Debugger for JavaScript., , and . WWW (Companion Volume), page 691-699. ACM, (2018)JaVerT: JavaScript verification toolchain., , , , and . Proc. ACM Program. Lang., 2 (POPL): 50:1-50:33 (2018)Solving a file assignment problem with a genetic plan.. ACM Southeast Regional Conference, page 260. ACM, (1982)Local exhaustive testing: a software reliability tool., , and . ACM Southeast Regional Conference, page 77-84. ACM, (1992)A Trusted Mechanised Specification of JavaScript: One Year On., , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 3-10. Springer, (2015)Telco clouds and Virtual Telco: Consolidation, convergence, and beyond., , , and . Integrated Network Management, page 982-988. IEEE, (2011)Overview., and . Bell Labs Technical Journal, 15 (4): 1-3 (2011)A generalized supervisor for a time-shared operating system.. AFIPS Fall Joint Computing Conference, volume 31 of AFIPS Conference Proceedings, page 209-214. AFIPS / ACM / Thomson Book Company, Washington D.C., (1967)Nonlocal and Light Cone Dynamics Emergent from Information-Propagating Complete Graph.. Complex Systems, (2018)Cloud Computing: New Opportunities for Telecom Providers., and . Bell Labs Technical Journal, 17 (2): 1-3 (2012)