Scott Little

459 total citations
21 papers, 218 citations indexed

About

Scott Little is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Electrical and Electronic Engineering. According to data from OpenAlex, Scott Little has authored 21 papers receiving a total of 218 indexed citations (citations by other indexed papers that have themselves been cited), including 15 papers in Computational Theory and Mathematics, 14 papers in Hardware and Architecture and 6 papers in Electrical and Electronic Engineering. Recurrent topics in Scott Little's work include Formal Methods in Verification (14 papers), VLSI and Analog Circuit Testing (9 papers) and Embedded Systems Design Techniques (7 papers). Scott Little is often cited by papers focused on Formal Methods in Verification (14 papers), VLSI and Analog Circuit Testing (9 papers) and Embedded Systems Design Techniques (7 papers). Scott Little collaborates with scholars based in United States, Japan and Switzerland. Scott Little's co-authors include Chris J. Myers, Tomohiro Yoneda, Jie Dai, Chris Winstead, Alper Şen, Christian Schlegel, Yong-Bin Kim, John Havlicek, Reid R. Harrison and Hao Zheng and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Classical and Quantum Gravity and ACM Transactions on Design Automation of Electronic Systems.

In The Last Decade

Scott Little

20 papers receiving 197 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Scott Little United States	8	132	123	101	52	27	21	218
Zhufei Chu China	10	88 0.7×	66 0.5×	200 2.0×	19 0.4×	11 0.4×	61	248
G. Parthasarathy United States	11	133 1.0×	206 1.7×	176 1.7×	37 0.7×	69 2.6×	22	299
Valeriy Balabanov Taiwan	5	72 0.5×	94 0.8×	173 1.7×	30 0.6×	18 0.7×	8	258
Matthew Lewis Germany	7	93 0.7×	84 0.7×	69 0.7×	67 1.3×	55 2.0×	20	195
Shih-Chieh Chang Taiwan	9	32 0.2×	213 1.7×	191 1.9×	63 1.2×	7 0.3×	30	300
Aude Maignan France	6	113 0.9×	137 1.1×	8 0.1×	23 0.4×	29 1.1×	18	215
Kevin Chung Canada	9	61 0.5×	307 2.5×	326 3.2×	47 0.9×	7 0.3×	13	383
C. A. Krygowski United States	9	129 1.0×	288 2.3×	358 3.5×	147 2.8×	16 0.6×	12	423
A. Saldanha United States	11	122 0.9×	390 3.2×	349 3.5×	63 1.2×	16 0.6×	23	453
Jan L. A. Snepscheut Netherlands	9	116 0.9×	83 0.7×	85 0.8×	85 1.6×	16 0.6×	21	264

Countries citing papers authored by Scott Little

Since Specialization

Citations

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

Fields of papers citing papers by Scott Little

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Scott Little

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

Little, Scott, et al.. (2014). LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. 1017–1020. 2 indexed citations

Mukherjee, Subhankar, et al.. (2012). Synchronizing AMS Assertions with AMS Simulation. ACM Transactions on Design Automation of Electronic Systems. 17(4). 1–25. 7 indexed citations

Havlicek, John & Scott Little. (2011). Realtime regular expressions for analog and mixed-signal assertions. 155–162. 5 indexed citations

Little, Scott, et al.. (2011). Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 30(4). 617–630. 14 indexed citations

Sankman, Joseph, et al.. (2010). Development of a Remote Pulse Oximeter. UA Campus Repository (The University of Arizona).

Little, Scott, et al.. (2010). ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES. International Journal of Foundations of Computer Science. 21(2). 191–210. 15 indexed citations

Myers, Chris J., et al.. (2009). A new verification method for embedded systems. 407. 193–200. 5 indexed citations

Little, Scott, et al.. (2008). Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 27(12). 2223–2235. 24 indexed citations

Little, Scott. (2008). Efficient modeling and verification of analog/mixed-signal circuits using labeled hybrid petri nets. 7 indexed citations

10.

Little, Scott, et al.. (2007). Symbolic Model Checking of Analog/Mixed-Signal Circuits. 316–323. 6 indexed citations

11.

Little, Scott, Alper Şen, & Chris J. Myers. (2007). Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits. 109–115. 3 indexed citations

12.

Little, Scott, et al.. (2006). Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design. 2404. 275–282. 27 indexed citations

13.

Little, Scott, et al.. (2006). Verification of analog/mixed-signal circuits using labeled hybrid petri nets. Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design. 275–275. 19 indexed citations

14.

Myers, Chris J., et al.. (2006). The Case for Analog Circuit Verification. Electronic Notes in Theoretical Computer Science. 153(3). 53–63. 14 indexed citations

15.

Little, Scott. (2006). Null Tests of Breakthrough Energy Claims. 2 indexed citations

16.

Zheng, Hao, et al.. (2006). Verification of timed circuits with failure-directed abstractions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(3). 403–412. 6 indexed citations

17.

Zheng, Hao, et al.. (2004). Verification of timed circuits with failure directed abstractions. 28–35. 6 indexed citations

18.

Winstead, Chris, Jie Dai, Scott Little, et al.. (2002). Analog MAP decoder for (8,4) Hamming code in subthreshold CMOS. 330–330. 29 indexed citations

19.

Winstead, Chris, et al.. (2002). Analog MAP decoder for (8, 4) Hamming code in subthreshold CMOS. 132–147. 21 indexed citations

20.

Little, Scott, et al.. (2001). The STSD Tool IT-Support for Socio-Technical System Design. IFAC Proceedings Volumes. 34(16). 351–356. 1 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