( en | de | ru )

 

Disambiguation of "Guttag, John V."

Author of the publication

copydeleteadd this publication to your clipboard
Sequential Multi-Dimensional Self-Supervised Learning for Clinical Time Series.

, , , , and . ICML, volume 202 of Proceedings of Machine Learning Research, page 28531-28548. PMLR, (2023)

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.

V Saile

V Geoffroy

V Adams

V Ustinov

V Fendrich

 

Other publications of authors with the same name

Computer-Assisted Simulation Proofs, , , , and . PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, ELOUNDA, GREECE, VOLUME 697 OF LECTURE, page 305--319. Springer Verlag, (1993)Debugging Larch Shared Language Specifications., , and . IEEE Trans. Software Eng., 16 (9): 1044-1057 (1990)Notes on Type Abstraction (Version 2).. IEEE Trans. Software Eng., 6 (1): 13-23 (1980)Some Notes on Putting Formal Specifications to Productive Use., , and . Sci. Comput. Program., 2 (1): 53-68 (1982)Abstract Data Type and the Development of Data Structures.. Commun. ACM, 20 (6): 396-404 (1977)Larch: Languages and Tools for Formal Specification, , , , , and . Texts and Monographs in Computer Science Springer, (1993)An Overview of Larch., , and . Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture Notes in Computer Science, page 329-348. Springer, (1993)Prototypical Biological Signals., and . ICASSP (1), page 397-400. IEEE, (2007)A few Remarks on Putting Formal Specifications to Productive Use.. Program Specification, volume 134 of Lecture Notes in Computer Science, page 370-380. Springer, (1981)Painting Many Pasts: Synthesizing Time Lapse Videos of Paintings., , , , , and . CVPR, page 8432-8442. Computer Vision Foundation / IEEE, (2020)