( en | de | ru )

 

Disambiguation of "Guttag, John"

Author of the publication

copydeleteadd this publication to your clipboard
Abstraction and specification in program development

, and . MIT Press, (1986)

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.

Roswitha John

Shincy John

Jinu Mulamoottil John

Aaron Michael Johnson

Jasmine Elizabeth Pearl John

 

Other publications of authors with the same name

Abstraction and specification in program development, and . MIT Press, (1986)A brief introduction to CLU. The Second ACM SIGPLAN Conference on History of Programming Languages April 20 -- 23, 1993, Cambridge, United States, page 351--352. New~York, ACM, Association for Computing Machinery, (1993)Using Transformations and Verification in Circuit Design., , , and . Larch, page 201-226. Springer, (1992)Tyche: Stochastic In-Context Learning for Medical Image Segmentation., , , , , and . CoRR, (2024)At the Intersection of Deep Learning and Conceptual Art: The End of Signature., , , , and . CoRR, (2022)Proof Rules for the Programming Language Euclid., , , , , and . Program Construction, volume 69 of Lecture Notes in Computer Science, page 133-163. Springer, (1978)Data augmentation using learned transforms for one-shot medical image segmentation., , , , and . CoRR, (2019)Leveraging hierarchy in medical codes for predictive modeling., , , and . BCB, page 96-103. ACM, (2014)Anatomical Predictions using Subject-Specific Medical Data., , and . CoRR, (2020)When and Why Test-Time Augmentation Works., , , and . CoRR, (2020)