Nada Amin

54.0k total citations · 1 hit paper
31 papers, 35.2k citations indexed

About

Nada Amin is a scholar working on Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture. According to data from OpenAlex, Nada Amin has authored 31 papers receiving a total of 35.2k indexed citations (citations by other indexed papers that have themselves been cited), including 28 papers in Artificial Intelligence, 13 papers in Computer Networks and Communications and 11 papers in Hardware and Architecture. Recurrent topics in Nada Amin's work include Logic, programming, and type systems (24 papers), Parallel Computing and Optimization Techniques (11 papers) and Advanced Database Systems and Queries (9 papers). Nada Amin is often cited by papers focused on Logic, programming, and type systems (24 papers), Parallel Computing and Optimization Techniques (11 papers) and Advanced Database Systems and Queries (9 papers). Nada Amin collaborates with scholars based in United States, Switzerland and United Kingdom. Nada Amin's co-authors include Nitin S. Baliga, Daniel Ramage, Owen Ozier, Trey Ideker, Paul Shannon, Benno Schwikowski, Tiark Rompf, Martin Odersky, Saman Amarasinghe and William Thies and has published in prestigious journals such as Genome Research, ACM SIGPLAN Notices and Journal of Functional Programming.

In The Last Decade

Nada Amin

29 papers receiving 34.9k citations

Hit Papers

Cytoscape: A Software Environment for Integrated Models o... 2003 2026 2010 2018 2003 10.0k 20.0k 30.0k
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.

  1. Cytoscape: A Software Environment for Integrated Models of Biomolecular Interaction Networks
    2003 34.8k citations Paul Shannon, Owen Ozier et al. Genome Research profile →

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Nada Amin United States 13 21.8k 5.5k 4.5k 3.2k 2.9k 31 35.2k
Owen Ozier United States 16 22.7k 1.0× 5.6k 1.0× 4.5k 1.0× 3.2k 1.0× 2.9k 1.0× 41 36.5k
Daniel Ramage United States 20 21.9k 1.0× 5.6k 1.0× 4.5k 1.0× 3.2k 1.0× 2.9k 1.0× 28 42.3k
Benno Schwikowski France 23 24.6k 1.1× 5.6k 1.0× 4.6k 1.0× 3.5k 1.1× 2.9k 1.0× 53 38.3k
Nitin S. Baliga United States 46 26.6k 1.2× 5.9k 1.1× 5.1k 1.1× 3.4k 1.1× 2.9k 1.0× 144 41.8k
Jaime Huerta‐Cepas Spain 35 19.3k 0.9× 3.3k 0.6× 3.8k 0.9× 2.6k 0.8× 2.6k 0.9× 59 30.8k
Hidemasa Bono Japan 30 19.5k 0.9× 3.7k 0.7× 3.4k 0.8× 2.4k 0.8× 2.1k 0.7× 108 28.8k
Wataru Fujibuchi Japan 25 18.4k 0.8× 3.7k 0.7× 2.9k 0.7× 2.3k 0.7× 2.1k 0.7× 69 27.4k
Gavin Sherlock United States 52 35.0k 1.6× 4.6k 0.8× 5.4k 1.2× 3.0k 0.9× 2.3k 0.8× 127 49.1k
Andrew Kasarskis United States 31 22.8k 1.0× 3.4k 0.6× 3.5k 0.8× 2.6k 0.8× 1.6k 0.5× 80 33.9k
Allan Peter Davis United States 32 25.8k 1.2× 3.7k 0.7× 3.5k 0.8× 2.7k 0.8× 1.8k 0.6× 55 36.5k

Countries citing papers authored by Nada Amin

Since Specialization
Citations

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

Fields of papers citing papers by Nada Amin

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Nada Amin

