Carl A. Gunter

发表

Carl A. Gunter, Jawahar Chirimar, Jon G. Riecke, 1996, Journal of Functional Programming.

Nan Zhang, Carl A. Gunter, Soteris Demetriou, 2017, WISEC.

Carl A. Gunter, Alwyn E. Goodloe, A. Goodloe, 2008 .

Xun Lu, Carl A. Gunter, Daniel Fabbri, 2015, BCB.

Carl A. Gunter, Omid Fatemieh, Michael LeMay, 2011, ACSAC '11.

Insup Lee, Carl A. Gunter, Wook Shin, 2006, FMSE '06.

Mahesh Viswanathan, Insup Lee, Oleg Sokolsky, 2000, ISSTA '00.

Xing Xie, Jiawei Han, Kevin Chen-Chuan Chang, 2014, EDBT.

Carl A. Gunter, Yunhui Long, Tanmay Gangwani, 2018, ArXiv.

Carl A. Gunter, Karthikeyan Bhargavan, Dragan D. Obradovic, 2000 .

W. David Sincoskie, Jonathan M. Smith, Carl A. Gunter, 1996 .

Carl A. Gunter, Stuart G. Stubblebine, Michael J. May, 2004, Privacy Enhancing Technologies.

Carl A. Gunter, Trevor Jim, 2000 .

He Zhang, Carl A. Gunter, Sanjay Mehrotra, 2015, AMIA.

Carl A. Gunter, 1991, Bull. EATCS.

José Meseguer, Ralf Sasse, Carl A. Gunter, 2009, ESORICS.

Sean W. Smith, Carl A. Gunter, Andrew T. Campbell, 2013, IEEE Security & Privacy.

Devika Subramanian, Carl A. Gunter, Teow-Hin Ngair, 1996, ASIAN.

Nikita Borisov, David Raila, Carl A. Gunter, 2007, CSAW '07.

Yue Zhao, Kai Chen, Carl A. Gunter, 2018, USENIX Security Symposium.

