Nada Amin
Harvard University Press(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Advanced Database Systems and Queries, Formal Methods in Verification, Distributed systems and fault tolerance
Most-Cited Works
- → Cytoscape: A Software Environment for Integrated Models of Biomolecular Interaction Networks(2003)53,118 cited
- → Optimizing data structures in high-level programs(2013)94 cited
- → The Essence of Dependent Object Types(2016)68 cited
- → Computer-aided design for microfluidic chips based on multilayer soft lithography(2009)58 cited
- → Type soundness for dependent object types (DOT)(2016)58 cited
- → Foundations of path-dependent types(2014)52 cited
- → The precision medicine process for treating rare disease using the artificial intelligence tool mediKanren(2022)52 cited
- → Type soundness proofs with definitional interpreters(2016)51 cited
- → Scala-Virtualized: linguistic reuse for deep embeddings(2012)48 cited
- → Java and scala's type systems are unsound: the existential crisis of null pointers(2016)40 cited