This figure shows the co-authorship network connecting the top 25 collaborators of Nada Amin. A scholar is included among the top collaborators of Nada Amin 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 Nada Amin. Nada Amin is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Amin, Nada, et al.. (2023). LURK: Lambda, the Ultimate Recursive Knowledge (Experience Report). Proceedings of the ACM on Programming Languages. 7(ICFP). 259–274. 2 indexed citations
2.
Crowder, Camerron M., Andrew B. Crouse, William E. Byrd, et al.. (2022). The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren. Frontiers in Artificial Intelligence. 5. 910216–910216. 20 indexed citations
3.
Rompf, Tiark & Nada Amin. (2019). A SQL to C compiler in 500 lines of code. Journal of Functional Programming. 29. 3 indexed citations
4.
Amin, Nada & Tiark Rompf. (2018). Collapsing towers of interpreters. Apollo (University of Cambridge). 4 indexed citations
5.
Amin, Nada & Tiark Rompf. (2017). Type soundness proofs with definitional interpreters. ACM SIGPLAN Notices. 52(1). 666–679. 9 indexed citations
6.
Amin, Nada & Tiark Rompf. (2017). LMS-Verify: abstraction without regret for verified systems programming. ACM SIGPLAN Notices. 52(1). 859–873. 1 indexed citations
7.
Amin, Nada & Tiark Rompf. (2017). Collapsing towers of interpreters. Proceedings of the ACM on Programming Languages. 2(POPL). 1–33. 9 indexed citations
8.
Amin, Nada & Tiark Rompf. (2016). LMS-Verify: abstraction without regret for verified systems programming. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 859–873. 6 indexed citations
9.
Rompf, Tiark & Nada Amin. (2016). Type soundness for dependent object types (DOT). ACM SIGPLAN Notices. 51(10). 624–641. 7 indexed citations
10.
Amin, Nada & Tiark Rompf. (2016). Type soundness proofs with definitional interpreters. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 666–679. 26 indexed citations
11.
Amin, Nada & Ross Tate. (2016). Java and scala's type systems are unsound: the existential crisis of null pointers. ACM SIGPLAN Notices. 51(10). 838–848. 3 indexed citations
12.
Amin, Nada. (2016). Dependent Object Types. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 11 indexed citations
13.
Amin, Nada & Ross Tate. (2016). Java and scala's type systems are unsound: the existential crisis of null pointers. Apollo (University of Cambridge). 838–848. 19 indexed citations
14.
Rompf, Tiark & Nada Amin. (2016). Type soundness for dependent object types (DOT). Apollo (University of Cambridge). 624–641. 31 indexed citations
15.
Rompf, Tiark & Nada Amin. (2015). Functional pearl: a SQL to C compiler in 500 lines of code. Apollo (University of Cambridge). 2–9. 21 indexed citations
16.
Amin, Nada, Tiark Rompf, & Martin Odersky. (2014). Foundations of path-dependent types. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 233–249. 24 indexed citations
17.
Rompf, Tiark, Arvind K. Sujeeth, Nada Amin, et al.. (2013). Optimizing data structures in high-level programs. ACM SIGPLAN Notices. 48(1). 497–510. 15 indexed citations
18.
Amin, Nada, Adriaan Moors, & Martin Odersky. (2012). Dependent Object Types Towards a foundation for Scala's type system.
19.
Amin, Nada, William Thies, & Saman Amarasinghe. (2009). Computer-aided design for microfluidic chips based on multilayer soft lithography. DSpace@MIT (Massachusetts Institute of Technology). 2–9. 52 indexed citations
20.
Shannon, Paul, Owen Ozier, Nitin S. Baliga, et al.. (2003). Cytoscape: A Software Environment for Integrated Models of Biomolecular Interaction Networks. Genome Research. 13(11). 2498–2504. 34768 indexed citations breakdown →

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

Breakdown of academic impact, for papers by Owen Ozier Breakdown of academic impact, for papers by Daniel Ramage Breakdown of academic impact, for papers by Benno Schwikowski Breakdown of academic impact, for papers by Nitin S. Baliga Breakdown of academic impact, for papers by Jaime Huerta‐Cepas Breakdown of academic impact, for papers by Hidemasa Bono Breakdown of academic impact, for papers by Wataru Fujibuchi Breakdown of academic impact, for papers by Gavin Sherlock Breakdown of academic impact, for papers by Andrew Kasarskis Breakdown of academic impact, for papers by Allan Peter Davis
Rankless by CCL
2026