Carl A. Gunter, Michael J. May, Kevin D. Lux, 2005, IEEE International Conference on Web Services (ICWS'05).

Thierry Coquand, Val Tannen, Carl A. Gunter, 1989, LICS 1989.

Jianqing Zhang, Carl A. Gunter, Jianqing Zhang, 2010, 2010 First IEEE International Conference on Smart Grid Communications.

Sanjeev Khanna, Carl A. Gunter, Santosh S. Venkatesh, 2012, IEEE/ACM Transactions on Networking.

Carl A. Gunter, Achim Jung, A. Jung, 1988, LICS.

Rajeev Alur, Carl A. Gunter, Michael McDougall, 2004, EMSOFT '04.

Carl A. Gunter, Vijay Gehlot, V. Gehlot, 1989 .

Carl A. Gunter, Karthikeyan Bhargavan, Davor Obradovic, 2000, TPHOLs.

Insup Lee, Oleg Sokolsky, Carl A. Gunter, 2000, ISSTA '00.

Klara Nahrstedt, Dongjing He, Carl A. Gunter, 2014, AMIA.

Carl A. Gunter, Haixu Tang, Lei Wang, 2020, 2020 IEEE European Symposium on Security and Privacy (EuroS&P).

Carl A. Gunter, Güliz Seray Tuncay, Jingyu Qian, 2020, USENIX Security Symposium.

Carl A. Gunter, Michael J. May, Kevin D. Lux, 2020, Service Oriented Computing and Applications.

Dan Roth, Carl A. Gunter, Prateek Jindal, 2014, BCB.

Carl A. Gunter, Michael LeMay, 2007, HotNets.

Rajeev Alur, Carl A. Gunter, Alwyn E. Goodloe, 2002, CASES '02.

Insup Lee, Carl A. Gunter, Steve Zdancewic, 2009, 2009 IEEE International Symposium on Policies for Distributed Systems and Networks.

Carl A. Gunter, 1993, Choice Reviews Online.

Marianne Winslett, Carl A. Gunter, Charles C. Zhang, 2007, 2007 IEEE Symposium on Security and Privacy (SP '07).

Carl A. Gunter, Vijay Gehlot, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

Carl A. Gunter, Toshiaki Tanaka, Shinsaku Kiyomoto, 2009, SEC.

Jason Crampton, Carl A. Gunter, Kaijun Tan, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..

Lui Sha, Xue Liu, Karrie Karahalios, 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.

Carl A. Gunter, Satish Chandra, Karthikeyan Bhargavan, 2001, POPL '01.

Carl A. Gunter, 2009, 2009 IEEE International Symposium on Policies for Distributed Systems and Networks.

Carl A. Gunter, Michael LeMay, 2015, Logic, Rewriting, and Concurrency.

Rakesh Bobba, Himanshu Khurana, Carl A. Gunter, 2006, 2006 22nd Annual Computer Security Applications Conference (ACSAC'06).

Nikita Borisov, Carl A. Gunter, Kazuhiro Minami, 2009, SACMAT '09.

Carl A. Gunter, Yunhui Long, Vincent Bindschaedler, 2017, ArXiv.

Carl A. Gunter, Scott Nettles, Michael W. Hicks, 1998, ICCL Workshop: Internet Programming Languages.

Carl A. Gunter, Scott Nettles, Michael W. Hicks, 1998, ICFP '98.

Carl A. Gunter, Trevor Jim, Michael McDougall, 2000, IWAN.

Jean-Baptiste Jeannin, Kevin Fu, Carl A. Gunter, 2020, ArXiv.

Carl A. Gunter, Trevor Jim, 2000, Softw. Pract. Exp..

Dong Jin, Carl A. Gunter, Omid Fatemieh, 2011, LEET.

Wen Zhang, Carl A. Gunter, Jian Tian, 2011, HealthSec.

Carl A. Gunter, 2002, IFIP TCS.

Didier Rémy, Carl A. Gunter, Jon G. Riecke, 1995, FPCA '95.

Carl A. Gunter, 2000, ACM Trans. Softw. Eng. Methodol..

Carl A. Gunter, Omid Fatemieh, Ravinder Shankesi, 2010 .

Carl A. Gunter, Manoj Prabhakaran, Muhammad Naveed, 2014, 2014 IEEE Symposium on Security and Privacy.

Jimeng Sun, Cosmin Adrian Bejan, Joshua C. Denny, 2015, J. Biomed. Informatics.

Val Tannen, Carl A. Gunter, Andre Scedrov, 1989 .

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen, 1993, Inf. Comput..

Carl A. Gunter, Sonia Jahid, Ellick Chan, 2008, CSAW '08.

Naoki Tanaka, Dong Jin, Carl A. Gunter, 2011, IEEE Pervasive Computing.

Rajeev Alur, Carl A. Gunter, Michael Mcdougall, 2005 .

Carl A. Gunter, Lars E. Olson, Sarah Peterson Olson, 2009, SPIMACS '09.

Dan Roth, Carl A. Gunter, Prateek Jindal, 2014, BCB.

Carl A. Gunter, Bradley Malin, David M. Liebovitz, 2010, HealthSec.

Carl A. Gunter, Carl A. Gunter, 2008 .

Xin Jin, Jiawei Han, Dong Kun Noh, 2010, IPSN '10.

Anku Adhikari, Carl A. Gunter, Thi Ngoc Tho Nguyen, 2016, CCS.

Carl A. Gunter, Gaurav Shah, Alwyn E. Goodloe, 2005 .

Carl A. Gunter, Bradley Malin, Mario Frank, 2013, 2013 IEEE International Conference on Intelligence and Security Informatics.

Devika Subramanian, Carl A. Gunter, Teow-Hin Ngair, 1991, Artif. Intell..

Carl A. Gunter, Karthikeyan Bhargavan, K. Bhargavan, 2005, Formal Methods Syst. Des..

Carl A. Gunter, Soteris Demetriou, Güliz Seray Tuncay, 2020, ArXiv.

José Meseguer, Carl A. Gunter, Bow-Yaw Wang, 2000, ICDCS Workshop on Distributed System Validation and Verification.

Carl A. Gunter, Saswati Sarkar, Ratul K. Guha, 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

Carl A. Gunter, Bradley Malin, David M. Liebovitz, 2011, IEEE Security & Privacy.

Carl A. Gunter, Hamed Okhravi, Sonia Jahid, 2011, CODASPY '11.

Val Tannen, Carl A. Gunter, Andre Scedrov, 1990, LISP and Functional Programming.

Roy H. Campbell, Carl A. Gunter, Michael LeMay, 2009, 2009 IEEE International Conference on Systems, Man and Cybernetics.

David Notkin, John C. Mitchell, Carl A. Gunter, 1996, CSUR.

Carl A. Gunter, Yunhui Long, Le Xu, 2020, CODASPY.

Thierry Coquand, Val Tannen, Carl A. Gunter, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

Sanjeev Khanna, Carl A. Gunter, Santosh S. Venkatesh, 2004, NDSS.

Sanjam Garg, Carl A. Gunter, George Gross, 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

Carl A. Gunter, 2000, SOEN.

Glynn Winskel, Thierry Coquand, Carl A. Gunter, 1989, Inf. Comput..

Carl A. Gunter, Sandip Kumar Biswas, Sandip K. Biswas, 1997 .

Carl A. Gunter, Karthikeyan Bhargavan, Davor Obradovic, 2002, JACM.

Carl A. Gunter, Scott Nettles, Michael W. Hicks, 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

Thierry Coquand, Val Tannen, Carl A. Gunter, 1991, Inf. Comput..

Carl A. Gunter, Michael LeMay, 2009, ESORICS.

William A. Arbaugh, Jonathan M. Smith, Michael Hicks, 1998, IEEE Netw..

Marianne Winslett, Carl A. Gunter, William R. Cook, 2009, DBSec.

Pamela Zave, Carl A. Gunter, Elsa L. Gunter, 2000 .

Klara Nahrstedt, Nikita Borisov, Carl A. Gunter, 2019 .

Carl A. Gunter, Jonathan P. Weiner, David Kotz, 2016, Computer.

Jonathan M. Smith, Carl A. Gunter, David J. Farber, 1996 .

Bo Chen, Klara Nahrstedt, Carl A. Gunter, 2018, MobiQuitous.

Wen Zhang, Carl A. Gunter, Bradley Malin, 2013, SACMAT '13.

Carl A. Gunter, Adam J. Lee, Jodie P. Boyer, 2006, FMSE '06.

Martín Abadi, Carl A. Gunter, Pankaj Kakkar, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.

John C. Mitchell, Carl A. Gunter, John C. Mitchell, 1994, Choice Reviews Online.

Insup Lee, Carl A. Gunter, Michael J. May, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).

Carl A. Gunter, Jawahar Chirimar, Jon G. Riecke, 1992, LFP '92.

Rakesh Bobba, Himanshu Khurana, Carl A. Gunter, 2010, TSEC.

Kevin Fu, Carl A. Gunter, David Kotz, 2015, Commun. ACM.

Carl A. Gunter, Bradley Malin, Jean-Pierre Hubaux, 2014, ACM Comput. Surv..

Carl A. Gunter, Kaijun Tan, Jodie P. Boyer, 2006, SPC.

Carl A. Gunter, P. Madhusudan, Lars E. Olson, 2008, CCS.

Carl A. Gunter, 1987, Inf. Comput..

Naoki Tanaka, Carl A. Gunter, Andrew K. Wright, 2011, ISGT 2011.

Michael Jackson, Pamela Zave, Carl A. Gunter, 2000, Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219).

Nikita Borisov, Bo Li, Carl A. Gunter, 2019, 2021 IEEE Symposium on Security and Privacy (SP).

Carl A. Gunter, Wei Yang, Qi Wang, 2019, CCS.

José Meseguer, Carl A. Gunter, Musab AlTurki, 2009, Electron. Notes Theor. Comput. Sci..

Ranveer Chandra, Carl A. Gunter, Omid Fatemieh, 2010, 2010 3rd International Symposium on Resilient Control Systems.

Carl A. Gunter, Karthikeyan Bhargavan, K. Bhargavan, 2002 .

Jianqing Zhang, Carl A. Gunter, Raja Afandi, 2006, ICSOC.

Carl A. Gunter, 2003, ECOOP.

Carl A. Gunter, Michael LeMay, Jason J. Haas, 2009, 2009 42nd Hawaii International Conference on System Sciences.

Glynn Winskel, Thierry Coquand, Carl A. Gunter, 1987, MFPS.

Carl A. Gunter, 1995, LICS 1995.

Carl A. Gunter, Jean-Pierre Hubaux, Bradley A. Malin, 2014, CCS.

Michael Jackson, Pamela Zave, Carl A. Gunter, 2000, IEEE Softw..

Michael Jackson, Pamela Zave, Carl A. Gunter, 1998, TPHOLs.

Carl A. Gunter, Karthikeyan Bhargavan, Davor Obradovic, 2000, FMSP '00.

Carl A. Gunter, Michael W. Hicks, Jonathan T. Moore, 1999, HOOTS.

Carl A. Gunter, Dana S. Scott, D. Scott, 1990 .

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen, 1991, TACS.

Jonathan M. Smith, Carl A. Gunter, Geoffrey G. Xie, 2009, IEEE J. Sel. Areas Commun..

Carl A. Gunter, Jawahar Chirimar, Myra Van Inwegen, 1992, CADE.

Xun Lu, Carl A. Gunter, Daniel Fabbri, 2018, Learning health systems.

Carl A. Gunter, Alwyn Goodloe, A. Goodloe, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).

