| 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 | 56660 | 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 | 192 | |
| 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 | 149 | 2016 |
| 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 | 145 | 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 | 141 | 2022 |
| Type soundness proofs with definitional interpreters N Amin, T Rompf Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 120 | 2017 |
| Type soundness for dependent object types (dot) T Rompf, N Amin Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 113 | 2016 |
| 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 | 89 | 2016 |
| Foundations of path-dependent types N Amin, T Rompf, M Odersky Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 88 | 2014 |
| Dafnybench: A benchmark for formal software verification C Loughridge, Q Sun, S Ahrenbach, F Cassano, C Sun, Y Sheng, ... arXiv preprint arXiv:2406.08467, 2024 | 87 | 2024 |
| 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 | 84 | 2022 |
| 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 | 76 | 2013 |
| 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 | 76 | 2009 |
| Dependent object types N Amin, A Moors, M Odersky 19th International Workshop on Foundations of Object-Oriented Languages, 2012 | 58 | 2012 |
| Progress toward a universal biomedical data translator K Fecho, AE Thessen, SE Baranzini, C Bizon, JJ Hadlock, S Huang, ... Clinical and Translational Science 15 (8), 1838-1847, 2022 | 50 | 2022 |
| Global architecture of genetic interactions on the protein network O Ozier, N Amin, T Ideker Nature biotechnology 21 (5), 490-491, 2003 | 50 | 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 | 49 | 2015 |
| VerMCTS: Synthesizing multi-step programs using a verifier, a large language model, and tree search D Brandfonbrener, S Henniger, S Raja, T Prasad, C Loughridge, ... arXiv preprint arXiv:2402.08147, 2024 | 48* | 2024 |
| The Precision Medicine Process for Treating Rare Disease Using the Artificial Intelligence Tool mediKanren A Foksinska, CM Crowder, AB Crouse, J Henrikson, WE Byrd, ... Frontiers in Artificial Intelligence, 166, 2022 | 45 | 2022 |
| Collapsing Towers of Interpreters N Amin, T Rompf PACML 2 (POPL), 2018 | 40 | 2018 |