Carl A. Gunter - Google Наука

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2015
Позовавания	11115	3827
h-индекс	56	35
i10-индекс	143	77

940

470

235

705

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202045 59 91 83 165 184 154 157 202 236 324 334 297 388 356 311 337 319 356 327 377 318 402 439 406 460 472 570 599 743 929 501

Съавтори

Michael HicksProfessor of Computer Science, University of MarylandПотвърден имейл адрес: cs.umd.edu
XiaoFeng WangJames H. Rudy Professor of Computer Science, Indiana University at BloomingtonПотвърден имейл адрес: indiana.edu
Soteris DemetriouAssistant Professor, Imperial College LondonПотвърден имейл адрес: imperial.ac.uk
Bradley MalinProfessor of Biomedical Informatics, Biostatistics, and Computer Science, VanderbiltПотвърден имейл адрес: vanderbilt.edu
Michael LeMayIntel LabsПотвърден имейл адрес: lemays.org
Scott AlexanderChief Scientist, Perspecta LabsПотвърден имейл адрес: dsalex.org
Karthikeyan BhargavanINRIAПотвърден имейл адрес: inria.fr
Omid FatemiehUniversity of Illinois at Urbana-Champaign / GoogleПотвърден имейл адрес: google.com
David LiebovitzAssociate Professor of Medicine, Northwestern UniversityПотвърден имейл адрес: northwestern.edu
Elsa L GunterResearch Associate Professor, University of Illinois at Urbana - ChampaignПотвърден имейл адрес: illinois.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaПотвърден имейл адрес: math.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaПотвърден имейл адрес: cis.upenn.edu
Dana ScottVisiting Scholar, UC BerkeleyПотвърден имейл адрес: cs.cmu.edu
Vincent BindschaedlerAssistant Professor at the University of FloridaПотвърден имейл адрес: cise.ufl.edu
Xiaoyong ZhouGoogle, IncПотвърден имейл адрес: indiana.edu
Angelos D. KeromytisGeorgia Institute of TechnologyПотвърден имейл адрес: gatech.edu
Michael McDougallAmazon Web ServicesПотвърден имейл адрес: amazon.com
Yunhui LongUniversity of Illinois at Urbana-ChampaignПотвърден имейл адрес: illinois.edu
Sanjeev KhannaHenry Salvatori Professor of Computer Science, University of PennsylvaniaПотвърден имейл адрес: cis.upenn.edu
Fariba KhanSoftware Engineer, GoogleПотвърден имейл адрес: google.com

Carl A. Gunter

Professor of Computer Science, University of Illinois

Потвърден имейл адрес: illinois.edu - Начална страница

Computer Security Privacy Formal Methods Programming Languages


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
Semantics of programming languages: structures and techniques CA Gunter MIT press, 1992	977	1992
The SwitchWare active network architecture DS Alexander, WA Arbaugh, MW Hicks, P Kakkar, AD Keromytis, ... IEEE Network 12 (3), 29-36, 1998	496	1998
PLAN: A packet language for active networks M Hicks, P Kakkar, JT Moore, CA Gunter, S Nettles ACM International Conference on Functional Programming Languages (ICFP ’98 …, 1998	439	1998
Semantic domains CA Gunter, DS Scott Handbook of Theoretical Computer Science, 633-674, 1990	421*	1990
A reference model for requirements and specifications CA Gunter, EL Gunter, M Jackson, P Zave IEEE Software 17 (3), 37-43, 2000	341	2000
Inheritance as implicit coercion V Breazu-Tannen, T Coquand, CA Gunter, A Scedrov Information and computation 93 (1), 172-221, 1991	330	1991
Active network encapsulation protocol (ANEP) DS Alexander, CA Gunter, AD Keromytis, G Minden, D Wetherall, ... Active Networks Request for Comments, 1997	269	1997
Dynamic Searchable Encryption via Blind Storage. M Naveed, M Prabhakaran, CA Gunter EEE Symposium on Security and Privacy, San Jose, CA 2014, 2014	262	2014
Formal verification of standards for distance vector routing protocols K Bhargavan, D Obradovic, CA Gunter Journal of the ACM (JACM) 49 (4), 538-576, 2002	230	2002
Formal verification of standards for distance vector routing protocols K Bhargavan, D Obradovic, CA Gunter Journal of the ACM (JACM) 49 (4), 538-576, 2002	230	2002
Toward a science of learning systems: a research agenda for the high-functioning Learning Health System C Friedman, J Rubin, J Brown, M Buntin, M Corn, L Etheredge, C Gunter, ... Journal of the American Medical Informatics Association 22 (1), 43-50, 2015	193	2015
Identity, location, disease and more: Inferring your secrets from Android public resources X Zhou, S Demetriou, D He, M Naveed, X Pan, XF Wang, CA Gunter, ... Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013	178	2013
PLANet: An active internetwork M Hicks, JT Moore, DS Alexander, CA Gunter, SM Nettles IEEE Conference on Computer Communications (INFOCOM '99) 3, 1124-1133 vol. 3, 1999	172	1999
Privacy in the genomic era M Naveed, E Ayday, EW Clayton, J Fellay, CA Gunter, JP Hubaux, ... ACM Computing Surveys (CSUR) 48 (1), 1-44, 2015	169	2015
Leaky cauldron on the dark land: Understanding memory side-channel hazards in SGX W Wang, G Chen, X Pan, Y Zhang, XF Wang, V Bindschaedler, H Tang, ... Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017	150	2017
Theoretical aspects of object-oriented programming: types, semantics, and language design CA Gunter, JC Mitchell The MIT Press, 1994	147	1994
Privacy APIs: Access control techniques to analyze and verify legal privacy policies MJ May, CA Gunter, I Lee IEEE Computer Security Foundations Workshop (CSFW '06), 2006	136	2006
Verisim: Formal analysis of network simulations K Bhargavan, CA Gunter, M Kim, I Lee, D Obradovic, O Sokolsky, ... IEEE Transactions on Software Engineering (TOSE) 28 (2), 129-145, 2002	129	2002
Models and languages for digital rights CA Gunter, ST Weeks, AK Wright IEEE Hawaii International Conference on System Sciences (HICSS '01), 2001	129	2001
An integrated architecture for demand response communications and control M LeMay, R Nelli, G Gross, CA Gunter IEEE Hawaii International Conference on System Sciences (HICSS '08), 174-174, 2008	126	2008

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Качване на PDF

Следете този автор

Позовавания

Съавтори