John V. Guttag

217 papers A* 41A 6B 2Misc 3Journal 104Unranked 57
YearRankTypeTitle / Venue / Authors
2026 J jnl
Medical Image Anal.
Marianne Rakic, Andrew Hoopes, S. Mazdak Abulnaga, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca
2026 J jnl
CoRR
Robert A. Lewis, Katie Matton, Rosalind W. Picard, John V. Guttag
2026 J jnl
CoRR
Zachary Berger, Daniel Prakah-Asante, John V. Guttag, Collin M. Stultz
2026 J jnl
CoRR
Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek
2026 J jnl
CoRR
Godfrey Tan, John V. Guttag
2026 J jnl
CoRR
Godfrey Tan, John V. Guttag
2025 J jnl
CoRR
Marianne Rakic, Andrew Hoopes, S. Mazdak Abulnaga, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca
2025 J jnl
CoRR
Katie Matton, Purvaja Balaji, Hamzeh Ghasemzadeh, Jameson C. Cooper, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, Rosalind W. Picard, John V. Guttag, S. Mazdak Abulnaga
2025 J jnl
CoRR
Divya Shanmugam, Shuvom Sadhuka, Manish Raghavan, John V. Guttag, Bonnie Berger, Emma Pierson
2025 A* conf
CVPR
S. Mazdak Abulnaga, Andrew Hoopes, Neel Dey, Malte Hoffmann, Bruce Fischl, John V. Guttag, Adrian V. Dalca
2025 J jnl
CoRR
S. Mazdak Abulnaga, Andrew Hoopes, Neel Dey, Malte Hoffmann, Marianne Rakic, Bruce Fischl, John V. Guttag, Adrian V. Dalca
2025 J jnl
CoRR
Marianne Rakic, Siyu Gai, Etienne Chollet, John V. Guttag, Adrian V. Dalca
2025 A* conf
CVPR
Divya Shanmugam, Helen Lu, Swami Sankaranarayanan, John V. Guttag
2025 J jnl
CoRR
Divya Shanmugam, Helen Lu, Swami Sankaranarayanan, John V. Guttag
2025 J jnl
CoRR
S. Mazdak Abulnaga, Andrew Hoopes, Malte Hoffmann, Robin Magnet, Maks Ovsjanikov, Lilla Zöllei, John V. Guttag, Bruce Fischl, Adrian V. Dalca
2025 A* conf
ICLR
Katie Matton, Robert Osazuwa Ness, John V. Guttag, Emre Kiciman
2025 J jnl
CoRR
Katie Matton, Robert Osazuwa Ness, John V. Guttag, Emre Kiciman
2024 A* conf
ICLR
Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca
2024 J jnl
CoRR
Hallee E. Wong, Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca
2024 conf
ECCV (40)
Hallee E. Wong, Marianne Rakic, John V. Guttag, Adrian V. Dalca
2024 J jnl
CoRR
Marianne Rakic, Hallee E. Wong, Jose Javier Gonzalez Ortiz, Beth A. Cimini, John V. Guttag, Adrian V. Dalca
2024 A* conf
CVPR
Marianne Rakic, Hallee E. Wong, Jose Javier Gonzalez Ortiz, Beth A. Cimini, John V. Guttag, Adrian V. Dalca
2024 J jnl
CoRR
Andrew Hoopes, Victor Ion Butoi, John V. Guttag, Adrian V. Dalca
2023 J jnl
CoRR
Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca
2023 conf
MLHC
Rajiv Movva, Divya Shanmugam, Kaihua Hou, Priya Pathak, John V. Guttag, Nikhil Garg, Emma Pierson
2023 J jnl
CoRR
Rajiv Movva, Divya Shanmugam, Kaihua Hou, Priya Pathak, John V. Guttag, Nikhil Garg, Emma Pierson
2023 conf
CHIL
Katie Matton, Robert Lewis, John V. Guttag, Rosalind W. Picard
2023 J jnl
CoRR
Emily Mu, Kathleen M. Lewis, Adrian V. Dalca, John V. Guttag
2023 A* conf
CHI
Harini Suresh, Divya Shanmugam, Tiffany L. Chen, Annie G. Bryan, Alexander D'Amour, John V. Guttag, Arvind Satyanarayan
2023 J jnl
CoRR
Emily Mu, John V. Guttag, Maggie Makar
2023 J jnl
CoRR
Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca
2023 conf
FAccT
Angie W. Boggust, Harini Suresh, Hendrik Strobelt, John V. Guttag, Arvind Satyanarayan
2023 A* conf
NeurIPS
Jose Javier Gonzalez Ortiz, John V. Guttag, Adrian V. Dalca
2023 J jnl
CoRR
Hallee E. Wong, Marianne Rakic, John V. Guttag, Adrian V. Dalca
2023 A* conf
ICML
Aniruddh Raghu, Payal Chandak, Ridwan Alam, John V. Guttag, Collin M. Stultz
2023 J jnl
CoRR
Aniruddh Raghu, Payal Chandak, Ridwan Alam, John V. Guttag, Collin M. Stultz
2023 A* conf
ICCV
Victor Ion Butoi, Jose Javier Gonzalez Ortiz, Tianyu Ma, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca
2023 J jnl
CoRR
Victor Ion Butoi, Jose Javier Gonzalez Ortiz, Tianyu Ma, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca
2022 J jnl
CoRR
Divya Shanmugam, Katie Lewis, Jose Javier Gonzalez Ortiz, Agnieszka Kurant, John V. Guttag
2022 J jnl
CoRR
Angie W. Boggust, Harini Suresh, Hendrik Strobelt, John V. Guttag, Arvind Satyanarayan
2022 conf
CHIL
Aniruddh Raghu, Divya Shanmugam, Eugene Pomerantsev, John V. Guttag, Collin M. Stultz
2022 J jnl
CoRR
Aniruddh Raghu, Divya Shanmugam, Eugene Pomerantsev, John V. Guttag, Collin M. Stultz
2022 J jnl
CoRR
Helen Lu, Divya Shanmugam, Harini Suresh, John V. Guttag
2022 A conf
IUI
Harini Suresh, Kathleen M. Lewis, John V. Guttag, Arvind Satyanarayan
2022 J jnl
CoRR
Andrew Hoopes, Malte Hoffmann, Douglas N. Greve, Bruce Fischl, John V. Guttag, Adrian V. Dalca
2022 J jnl
CoRR
Kathleen M. Lewis, John V. Guttag
2021 conf
EAAMO
Harini Suresh, John V. Guttag
2021 A* conf
ICCV
Divya Shanmugam, Davis W. Blalock, Guha Balakrishnan, John V. Guttag
2021 J jnl
npj Digit. Medicine
Susanne Gaube, Harini Suresh, Martina Raue, Alexander Merritt, Seth J. Berkowitz, Eva Lermer, Joseph F. Coughlin, John V. Guttag, Errol Colak, Marzyeh Ghassemi
2021 A* conf
ICML
Maggie Makar, Lauren West, David Hooper, Eric Horvitz, Erica Shenoy, John V. Guttag
2021 conf
IPMI
Andrew Hoopes, Malte Hoffmann, Bruce Fischl, John V. Guttag, Adrian V. Dalca
2021 J jnl
CoRR
Andrew Hoopes, Malte Hoffmann, Bruce Fischl, John V. Guttag, Adrian V. Dalca
2021 J jnl
CoRR
Harini Suresh, Kathleen M. Lewis, John V. Guttag, Arvind Satyanarayan
2021 J jnl
CoRR
Aniruddh Raghu, John V. Guttag, Katherine Young, Eugene Pomerantsev, Adrian V. Dalca, Collin M. Stultz
2021 conf
CHIL
Aniruddh Raghu, John V. Guttag, Katherine Young, Eugene Pomerantsev, Adrian V. Dalca, Collin M. Stultz
2021 A* conf
ICML
Davis W. Blalock, John V. Guttag
2021 J jnl
CoRR
Davis W. Blalock, John V. Guttag
2020 J jnl
CoRR
Marianne Rakic, John V. Guttag, Adrian V. Dalca
2020 A* conf
ICML
Maggie Makar, Fredrik D. Johansson, John V. Guttag, David A. Sontag
2020 conf
CHIL
Kathleen M. Lewis, Natalia S. Rost, John V. Guttag, Adrian V. Dalca
2020 A* conf
CVPR
Amy Zhao, Guha Balakrishnan, Kathleen M. Lewis, Frédo Durand, John V. Guttag, Adrian V. Dalca
2020 J jnl
CoRR
Amy Zhao, Guha Balakrishnan, Kathleen M. Lewis, Frédo Durand, John V. Guttag, Adrian V. Dalca
2020 J jnl
CoRR
Roshni Sahoo, Divya Shanmugam, John V. Guttag
2020 conf
MLSys
Davis W. Blalock, Jose Javier Gonzalez Ortiz, Jonathan Frankle, John V. Guttag
2020 J jnl
CoRR
Davis W. Blalock, Jose Javier Gonzalez Ortiz, Jonathan Frankle, John V. Guttag
2020 J jnl
CoRR
Divya Shanmugam, Davis W. Blalock, Guha Balakrishnan, John V. Guttag
2019 J jnl
CoRR
Harini Suresh, John V. Guttag
2019 J jnl
CoRR
Adrian V. Dalca, John V. Guttag, Mert R. Sabuncu
2019 A* conf
CVPR
Amy Zhao, Guha Balakrishnan, Frédo Durand, John V. Guttag, Adrian V. Dalca
2019 J jnl
CoRR
Amy Zhao, Guha Balakrishnan, Frédo Durand, John V. Guttag, Adrian V. Dalca
2019 J jnl
CoRR
Maggie Makar, Fredrik D. Johansson, John V. Guttag, David A. Sontag
2019 J jnl
CoRR
Ava P. Soleimany, Harini Suresh, Jose Javier Gonzalez Ortiz, Divya Shanmugam, Nil Gural, John V. Guttag, Sangeeta N. Bhatia
2019 A* conf
NeurIPS
Adrian V. Dalca, Marianne Rakic, John V. Guttag, Mert R. Sabuncu
2019 J jnl
CoRR
Adrian V. Dalca, Marianne Rakic, John V. Guttag, Mert R. Sabuncu
2019 conf
MLHC
Jose Javier Gonzalez Ortiz, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, John V. Guttag, Marzyeh Ghassemi
2019 conf
MLHC
Divya Shanmugam, Davis W. Blalock, John V. Guttag
2019 J jnl
CoRR
Adrian V. Dalca, John V. Guttag, Mert R. Sabuncu
2019 J jnl
CoRR
Adrian V. Dalca, Guha Balakrishnan, John V. Guttag, Mert R. Sabuncu
2019 J jnl
Medical Image Anal.
Adrian V. Dalca, Guha Balakrishnan, John V. Guttag, Mert R. Sabuncu
2019 A* conf
ICCV
Guha Balakrishnan, Adrian V. Dalca, Amy Zhao, John V. Guttag, Frédo Durand, William T. Freeman
2019 J jnl
CoRR
Guha Balakrishnan, Adrian V. Dalca, Amy Zhao, John V. Guttag, Frédo Durand, William T. Freeman
2019 J jnl
IEEE Trans. Medical Imaging
Guha Balakrishnan, Amy Zhao, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca
2018 A* conf
CVPR
Guha Balakrishnan, Amy Zhao, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca
2018 J jnl
CoRR
Guha Balakrishnan, Amy Zhao, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca
2018 A* conf
CVPR
Adrian V. Dalca, John V. Guttag, Mert R. Sabuncu
2018 J jnl
CoRR
Kathleen M. Lewis, Guha Balakrishnan, Natalia S. Rost, John V. Guttag, Adrian V. Dalca
2018 A* conf
KDD
Harini Suresh, Jen J. Gong, John V. Guttag
2018 J jnl
CoRR
Harini Suresh, Jen J. Gong, John V. Guttag
2018 A* conf
AAAI
Maggie Makar, John V. Guttag, Jenna Wiens
2018 conf
MLHC
Jen J. Gong, John V. Guttag
2018 J jnl
CoRR
Divya Shanmugam, Davis W. Blalock, Jen J. Gong, John V. Guttag
2018 J jnl
CoRR
Davis W. Blalock, Samuel Madden, John V. Guttag
2018 J jnl
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
Davis W. Blalock, Samuel Madden, John V. Guttag
2018 A* conf
CVPR
Guha Balakrishnan, Amy Zhao, Adrian V. Dalca, Frédo Durand, John V. Guttag
2018 J jnl
CoRR
Guha Balakrishnan, Amy Zhao, Adrian V. Dalca, Frédo Durand, John V. Guttag
2018 conf
MICCAI (1)
Adrian V. Dalca, Guha Balakrishnan, John V. Guttag, Mert R. Sabuncu
2018 J jnl
CoRR
Adrian V. Dalca, Guha Balakrishnan, John V. Guttag, Mert R. Sabuncu
2018 J jnl
CoRR
Dina Levy-Lambert, Jen J. Gong, Tristan Naumann, Tom J. Pollard, John V. Guttag
2018 J jnl
CoRR
Guha Balakrishnan, Amy Zhao, Mert R. Sabuncu, John V. Guttag, Adrian V. Dalca
2017 conf
MLHC
Ronnachai Jaroensri, Amy Zhao, Guha Balakrishnan, Derek Lo, Jeremy D. Schmahmann, Frédo Durand, John V. Guttag
2017 A* conf
KDD
Davis W. Blalock, John V. Guttag
2017 J jnl
CoRR
Davis W. Blalock, John V. Guttag
2017 J jnl
Commun. ACM
Neal Wadhwa, Hao-Yu Wu, Abe Davis, Michael Rubinstein, Eugene Shih, Gautham J. Mysore, Justin G. Chen, Oral Büyüköztürk, John V. Guttag, William T. Freeman, Frédo Durand
2017 J jnl
CoRR
Maggie Makar, John V. Guttag, Jenna Wiens
2017 A* conf
KDD
Jen J. Gong, Tristan Naumann, Peter Szolovits, John V. Guttag
2016 J jnl
CoRR
Ronnachai Jaroensri, Amy Zhao, Guha Balakrishnan, Derek Lo, Jeremy D. Schmahmann, John V. Guttag, Frédo Durand
2016 A* conf
KDD
Joel Brooks, Matthew Kerr, John V. Guttag
2016 A* conf
ICDM
Davis W. Blalock, John V. Guttag
2016 J jnl
CoRR
Davis W. Blalock, John V. Guttag
2016 J jnl
J. Mach. Learn. Res.
Jenna Wiens, John V. Guttag, Eric Horvitz
2016 A conf
INTERSPEECH
Jen J. Gong, Maryann Gong, Dina Levy-Lambert, Jordan R. Green, Tiffany P. Hogan, John V. Guttag
2016 conf
MLHC
Yun Liu, Collin M. Stultz, John V. Guttag, Kun-Ta Chuang, Fu-Wen Liang, Huey-Jen Su
2016 J jnl
CoRR
Yun Liu, Kun-Ta Chuang, Fu-Wen Liang, Huey-Jen Su, Collin M. Stultz, John V. Guttag
2016 conf
MLHC
Marzyeh Ghassemi, Zeeshan Syed, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, John V. Guttag
2016 J jnl
CoRR
Marzyeh Ghassemi, Zeeshan Syed, Daryush D. Mehta, Jarrad H. Van Stan, Robert E. Hillman, John V. Guttag
2016 J jnl
Stat. Anal. Data Min.
Joel Brooks, Matthew Kerr, John V. Guttag
2015 J jnl
IEEE Trans. Biomed. Eng.
Marzyeh Ghassemi, Jarrad H. Van Stan, Daryush D. Mehta, Matías Zanartu, Harold A. Cheyne II, Robert E. Hillman, John V. Guttag
2015 conf
ICCV Workshops
Amy Zhao, Frédo Durand, John V. Guttag
2015 J jnl
J. Biomed. Informatics
Anima Singh, Girish N. Nadkarni, Omri Gottesman, Stephen B. Ellis, Erwin P. Bottinger, John V. Guttag
2015 A* conf
KDD
Jen J. Gong, Thoralf M. Sundt, James D. Rawn, John V. Guttag
2015 J jnl
ACM Trans. Graph.
Guha Balakrishnan, Frédo Durand, John V. Guttag
2014 J jnl
J. Am. Medical Informatics Assoc.
Jenna Wiens, John V. Guttag, Eric Horvitz
2014 J jnl
IEEE Trans. Biomed. Eng.
Marzyeh Ghassemi, Jarrad H. Van Stan, Daryush D. Mehta, Matías Zanartu, Harold A. Cheyne II, Robert E. Hillman, John V. Guttag
2014 conf
BCB
Anima Singh, Girish N. Nadkarni, John V. Guttag, Erwin P. Bottinger
2013 A* conf
KDD
Gartheeban Ganeshapillai, John V. Guttag
2013 conf
HEALTHINF
Anima Singh, John V. Guttag
2013 A* conf
CVPR
Guha Balakrishnan, Frédo Durand, John V. Guttag
2013 conf
ICML (2)
Gartheeban Ganeshapillai, John V. Guttag, Andrew Lo
2012 J jnl
ACM Trans. Graph.
Hao-Yu Wu, Michael Rubinstein, Eugene Shih, John V. Guttag, Frédo Durand, William T. Freeman
2012 conf
NIPS
Jenna Wiens, John V. Guttag, Eric Horvitz
2012 J jnl
EURASIP J. Adv. Signal Process.
Gartheeban Ganeshapillai, John V. Guttag
2011 conf
EMBC
Anima Singh, John V. Guttag
2011 conf
EMBC
Ali H. Shoeb, Alaa Kharbouch, Jacqueline Soegaard, Steven Schachter, John V. Guttag
2011 conf
EMBC
Jenna Wiens, John V. Guttag
2011 conf
EMBC
Gartheeban Ganeshapillai, Jessica F. Liu, John V. Guttag
2011 J jnl
J. Mach. Learn. Res.
Zeeshan Syed, John V. Guttag
2011 conf
BIOSIGNALS
Gartheeban Ganeshapillai, John V. Guttag
2010 J jnl
IEEE J. Solid State Circuits
Naveen Verma, Ali H. Shoeb, Jose L. Bohorquez, Joel L. Dawson, John V. Guttag, Anantha P. Chandrakasan
2010 conf
NIPS
Jenna Wiens, John V. Guttag
2010 A* conf
ICML
Ali H. Shoeb, John V. Guttag
2010 conf
NIPS
Zeeshan Syed, John V. Guttag
2010 J jnl
ACM Trans. Knowl. Discov. Data
Zeeshan Syed, Collin M. Stultz, Manolis Kellis, Piotr Indyk, John V. Guttag
2009 A* conf
SIGCOMM
Asfandyar Qureshi, Rick Weber, Hari Balakrishnan, John V. Guttag, Bruce M. Maggs
2009 J jnl
J. Mach. Learn. Res.
Zeeshan Syed, Piotr Indyk, John V. Guttag
2009 J jnl
Int. J. Neural Syst.
Ali H. Shoeb, Trudy Pang, John V. Guttag, Steven Schachter
2009 Misc conf
ICASSP
Phil Sung, Zeeshan Syed, John V. Guttag
2009 A conf
MobiSys
Eugene Shih, Ali H. Shoeb, John V. Guttag
2009 J jnl
J. Ambient Intell. Smart Environ.
Dorothy Curtis, Jacob Bailey, Esteban J. Pino, Thomas O. Stair, Staal Amund Vinterbo, Jason Waterman, Eugene Shih, John V. Guttag, Robert A. Greenes, Lucila Ohno-Machado
2008 J jnl
J. Am. Medical Informatics Assoc.
Dorothy Curtis, Esteban J. Pino, Jacob Bailey, Eugene Shih, Jason Waterman, Staal Amund Vinterbo, Thomas O. Stair, John V. Guttag, Robert A. Greenes, Lucila Ohno-Machado
2008 conf
BODYNETS
Dorothy Curtis, Eugene Shih, Jason Waterman, John V. Guttag, Jacob Bailey, Thomas O. Stair, Robert A. Greenes, Lucila Ohno-Machado
2007 J jnl
IEEE Trans. Biomed. Eng.
Zeeshan Syed, Daniel Leeds, Daniel Curtis, Francesca Nesta, Robert A. Levine, John V. Guttag
2007 J jnl
EURASIP J. Adv. Signal Process.
Zeeshan Syed, John V. Guttag, Collin M. Stultz
2007 conf
ICASSP (1)
Zeeshan Syed, John V. Guttag
2006 B conf
CBMS
Zeeshan Syed, Daniel Leeds, Dorothy Curtis, John V. Guttag
2006 conf
EMBC
Elena L. Glassman, John V. Guttag
2006 conf
EMBC
Zeeshan Syed, Dorothy Curtis, John V. Guttag, Francesca Nesta, Robert A. Levine
2006 A* conf
ACM Multimedia
Asfandyar Qureshi, Jennifer N. Carlisle, John V. Guttag
2005 Misc conf
AMIA
Jason Waterman, Dorothy Curtis, Michel Goraczko, Eugene Shih, Pankaj Sarin, Esteban J. Pino, Lucila Ohno-Machado, Robert A. Greenes, John V. Guttag, Thomas O. Stair
2005 A conf
MobiSys
Asfandyar Qureshi, John V. Guttag
2005 A* conf
INFOCOM
Godfrey Tan, John V. Guttag
2004 Misc conf
SenSys
Eugene Shih, Vladimir Bychkovsky, Dorothy Curtis, John V. Guttag
2004 conf
ACM SIGOPS European Workshop
Godfrey Tan, John V. Guttag
2004 conf
USENIX ATC, General Track
Godfrey Tan, John V. Guttag
2003 conf
USENIX ATC, General Track
Godfrey Tan, Massimiliano Poletto, John V. Guttag, M. Frans Kaashoek
2002 B conf
LCN
Godfrey Tan, John V. Guttag
2002 ch.
Software Pioneers
John V. Guttag
2002 ch.
Software Pioneers
John V. Guttag
2001 book
Program Development in Java - Abstraction, Specification, and Object-Oriented Design.
Barbara Liskov, John V. Guttag
1999 J jnl
Computer
David Wetherall, John V. Guttag, David L. Tennenhouse
1999 A* conf
MobiCom
Vanu G. Bose, David Wetherall, John V. Guttag
1999 J jnl
IEEE J. Sel. Areas Commun.
Vanu G. Bose, Michael Ismert, Matt Welborn, John V. Guttag
1998 A* conf
INFOCOM
Ulana Legedza, David Wetherall, John V. Guttag
1998 J jnl
IEEE Netw.
David Wetherall, D. Legedza, John V. Guttag
1998 J jnl
Comput. Networks
Ulana Legedza, John V. Guttag
1995 A conf
OOPSLA
Raymie Stata, John V. Guttag
1994 conf
SIGSOFT FSE
David E. Evans, John V. Guttag, James J. Horning, Yang Meng Tan
1994 conf
PARLE
Anant Agarwal, John V. Guttag, Christoforos N. Hadjicostis, Marios C. Papaefthymiou
1994 conf
SIGSOFT FSE
Mark T. Vandevoorde, John V. Guttag
1993 conf
Functional Programming, Concurrency, Simulation and Automated Reasoning
Stephen J. Garland, John V. Guttag, James J. Horning
1993 A* conf
CAV
Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
1993 conf
TAPSOFT
John V. Guttag
1993 book
John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing
1993 J jnl
Formal Methods Syst. Des.
James B. Saxe, James J. Horning, John V. Guttag, Stephen J. Garland
1992 conf
TPCD
Jørgen Staunstrup, Stephen J. Garland, John V. Guttag
1992 conf
Larch
James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland
1992 conf
Designing Correct Circuits
James B. Saxe, Stephen J. Garland, John V. Guttag, James J. Horning
1991 conf
VDM Europe (2)
John V. Guttag, James J. Horning
1991 conf
VDM Europe (1)
John V. Guttag
1990 J jnl
IEEE Trans. Software Eng.
Stephen J. Garland, John V. Guttag, James J. Horning
1990 conf
Programming Concepts and Methods
Stephen J. Garland, John V. Guttag
1989 conf
RTA
Stephen J. Garland, John V. Guttag
1989 conf
Automatic Verification Methods for Finite State Systems
Jørgen Staunstrup, Stephen J. Garland, John V. Guttag
1988 A* conf
POPL
Stephen J. Garland, John V. Guttag
1988 A conf
CADE
Stephen J. Garland, John V. Guttag
1987 A* conf
SOSP
Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin
1986 J jnl
Sci. Comput. Program.
John V. Guttag, James J. Horning
1986 J jnl
ACM SIGSOFT Softw. Eng. Notes
John V. Guttag, James J. Horning, Jeannette M. Wing
1986 J jnl
Sci. Comput. Program.
John V. Guttag, James J. Horning
1985 J jnl
IEEE Softw.
John V. Guttag, James J. Horning, Jeannette M. Wing
1983 conf
IFIP Congress
John V. Guttag, James J. Horning
1983 J jnl
SIAM J. Comput.
John V. Guttag, Deepak Kapur, David R. Musser
1982 A* conf
ICALP
John V. Guttag, Deepak Kapur, David R. Musser
1982 J jnl
Sci. Comput. Program.
John V. Guttag, James J. Horning, Jeannette M. Wing
1981 conf
Program Specification
John V. Guttag
1981 conf
FPCA
John V. Guttag, James J. Horning, John Williams
1980 A* conf
POPL
John V. Guttag, James J. Horning
1980 J jnl
IEEE Trans. Software Eng.
John V. Guttag
1978 J jnl
Commun. ACM
John V. Guttag, Ellis Horowitz, David R. Musser
1978 conf
Program Construction
John V. Guttag
1978 conf
Program Construction
Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
1978 J jnl
Acta Informatica
Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
1978 J jnl
Acta Informatica
John V. Guttag, James J. Horning
1977 conf
Formal Description of Programming Concepts
John V. Guttag, James J. Horning, Ralph L. London
1977 J jnl
Commun. ACM
John V. Guttag
1977 conf
Language Design for Reliable Software
John V. Guttag, Ellis Horowitz, David R. Musser
1976 conf
Conference on Data: Abstraction, Definition and Structure
John V. Guttag
1976 A* conf
ICSE
John V. Guttag, Ellis Horowitz, David R. Musser