Carl A. Gunter

9.7k total citations · 1 hit paper
178 papers, 5.3k citations indexed

About

Carl A. Gunter is a scholar working on Artificial Intelligence, Computer Networks and Communications and Sociology and Political Science. According to data from OpenAlex, Carl A. Gunter has authored 178 papers receiving a total of 5.3k indexed citations (citations by other indexed papers that have themselves been cited), including 109 papers in Artificial Intelligence, 71 papers in Computer Networks and Communications and 36 papers in Sociology and Political Science. Recurrent topics in Carl A. Gunter's work include Access Control and Trust (29 papers), Logic, programming, and type systems (26 papers) and Formal Methods in Verification (26 papers). Carl A. Gunter is often cited by papers focused on Access Control and Trust (29 papers), Logic, programming, and type systems (26 papers) and Formal Methods in Verification (26 papers). Carl A. Gunter collaborates with scholars based in United States, United Kingdom and Canada. Carl A. Gunter's co-authors include Muhammad Naveed, Manoj Prabhakaran, Elsa L. Gunter, Omid Fatemieh, Dana Scott, Michael LeMay, Michael Hicks, Scott Nettles, Bradley Malin and Soteris Demetriou and has published in prestigious journals such as Communications of the ACM, ACM Computing Surveys and IEEE Transactions on Smart Grid.

In The Last Decade

Carl A. Gunter

170 papers receiving 4.9k citations

Hit Papers

align trajectories sort by overperformance

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

Toward a science of learning systems: a research agenda for the high-functioning Learning Health System

2014 284 citations Carl A. Gunter et al. profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Carl A. Gunter United States	39	2.7k	1.8k	1.3k	833	678	178	5.3k
Peter G. Neumann United States	29	1.9k 0.7×	1.6k 0.9×	975 0.7×	890 1.1×	308 0.5×	291	3.9k
Carl E. Landwehr United States	14	1.4k 0.5×	2.2k 1.2×	1.6k 1.2×	538 0.6×	188 0.3×	70	4.3k
Vitaly Shmatikov United States	41	7.8k 2.9×	2.0k 1.1×	2.7k 2.0×	1.7k 2.0×	329 0.5×	102	9.9k
Jianying Zhou Singapore	39	2.8k 1.0×	3.0k 1.6×	2.7k 2.1×	888 1.1×	224 0.3×	267	5.7k
Bharat Bhargava United States	41	1.6k 0.6×	4.4k 2.4×	1.7k 1.2×	486 0.6×	132 0.2×	333	6.4k
Kai Hwang United States	37	1.8k 0.7×	3.2k 1.7×	1.5k 1.1×	440 0.5×	289 0.4×	142	5.8k
Shing-Chi Cheung Hong Kong	38	1.4k 0.5×	1.9k 1.1×	3.0k 2.3×	830 1.0×	335 0.5×	261	5.3k
Fabio Martinelli Italy	30	1.5k 0.6×	2.1k 1.2×	1.6k 1.2×	1.9k 2.3×	137 0.2×	337	4.1k
Salvatore J. Stolfo United States	45	6.1k 2.2×	5.0k 2.7×	3.0k 2.2×	3.2k 3.9×	281 0.4×	200	9.2k
D. Richard Kuhn United States	27	2.6k 0.9×	1.3k 0.7×	2.5k 1.9×	309 0.4×	274 0.4×	126	5.8k

Countries citing papers authored by Carl A. Gunter

Since Specialization

Citations

This map shows the geographic impact of Carl A. Gunter's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Carl A. Gunter with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Carl A. Gunter more than expected).

Fields of papers citing papers by Carl A. Gunter

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Carl A. Gunter. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Carl A. Gunter. The network helps show where Carl A. Gunter may publish in the future.

Co-authorship network of co-authors of Carl A. Gunter

This figure shows the co-authorship network connecting the top 25 collaborators of Carl A. Gunter. A scholar is included among the top collaborators of Carl A. Gunter based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Carl A. Gunter. Carl A. Gunter is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Qian, Jingyu, et al.. (2020). See No Evil: Phishing for Permissions with False Transparency.. USENIX Security Symposium. 415–432. 11 indexed citations

2.

Gunter, Carl A., et al.. (2018). Evaluating Detectors on Optimal Attack Vectors That Enable Electricity Theft and DER Fraud. IEEE Journal of Selected Topics in Signal Processing. 12(4). 790–805. 67 indexed citations

3.

Kotz, David, et al.. (2016). Privacy and Security in Mobile Health: A Research Agenda. Computer. 49(6). 22–30. 111 indexed citations

4.

Ayday, Erman, et al.. (2014). Privacy and Security in the Genomic Era. 1 indexed citations

5.

Jia, Limin, et al.. (2014). Privacy-preserving audit for broker-based health information exchange. 313–320. 1 indexed citations

6.

Hanson, Casey, et al.. (2013). Modeling and detecting anomalous topic access. 100–105. 19 indexed citations

7.

Zhu, Quanyan, Carl A. Gunter, & Tamer Başar. (2012). Tragedy of anticommons in digital right management of medical records. USENIX Security Symposium. 10–10. 2 indexed citations

8.

Green, Jeff, et al.. (2011). Reconstructing hash reversal based proof of work schemes. 10–10. 7 indexed citations

9.

Zhang, Jianqing & Carl A. Gunter. (2011). Application-aware secure multicast for power grid communications. International Journal of Security and Networks. 6(1). 40–40. 20 indexed citations

10.

Bobba, Rakesh B., et al.. (2006). Using Attribute-Based Access Control to Enable Attribute-Based Messaging. 403–413. 31 indexed citations

11.

Gunter, Carl A., et al.. (2004). DoS Protection for Reliably Authenticated Broadcast.. Network and Distributed System Security Symposium. 32 indexed citations

12.

Crampton, Jason, et al.. (2004). The Consistency of Task-Based Authorization Constraints in Workflow Systems. 17. 155–169. 47 indexed citations

13.

Gunter, Carl A., Elsa L. Gunter, Michael Jackson, & Pamela Zave. (2000). A Reference Model for Requirements and Specifications. 189. 130 indexed citations

14.

Gunter, Carl A.. (1992). The mixed powerdomain. Theoretical Computer Science. 103(2). 311–334. 24 indexed citations

15.

Gunter, Carl A., et al.. (1991). The common order-theoretic structure of version spaces and ATMS's. ScholarlyCommons (University of Pennsylvania). 500–505. 11 indexed citations

16.

Breazu-Tannen, Val, Thierry Coquand, Carl A. Gunter, & Andre Scedrov. (1991). Inheritance as implicit coercion. Information and Computation. 93(1). 172–221. 114 indexed citations

17.

Coquand, Thierry, Carl A. Gunter, & Glynn Winskel. (1989). Domain theoretic models of polymorphism. Information and Computation. 81(2). 123–167. 45 indexed citations

18.

Tannen, Val, Thierry Coquand, Carl A. Gunter, & Andre Scedrov. (1989). INHERITANCE AND EXPLICIT COERCION (Preliminary Report). 112–129. 7 indexed citations

19.

Gunter, Carl A. & Achim Jung. (1988). Coherence and Consistency in Domains (Extended Outline). ScholarlyCommons (University of Pennsylvania). 309–317. 7 indexed citations

20.

Gunter, Carl A.. (1986). The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains. 71(12). 142–148. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact