| Cytoscape: a software environment for integrated models of biomolecular interaction networks P Shannon, A Markiel, O Ozier, NS Baliga, JT Wang, D Ramage, N Amin, ... Genome research 13 (11), 2498-2504, 2003 | 44505 | 2003 |
| A software environment for integrated models of biomolecular interaction networks., 2003, 13 P Shannon, A Markiel, O Ozier, NS Baliga, JT Wang, D Ramage, N Amin, ... DOI: https://doi. org/10.1101/gr 1239303, 2498-2504, 0 | 147 | |
| Optimizing data structures in high-level programs: New directions for extensible compilers based on staging T Rompf, AK Sujeeth, N Amin, KJ Brown, V Jovanovic, HJ Lee, ... Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013 | 141 | 2013 |
| The Essence of Dependent Object Types N Amin, S Grütter, M Odersky, T Rompf, S Stucki A List of Successes That Can Change the World, 249-272, 2016 | 122 | 2016 |
| Type soundness proofs with definitional interpreters N Amin, T Rompf Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 97 | 2017 |
| Type soundness for dependent object types (dot) T Rompf, N Amin Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 89 | 2016 |
| Foundations of path-dependent types N Amin, T Rompf, M Odersky Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 81 | 2014 |
| Java and scala's type systems are unsound: the existential crisis of null pointers N Amin, R Tate Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 71 | 2016 |
| Computer-aided design for microfluidic chips based on multilayer soft lithography N Amin, W Thies, S Amarasinghe Computer Design, 2009. ICCD 2009. IEEE International Conference on, 2-9, 2009 | 70 | 2009 |
| Scala-virtualized: Linguistic reuse for deep embeddings T Rompf, N Amin, A Moors, P Haller, M Odersky Higher-Order and Symbolic Computation, 1-43, 2013 | 67 | 2013 |
| Biolink Model: A universal schema for knowledge graphs in clinical, biomedical, and translational science DR Unni, SAT Moxon, M Bada, M Brush, R Bruskiewich, JH Caufield, ... Clinical and translational science 15 (8), 1848-1855, 2022 | 64 | 2022 |
| Dependent object types N Amin, A Moors, M Odersky 19th International Workshop on Foundations of Object-Oriented Languages, 2012 | 52 | 2012 |
| Trey P20 GM64361/GM PM Shannon, A Ozier, O Baliga, NS Wang, JT Ramage, D Amin, ... NIGMS NIH HHS/United States Research Support, Non-US Gov’t Research Support …, 2003 | 51* | 2003 |
| Global architecture of genetic interactions on the protein network O Ozier, N Amin, T Ideker Nature biotechnology 21 (5), 490-491, 2003 | 49 | 2003 |
| Functional Pearl: A SQL to C Compiler in 500 Lines of Code T Rompf, N Amin Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 45 | 2015 |
| Reasoning about “Reasoning about Reasoning”: Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion Y Zhang, N Amin Proceedings of the ACM on Programming Languages 6 (POPL), 2022 | 39 | 2022 |
| JavaScript as an Embedded DSL G Kossakowski, N Amin, T Rompf, M Odersky ECOOP 2012–Object-Oriented Programming, 409-434, 2012 | 34 | 2012 |
| Collapsing Towers of Interpreters N Amin, T Rompf PACML 2 (POPL), 2018 | 30 | 2018 |
| Computing with an SMT solver N Amin, KRM Leino, T Rompf Tests and Proofs, 20-35, 2014 | 30 | 2014 |
| Versatile event correlation with algebraic effects O Bračevac, N Amin, G Salvaneschi, S Erdweg, P Eugster, M Mezini Proceedings of the ACM on Programming Languages 2 (ICFP), 1-31, 2018 | 29 | 2018 |