| SBML Level 3: an extensible format for the exchange and reuse of biological models SM Keating, D Waltemath, M König, F Zhang, A Dräger, C Chaouiya, ... Molecular Systems Biology 16 (8), e9110, 2020 | 241 | 2020 |
| A pan-cancer analysis reveals high-frequency genetic alterations in mediators of signaling by the TGF-β superfamily A Korkut, S Zaidi, RS Kanchi, S Rao, NR Gough, A Schultz, X Li, ... Cell systems 7 (4), 422-437. e7, 2018 | 158 | 2018 |
| Model building and model checking for biochemical processes M Antoniotti, A Policriti, N Ugel, B Mishra Cell biochemistry and biophysics 38, 271-286, 2003 | 143 | 2003 |
| Discrete event models+ temporal logic= supervisory controller: Automatic synthesis of locomotion controllers M Antoniotti, B Mishra Proceedings of 1995 IEEE International Conference on Robotics and Automation …, 1995 | 106 | 1995 |
| CAPRI: efficient inference of cancer progression models from cross-sectional data D Ramazzotti, G Caravagna, L Olde Loohuis, A Graudenzi, I Korsunsky, ... Bioinformatics 31 (18), 3016-3026, 2015 | 105 | 2015 |
| Algorithmic algebraic model checking I: Challenges from systems biology C Piazza, M Antoniotti, V Mysore, A Policriti, F Winkler, B Mishra International Conference on Computer Aided Verification, 5-19, 2005 | 97 | 2005 |
| Algorithmic methods to infer the evolutionary trajectories in cancer progression G Caravagna, A Graudenzi, D Ramazzotti, R Sanz-Pamplona, L De Sano, ... PNAS 113 (28), E4025-E4034, 2016 | 95 | 2016 |
| From bytes to bedside: data integration and computational biology for translational cancer research JP Mathew, BS Taylor, GD Bader, S Pyarajan, M Antoniotti, ... PLoS computational biology 3 (2), e12, 2007 | 87 | 2007 |
| Inferring Tree Causal Models of Cancer Progression with Probability Raising L Olde Loohuis, G Caravagna, A Graudenzi, D Ramazzotti, G Mauri, ... PLoS ONE, 2014 | 76 | 2014 |
| A review of spatial computational models for multi-cellular systems, with regard to intestinal crypts and colorectal cancer development G De Matteis, A Graudenzi, M Antoniotti Journal of mathematical biology 66 (7), 1409-1462, 2013 | 62 | 2013 |
| A comparison of machine learning techniques for survival prediction in breast cancer L Vanneschi, A Farinaccio, G Mauri, M Antoniotti, P Provero, M Giacobini BioData mining 4, 1-13, 2011 | 62 | 2011 |
| Foundations of a query and simulation system for the modeling of biochemical and biological processes M Antoniotti, F Park, A Policriti, N Ugel, B Mishra Biocomputing 2003, 116-127, 2002 | 58 | 2002 |
| A review of computational strategies for denoising and imputation of single-cell transcriptomic data L Patruno, D Maspero, F Craighero, F Angaroni, M Antoniotti, A Graudenzi Briefings in Bioinformatics, 2020 | 55 | 2020 |
| Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice M Antoniotti, C Piazza, A Policriti, M Simeoni, B Mishra Theoretical Computer Science 325 (1), 45-67, 2004 | 52 | 2004 |
| Synthesis and verification of discrete controllers for robotics and manufacturing devices with temporal logic and the Control-D system M Antoniotti New York University, 1995 | 50 | 1995 |
| TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data L De Sano, G Caravagna, D Ramazzotti, A Graudenzi, G Mauri, B Mishra, ... biorxiv.org, 2015 | 48 | 2015 |
| SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation. M Antoniotti, A Göllü DSL 97, 14-14, 1997 | 48 | 1997 |
| Microsimulation analysis of automated vehicles on multiple merge junction highways M Antoniotti, A Deshpande, A Girault 1997 IEEE International Conference on Systems, Man, and Cybernetics …, 1997 | 44 | 1997 |
| System and process for validating, aligning and reordering one or more genetic sequence maps using at least one ordered restriction map M Antoniotti, B Mishra, T Anantharaman, S Paxia, DC Schwartz US Patent 7,831,392, 2010 | 43 | 2010 |
| Method, system and software arrangement for reconstructing formal descriptive models of processes from functional/modal data using suitable ontology B Mishra, M Antoniotti, N Ramakrishnan US Patent 7,801,841, 2010 | 41 | 2010 |
Bud MishraProfessor of Computer Science and Mathematics在 nyu.edu 的电子邮件经过验证
