S. Magill

10.6k total citations
26 papers, 224 citations indexed

About

S. Magill is a scholar working on Artificial Intelligence, Nuclear and High Energy Physics and Computational Theory and Mathematics. According to data from OpenAlex, S. Magill has authored 26 papers receiving a total of 224 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Artificial Intelligence, 9 papers in Nuclear and High Energy Physics and 7 papers in Computational Theory and Mathematics. Recurrent topics in S. Magill's work include Formal Methods in Verification (7 papers), Particle Detector Development and Performance (6 papers) and Logic, programming, and type systems (6 papers). S. Magill is often cited by papers focused on Formal Methods in Verification (7 papers), Particle Detector Development and Performance (6 papers) and Logic, programming, and type systems (6 papers). S. Magill collaborates with scholars based in United States, United Kingdom and Taiwan. S. Magill's co-authors include Peter Lee, Michael Hicks, He Zhu, Suresh Jagannathan, Piotr Mardziel, Mudhakar Srivatsa, Yih-Kuen Tsay, Ming-Hsien Tsai, Edmund Clarke and Kathryn S. McKinley and has published in prestigious journals such as Cancer Research, Scientific Reports and New Journal of Physics.

In The Last Decade

S. Magill

22 papers receiving 216 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
S. Magill United States	9	130	81	73	37	36	26	224
Rafael Caballero Spain	7	115 0.9×	56 0.7×	65 0.9×	45 1.2×	35 1.0×	35	171
Andrew Stevens United States	8	137 1.1×	92 1.1×	22 0.3×	26 0.7×	25 0.7×	14	251
Michael Abbott United Kingdom	6	101 0.8×	55 0.7×	10 0.1×	12 0.3×	46 1.3×	25	167
Trevor L. McDonell Australia	6	84 0.6×	25 0.3×	19 0.3×	25 0.7×	136 3.8×	9	243
Katalin Friedl Hungary	7	128 1.0×	75 0.9×	44 0.6×	24 0.6×	27 0.8×	22	173
Rajagopal Nagarajan United Kingdom	9	208 1.6×	71 0.9×	16 0.2×	28 0.8×	21 0.6×	26	235
Johannes Doerfert United States	9	23 0.2×	14 0.2×	9 0.1×	32 0.9×	74 2.1×	34	179
W. Lavrijsen United States	7	104 0.8×	57 0.7×	8 0.1×	10 0.3×	61 1.7×	21	222
Igor Potapov United Kingdom	8	79 0.6×	127 1.6×	8 0.1×	4 0.1×	31 0.9×	53	211
Heinz Riener Switzerland	11	102 0.8×	123 1.5×	38 0.5×	13 0.4×	10 0.3×	36	289

Countries citing papers authored by S. Magill

Since Specialization

Citations

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

Fields of papers citing papers by S. Magill

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of S. Magill

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

McCortney, Kathleen, James P. Chandler, Craig Horbinski, et al.. (2025). Abstract 1922: Selective microfluidic capture and molecular analysis of plasma extracellular vesicles from meningiomas. Cancer Research. 85(8_Supplement_1). 1922–1922. 1 indexed citations

Magill, S., et al.. (2024). Oral and Maxillofacial Surgery Curriculum (2021) and Oral Surgery Curriculum (2023): A forensic comparison of two documents. British Journal of Oral and Maxillofacial Surgery. 63(2). 125–132.

Magill, S., et al.. (2021). Tessier 30 Facial Clefts—A Literature Review of 72 Cases (1996-2020), Suggested Treatment Protocol, Outcome Measures, Minimum Dataset for Future Case Reports, and Registries. The Cleft Palate-Craniofacial Journal. 59(5). 644–651. 1 indexed citations

Datta, Amlan, et al.. (2020). Highly efficient photon detection systems for noble liquid detectors based on perovskite quantum dots. Scientific Reports. 10(1). 16932–16932. 5 indexed citations

Sahi, Sunil, S. Magill, Lun Ma, et al.. (2018). Wavelength-shifting properties of luminescence nanoparticles for high energy particle detection and specific physics process observation. Scientific Reports. 8(1). 10515–10515. 21 indexed citations

Dodds, Mike, S. Magill, & Aaron Tomb. (2018). Tutorial: Continuous Verification of Critical Software. 128–129.

Zhu, He, S. Magill, & Suresh Jagannathan. (2018). A data-driven CHC solver. ACM SIGPLAN Notices. 53(4). 707–721. 7 indexed citations

Mardziel, Piotr, S. Magill, Michael Hicks, & Mudhakar Srivatsa. (2013). Dynamic enforcement of knowledge-based security policies using probabilistic abstract interpretation. Journal of Computer Security. 21(4). 463–532. 15 indexed citations

Magill, S.. (2012). Use of Particle Flow Algorithms in a Dual Readout Crystal Calorimeter. Journal of Physics Conference Series. 404. 12048–12048. 4 indexed citations

10.

Magill, S., et al.. (2012). Automating object transformations for dynamic software updating. 265–280. 17 indexed citations

11.

Magill, S., et al.. (2012). Automating object transformations for dynamic software updating. ACM SIGPLAN Notices. 47(10). 265–280. 3 indexed citations

12.

Magill, S., Ming-Hsien Tsai, Peter Lee, & Yih-Kuen Tsay. (2010). Automatic numeric abstractions for heap-manipulating programs. ACM SIGPLAN Notices. 45(1). 211–222. 2 indexed citations

13.

Lee, Peter & S. Magill. (2010). Instrumentation analysis: an automated method for producing numeric abstractions of heap-manipulating programs. 4 indexed citations

14.

Gupta, Ashutosh, et al.. (2009). Finding heap-bounds for hardware synthesis. UCL Discovery (University College London).

15.

Gupta, Ashutosh, S. Magill, Andrey Rybalchenko, et al.. (2009). Finding heap-bounds for hardware synthesis. 124. 205–212. 14 indexed citations

16.

Hays, E., K. Byrum, G. Drake, et al.. (2007). High Resolution Measurements of Cosmic-ray Air Showers with the Track Imaging Čerenkov Experiment. 2. 475–478. 2 indexed citations

17.

Magill, S.. (2007). Innovations in ILC detector design using a particle flow algorithm approach. New Journal of Physics. 9(11). 409–409. 5 indexed citations

18.

Wissel, Stephanie, K. Byrum, G. Drake, et al.. (2007). The status of the track imaging cerenkov experiment. 2. 413–416. 1 indexed citations

19.

Magill, S., Aleksandar Nanevski, Edmund Clarke, & Peter Lee. (2005). Inferring Invariants in Separation Logic for Imperative List-processing Programs. 21 indexed citations

20.

Magill, S.. (1993). ZEUS results from the first year: DIS cross section and hadronic final states. Journal of Physics G Nuclear and Particle Physics. 19(10). 1535–1547. 2 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