Carl A. Gunter, Alwyn Goodloe, A. Goodloe, 2009, SafeConfig '09.

Carl A. Gunter, Soteris Demetriou, Güliz Seray Tuncay, 2018, NDSS.

Carl A. Gunter, 1985, Mathematical Foundations of Programming Semantics.

Limin Jia, Carl A. Gunter, Deepak Garg, 2014, CODASPY '14.

Carl A. Gunter, Dana S. Scott, D. Scott, 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

Carl A. Gunter, Bradley Malin, David M. Liebovitz, 2013, HealthTech.

Carl A. Gunter, Ahmed Khurshid, Hee Dong Jung, 2010 .

Carl A. Gunter, Michael LeMay, Jason J. Haas, 2009 .

William H. Sanders, Carl A. Gunter, Varun Badrinath Krishna, 2018, IEEE Journal of Selected Topics in Signal Processing.

William Yurcik, Zahid Anwar, Roy H. Campbell, 2008 .

William W. Stead, Carl A. Gunter, Mark A. Musen, 2014, J. Am. Medical Informatics Assoc..

Carl A. Gunter, Soteris Demetriou, Yunhui Long, 2019, HotSoS.

Qi Wang, Carl A. Gunter, Wajih Ul Hassan, 2018, NDSS.

Carl A. Gunter, Stephen Weeks, Andrew K. Wright, 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

