Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Guttag, J.V.
136  Ergebnisse:
Personensuche X
?
1

SMART--An Integrated Wireless System for Monitoring Unatten..:

Curtis, D. W. ; Pino, E. J. ; Bailey, J. M....
Journal of the American Medical Informatics Association.  15 (2008)  1 - p. 44-53 , 2008
Link: https://doi.org/10.1197/..
 
?
2

Inductive methods for reasoning about abstract data types:

, In: Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Garland, S.J. ; Guttag, J. V. - p. 219-228 , 1988
Link: https://dl.acm.org/doi/1..
 
?
3

A Larch Shared Language handbook:

Guttag, J.V. ; Horning, J.J.
Science of Computer Programming.  6 (1986)  - p. 135-157 , 1986
Link: https://doi.org/10.1016/..
 
?
4

Abstracts in software engineering:

Guttag, J. V. ; Horning, J. J. ; Wing, J. M.
ACM SIGSOFT Software Engineering Notes.  11 (1986)  1 - p. 103-110 , 1986
Link: https://dl.acm.org/doi/1..
 
?
5

Report on the larch shared language:

Guttag, J.V. ; Horning, J.J.
Science of Computer Programming.  6 (1986)  - p. 103-134 , 1986
Link: https://doi.org/10.1016/..
 
?
6

The Larch Family of Specification Languages:

Guttag, J.V. ; Horning, J.J. ; Wing, J.M.
IEEE Software.  2 (1985)  5 - p. 24-36 , 1985
Link: https://doi.org/10.1109/..
 
?
7

On Proving Uniform Termination and Restricted Termination o..:

Guttag, J. V. ; Kapur, D. ; Musser, D. R.
SIAM Journal on Computing.  12 (1983)  1 - p. 189-214 , 1983
Link: https://doi.org/10.1137/..
 
?
8

Program Construction 

International Summer School  Lecture Notes in Computer Science ; 69;SpringerLink, Bücher
Bauer, Friedrich L. ; Partsch, H. ; Pepper, P.... , 1979
Link: https://doi.org/10.1007/..
 
?
9

Proof rules for the programming language Euclid:

London, R.L. ; Guttag, J.V. ; Horning, J.J....
Acta Informatica.  10 (1978)  1 - p. , 1978
Link: https://doi.org/10.1007/..
 
?
10

The algebraic specification of abstract data types:

Guttag, J.V. ; Horning, J.J.
Acta Informatica.  10 (1978)  1 - p. , 1978
Link: https://doi.org/10.1007/..
 
?
11

Python gengo ni yoru puroguramingu intorodakushon: dai 3-ha.. 

Sekai hyōjun MIT kyōkasho
Guttag, John V ; Kubo, Mikio ; Asō, Toshimasa - Shohan . , 2023
Link: https://search.ebscohost..
 
?
12

Acoustic Voice and Speech Biomarkers of Treatment Status du..:

Murton, Olivia M. ; Dec, G. William ; Hillman, Robert E....
Applied Sciences.  13 (2023)  3 - p. 1827 , 2023
Link: https://doi.org/10.3390/..
 
?
13

Predicting outcomes in patients with aortic stenosis using ..:

Namasivayam, Mayooran ; Myers, Paul D ; Guttag, John V...
Open Heart.  9 (2022)  1 - p. e001990 , 2022
Link: https://doi.org/10.1136/..
 
?
14

Do as AI say: susceptibility in deployment of clinical deci..:

Gaube, Susanne ; Suresh, Harini ; Raue, Martina...
npj Digital Medicine.  4 (2021)  1 - p. , 2021
Link: https://doi.org/10.1038/..
 
?
15

Painting Many Pasts: Synthesizing Time Lapse Videos of Pain..:

, In: 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR),
Zhao, Amy ; Balakrishnan, Guha ; Lewis, Kathleen M.... - p. 8432-8442 , 2020
Link: https://doi.org/10.1109/..
 
1-15