Lee Pike

855 total citations
32 papers, 267 citations indexed

About

Lee Pike is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications. According to data from OpenAlex, Lee Pike has authored 32 papers receiving a total of 267 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Computational Theory and Mathematics, 16 papers in Artificial Intelligence and 14 papers in Computer Networks and Communications. Recurrent topics in Lee Pike's work include Formal Methods in Verification (17 papers), Distributed systems and fault tolerance (11 papers) and Logic, programming, and type systems (10 papers). Lee Pike is often cited by papers focused on Formal Methods in Verification (17 papers), Distributed systems and fault tolerance (11 papers) and Logic, programming, and type systems (10 papers). Lee Pike collaborates with scholars based in United States, Denmark and Australia. Lee Pike's co-authors include Alwyn E. Goodloe, Steven Johnson, John Launchbury, Patrick C. Hickey, John Matthews, Mark Shields, Eric L. Seidel, Gerwin Klein, John Backes and Ihor Kuz and has published in prestigious journals such as IEEE Communications Magazine, IEEE Transactions on Software Engineering and Computer.

In The Last Decade

Lee Pike

30 papers receiving 231 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Lee Pike United States	11	117	105	84	71	70	32	267
Gidon Ernst Germany	9	92 0.8×	108 1.0×	55 0.7×	59 0.8×	86 1.2×	24	221
Virginie Wiels France	9	76 0.6×	87 0.8×	40 0.5×	29 0.4×	111 1.6×	25	210
Pierre Bieber France	11	135 1.2×	78 0.7×	33 0.4×	92 1.3×	93 1.3×	28	312
Claudio Menghi Italy	12	171 1.5×	107 1.0×	42 0.5×	67 0.9×	172 2.5×	51	365
Sabine Glesner Germany	11	172 1.5×	175 1.7×	155 1.8×	87 1.2×	132 1.9×	78	393
Eun-Young Kang Denmark	9	34 0.3×	84 0.8×	55 0.7×	36 0.5×	61 0.9×	54	256
Alexey Khoroshilov Russia	7	69 0.6×	31 0.3×	78 0.9×	48 0.7×	59 0.8×	57	188
Daniel Balasubramanian United States	8	110 0.9×	31 0.3×	39 0.5×	69 1.0×	85 1.2×	36	234
Ramesh Bharadwaj United States	8	146 1.2×	192 1.8×	36 0.4×	72 1.0×	227 3.2×	38	399
Jörg Bräuer Germany	9	65 0.6×	138 1.3×	58 0.7×	15 0.2×	116 1.7×	33	274

Countries citing papers authored by Lee Pike

Since Specialization

Citations

This map shows the geographic impact of Lee Pike'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 Lee Pike with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Lee Pike more than expected).

Fields of papers citing papers by Lee Pike

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Lee Pike. 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 Lee Pike. The network helps show where Lee Pike may publish in the future.

Co-authorship network of co-authors of Lee Pike

This figure shows the co-authorship network connecting the top 25 collaborators of Lee Pike. A scholar is included among the top collaborators of Lee Pike 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 Lee Pike. Lee Pike 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.

Emmi, Michael, Liana Hadarean, Ranjit Jhala, et al.. (2021). RAPID: checking API usage for the cloud in the cloud. 1416–1426. 6 indexed citations

2.

Cofer, Darren, Andrew Gacek, John Backes, et al.. (2018). A Formal Approach to Constructing Secure Air Vehicle Software. Computer. 51(11). 14–23. 20 indexed citations

3.

Pike, Lee, et al.. (2017). Secure Automotive Software: The Next Steps. IEEE Software. 34(3). 49–55. 12 indexed citations

4.

Cofer, Darren, John Backes, Andrew Gacek, et al.. (2017). Secure mathematically-assured composition of control models. 10 indexed citations

5.

Güvenç, İsmail, Walid Saad, Mehdi Bennis, et al.. (2016). Wireless communications, networking, and positioning with unmanned aerial vehicles [Guest Editorial]. IEEE Communications Magazine. 54(5). 24–25. 9 indexed citations

6.

Alexander, Perry, et al.. (2015). Model Checking Distributed Mandatory Access Control Policies. ACM Transactions on Information and System Security. 18(2). 1–25. 5 indexed citations

7.

Pike, Lee, et al.. (2015). Guilt free ivory. ACM SIGPLAN Notices. 50(12). 189–200. 2 indexed citations

8.

Pike, Lee, et al.. (2015). Guilt free ivory. 189–200. 15 indexed citations

9.

Hickey, Patrick C., et al.. (2014). Building embedded systems with embedded DSLs. 3–9. 18 indexed citations

10.

Hickey, Patrick C., et al.. (2014). Building embedded systems with embedded DSLs. ACM SIGPLAN Notices. 49(9). 3–9. 5 indexed citations

11.

Pike, Lee. (2014). SmartCheck. ACM SIGPLAN Notices. 49(12). 53–64. 1 indexed citations

12.

Pike, Lee. (2014). SmartCheck. 53–64. 8 indexed citations

13.

Pike, Lee, et al.. (2013). Model Checking Failed Conjectures in Theorem Proving: A Case Study. NASA Technical Reports Server (NASA). 2 indexed citations

14.

Pike, Lee, et al.. (2011). Practical Considerations in Control-Flow Integrity Monitoring. 13. 537–544. 3 indexed citations

15.

Pike, Lee, et al.. (2011). When Formal Systems Kill: Computer Ethics and Formal Methods.

16.

Pike, Lee. (2007). Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules. 231–238. 13 indexed citations

17.

Johnson, Steven & Lee Pike. (2006). Formal verification of time-triggered systems. 5 indexed citations

18.

Pike, Lee, et al.. (2006). Diagnosing a Failed Proof in Fault-Tolerance: A Disproving Challenge Problem. NASA Technical Reports Server (NASA). 1 indexed citations

19.

Pike, Lee. (2006). A note on inconsistent axioms in Rushby's "systematic formal verification for fault-tolerant time-triggered algorithms". IEEE Transactions on Software Engineering. 32(5). 347–348. 15 indexed citations

20.

Pike, Lee & Steven Johnson. (2005). The formal verification of a reintegration protocol. 286–289. 13 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