Carl A. Gunter, Michael LeMay, M. LeMay, 2011 .

Carl A. Gunter, Reza Shokri, Vincent Bindschaedler, 2017, Proc. VLDB Endow..

Martín Abadi, Carl A. Gunter, Pankaj Kakkar, 2003 .

Jiawei Han, Hongbo Deng, Carl A. Gunter, 2015, SIGIR.

Sanjeev Khanna, Carl A. Gunter, Santosh S. Venkatesh, 2008, INFOCOM.

Carl A. Gunter, Karthikeyan Bhargavan, K. Bhargavan, 2002, RV@FLoC.

Carl A. Gunter, George Gross, Michael LeMay, 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

Shubhra Kanti Karmaker Santu, ChengXiang Zhai, Carl A. Gunter, 2018, WPES@CCS.

Pamela Zave, Carl A. Gunter, Elsa L. Gunter, 2000, SOEN.

Mark-Oliver Stehr, Carl A. Gunter, Alwyn E. Goodloe, 2005, WITS '05.

Carl A. Gunter, Jean-Pierre Hubaux, Erman Ayday, 2014, CCS.

Carl A. Gunter, Michael LeMay, M. LeMay, 2009, IEEE Transactions on Smart Grid.

Val Tannen, Carl A. Gunter, Andre Scedrov, 1989 .

