Nada Amin

Cytoscape: A Software Environment for Integrated Models of Biomolecular Interaction Networks

Paul Shannon, Andrew Markiel, Owen Ozier et al. · Genome Research · 2003 · 54.3K citations · Full text

Life Sciences, Bioinformatics, Molecular Biology +17

Optimizing data structures in high-level programs

Tiark Rompf, Arvind K. Sujeeth, Nada Amin et al. · 2013 · 95 citations

Computing, Computer Science, Compilers +14

Type soundness for dependent object types (DOT)

Tiark Rompf, Nada Amin · 2016 · 59 citations · Full text

Computing, Computer Science, Formal Methods +15

Computer-aided design for microfluidic chips based on multilayer soft lithography

Nada Amin, William Thies, Saman Amarasinghe · 2009 · 58 citations · Full text

Engineering, Bioengineering, Computer Engineering +17

The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren

Aleksandra Foksinska, Camerron M. Crowder, Andrew B. Crouse et al. · Frontiers in Artificial Intelligence · 2022 · 58 citations · Full text

Medicine, Biomedical Informatics, Molecular Genetics +15