Zhuolin Yang, Carl A. Gunter, Bo Li, 2019, ArXiv.

Md. Yusuf Sarwar Uddin, Tarek F. Abdelzaher, Carl A. Gunter, 2011, 2011 8th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks.

Carl A. Gunter, Davor Obradovic, Davor Obradovic, 2001 .

Carl A. Gunter, Trevor Jim, 2000, POPL '00.

Insup Lee, Carl A. Gunter, Michael J. May, 2008 .

Carl A. Gunter, Soteris Demetriou, Güliz Seray Tuncay, 2016, CCS.

Angelos D. Keromytis, David Wetherall, Carl A. Gunter, 1997 .

Carl A. Gunter, Elsa L. Gunter, Ayesha Yasmeen, 2009 .

Carl A. Gunter, Fariba Khan, 2010, NetEcon.

Mahesh Viswanathan, Rohit Chadha, José Meseguer, 2008, FMOODS.

Carl A. Gunter, Anh Nguyen, Elsa L. Gunter, 2009, 2009 42nd Hawaii International Conference on System Sciences.

Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.

Jason Crampton, Carl A. Gunter, Kaijun Tan, 2004 .

Carl A. Gunter, Soteris Demetriou, Aston Zhang, 2016, NDSS.

Jianqing Zhang, Carl A. Gunter, Munawar Hafiz, 2006, 2006 European Conference on Web Services (ECOWS'06).

Carl A. Gunter, Peter D. Mosses, Dana S. Scott, 1989 .

Quanyan Zhu, Tamer Basar, Carl A. Gunter, 2012, HealthSec.

Carl A. Gunter, Christopher W. Fletcher, Hyun Bin Lee, 2021, NDSS.

Carl A. Gunter, R. Chandra, O. Fatemieh, 2010, 2010 IEEE Symposium on New Frontiers in Dynamic Spectrum (DySPAN).

Carl A. Gunter, David C. Bergman, Joshua Juen, 2010 .

Carl A. Gunter, Peter V. Homeier, S. Nettles, 1997 .

Carl A. Gunter, T. Jim, Bow-Yaw Wang, 1997 .

Carl A. Gunter, Qi Wang, Karan Ganju, 2018 .

Carl A. Gunter, Andre Scedrov, Steve Zdancewic, 2003 .

Thierry Coquand, Carl A. Gunter, Andre Scedrov, 1991 .

Carl A. Gunter, David C. Bergman, Joshua Juen, 2010 .

Andrew W. Appel, Carl A. Gunter, A. Appel, 1999 .

Zahid Anwar, Himanshu Khurana, Carl A. Gunter, 2005 .

Carl A. Gunter, P. Kakkar, 2022 .

Carl A. Gunter, Imranul Hoque, H. Okhravi, 2009 .

Carl A. Gunter, Peter V. Homeier, S. Nettles, 1997 .

Carl A. Gunter, T. Jim, 1999 .

Peter Buneman, Carl A. Gunter, Val Breazu-Tannen, 1988 .

Carl A. Gunter, Nathaniel D. Kaufman, Soteris Demetriou, 2018 .

Carl A. Gunter, Davor Obradovic, 2000 .

Carl A. Gunter, G. Baliga, S. Graham, 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

Carl A. Gunter, Christopher W. Fletcher, Hyun Bin Lee, 2021, Proceedings 2021 Learning from Authoritative Security Experiment Results Workshop.

Carl A. Gunter, 1992, Theor. Comput. Sci..

Carl A. Gunter, D. Scott, 1990 .

Carl A. Gunter, Wook Shin, C.A. Gunter, 2007, Second International Conference on Internet Monitoring and Protection (ICIMP 2007).

Carl A. Gunter, D. Kotz, J. Weiner, 2016, Computer.