Bud Mishra

发表

The complexity of resolvent resolved

Giovanni Gallo, Bud Mishra, 1994, SODA '94.

Simultaneously Segmenting Multiple Gene Expression Time Courses by Analyzing Cluster Dynamics

Naren Ramakrishnan, Layne T. Watson, Bud Mishra, 2009, APBC.

Deception, identity, and security

Bud Mishra, William Casey, Ansgar Kellner, 2018, Commun. ACM.

Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes

Alberto Policriti, Bud Mishra, Marco Antoniotti, 2003, Pacific Symposium on Biocomputing.

What can information-asymmetric games tell us about the context of Crick's ‘frozen accident’?

Bud Mishra, Justin Jee, Andrew Sundstrom, 2013, Journal of The Royal Society Interface.

Agent-based trace learning in a recommendation-verification system for cybersecurity

Bud Mishra, William Casey, Jose Andre Morales, 2014, 2014 9th International Conference on Malicious and Unwanted Software: The Americas (MALWARE).

On Algorithmic Complexity of Biomolecular Sequence Assembly Problem

Bud Mishra, Michael C. Schatz, Giuseppe Narzisi, 2014, AlCoB.

Compiling path expressions into VLSI circuits

Edmund M. Clarke, Bud Mishra, Thomas S. Anantharaman, 1985, POPL '85.

Noise sensitivity analysis of statistically consistent optimal structure from motion

Frank Chongwoo Park, Munsang Kim, Bud Mishra, 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).

Reevaluating Assembly Evaluations with Feature Response Curves: GAGE and Assemblathons

Bud Mishra, Francesco Vezzi, Giuseppe Narzisi, 2012, PloS one.

Genomics via Optical Mapping III: Contiging Genomic DNA

David C. Schwartz, Bud Mishra, Thomas S. Anantharaman, 1998, ISMB.

Placing Probes along the Genome Using Pairwise Distance Data

Bud Mishra, William Casey, Michael Wigler, 2001, WABI.

Decidable Compositions of O-Minimal Automata

Carla Piazza, Bud Mishra, Alberto Casagrande, 2008, ATVA.

False Positives in Genomic Map Assembly and Sequence Validation

Bud Mishra, Thomas S. Anantharaman, T. Anantharaman, 2001, WABI.

An Efficient Algorithm to Find all 'Bidirectional' Edges of an Undirected Graph

Bud Mishra, 1984, FOCS.

Partitioning K clones: hardness results and practical algorithms for the K-populations problem

Laxmi Parida, Bud Mishra, B. Mishra, 1998, RECOMB '98.

Algorithmic Algebraic Model Checking III: Approximate Methods

Bud Mishra, Venkatesh Mysore, 2005, INFINITY.

Scoring-and-unfolding trimmed tree assembler: concepts, constructs and comparisons

Bud Mishra, Giuseppe Narzisi, B. Mishra, 2011, Bioinform..

Decidability in Robot Manipulation Planning pdf

Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra, 2018, ArXiv.

Some Constructions in Rings of Differential Polynomials

Giovanni Gallo, Bud Mishra, François Ollivier, 1991, AAECC.

Algorithmic Foundation of Robotics VII, Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2006, July 16-18, 2006, New York, NY, USA

Nancy M. Amato, Bud Mishra, Wesley H. Huang, 2008, WAFR.

New approaches to genomic analysis using single molecules

David C. Schwartz, Bud Mishra, B. Porter, 1998, RECOMB '98.

COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching

Bing Sun, Bud Mishra, Jacob T. Schwartz, 2006, International Conference on Computational Science.

Prediction of Protein Functions with Gene Ontology and Interspecies Protein Homology Data

Vladimir Pavlovic, Bud Mishra, Antonina Mitrofanova, 2011, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Quantitative Steinitz's theorems with applications to multifingered grasping

David G. Kirkpatrick, Chee-Keng Yap, Bud Mishra, 1990, STOC '90.

Cyber Security via Signaling Games: Toward a Science of Cyber Security

Jonathan M. Spring, Bud Mishra, William Casey, 2014, ICDCIT.

Algorithmic Foundation of Robotics VII

Nancy M. Amato, Bud Mishra, Wesley H. Huang, 2008 .

Algorithms in Stringomics (I): Pattern-Matching against “Stringomes”

Bud Mishra, Paolo Ferragina, 2014 .

Naturally Speaking: A Systems Biology Tool With Natural Language Interfaces

Bud Mishra, Marco Antoniotti, Ian T. Lau, 2004 .

Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control

Magnus Egerstedt, Bud Mishra, M. Egerstedt, 2008 .

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology

Carla Piazza, Alberto Policriti, Bud Mishra, 2005, CAV.

Malware Fingerprinting under Uncertainty

Bud Mishra, William Casey, Jose Andre Morales, 2017, 2017 IEEE 4th International Conference on Cyber Security and Cloud Computing (CSCloud).

On the competitiveness of on-line real-time task scheduling

Sanjoy K. Baruah, Dennis Shasha, Bud Mishra, 2004, Real-Time Systems.

Automatic Verification of Sequential Circuits Using Temporal Logic

Edmund M. Clarke, Michael C. Browne, David L. Dill, 1986, IEEE Transactions on Computers.

Efficient and Robust Prediction Algorithms for Protein Complexes Using Gomory-Hu Trees

Bud Mishra, Martin Farach-Colton, Antonina Mitrofanova, 2008, Pacific Symposium on Biocomputing.

XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior

Alberto Policriti, Bud Mishra, Marco Antoniotti, 2002, HiPC.

Life's Duplicities: Sex, Death, and Valis

Bud Mishra, 2003, HiPC.

A Symbolic Approachto Modeling Cellular Behavior

Bud Mishra, 2002, HiPC.

Algorithmic Tools and Computational Frameworks for Cell Informatics

Bud Mishra, B. Mishra, 2006 .

Automatic Verification of Asynchronous Circuits

Edmund M. Clarke, Bud Mishra, E. Clarke, 1983, Logic of Programs.

Exposing the probabilistic causal structure of discrimination

Francesco Bonchi, Bud Mishra, Daniele Ramazzotti, 2015, International Journal of Data Science and Analytics.

A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes.

Alessandra Carbone, Yi Zhou, Amir Pnueli, 2003, Omics : a journal of integrative biology.

Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in Cancer

Andreas Witzel, Bud Mishra, Loes Olde Loohuis, 2014, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

Compliance signaling games: toward modeling the deterrence of insider threats

Quanyan Zhu, Bud Mishra, William Casey, 2016, Comput. Math. Organ. Theory.

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

Carla Piazza, Bud Mishra, Venkatesh Mysore, 2005, ATVA.

Bidirectional edges problem: Part I—A simple algorithm

Bud Mishra, B. Mishra, 1996, Algorithmica.

Psst: a web-based system for tracking political statements

Bud Mishra, Samantha Kleinberg, B. Mishra, 2008, WWW.

Algebraic Systems Biology: Theses and Hypotheses

Bud Mishra, B. Mishra, 2007, AB.

Threats from Inside: Dynamic Utility (Mis)Alignments in an Agent based Model

Bud Mishra, William Casey, Jose Andre Morales, 2016, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Technical perspectiveWhere biology meets computing

Bud Mishra, 2009, CACM.

Time-frequency feature detection for time-course microarray data

Bud Mishra, Paolo Emilio Barbano, Jiawu Feng, 2004, SAC '04.

Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology

Bud Mishra, B. Mishra, 2009, Journal of The Royal Society Interface.

Algorithmic Algebra

Bud Mishra, B. Mishra, 1993, Texts and Monographs in Computer Science.

An NL Hierarchy

Jianer Chen, Bud Mishra, Jim Cox, 1991, Inf. Process. Lett..

Notes on Gröbner bases

Chee-Keng Yap, Bud Mishra, C. Yap, 2018, Inf. Sci..

Composing Semi-algebraic O-Minimal Automata

Carla Piazza, Bud Mishra, Alberto Casagrande, 2007, HSCC.

Visualizing a Malware Distribution Network

Yang Cai, Bud Mishra, William Casey, 2016, 2016 IEEE Symposium on Visualization for Cyber Security (VizSec).

Efficient inference of cancer progression models

Giancarlo Mauri, Giulio Caravagna, Bud Mishra, 2014 .

Cyber Security via Minority Games with Epistatic Signaling

Bud Mishra, William Casey, Jose Andre Morales, 2014, BICT.

The Temporal Logic of Causal Structures

Bud Mishra, Samantha Kleinberg, B. Mishra, 2009, UAI.

On-line scheduling in the presence of overload

Sanjoy K. Baruah, Dennis Shasha, Bud Mishra, 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

Discovering the Ebb and Flow of Ideas from Text Corpora

M. Shahriar Hossain, Naren Ramakrishnan, Bud Mishra, 2012, Computer.

Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks

Bud Mishra, Daniele Ramazzotti, Gelin Gao, 2017, ICCS.

Communications in Statistics - Theory and Methods

Bud Mishra, Marc Sobel, M. Sobel, 2008 .

Validation of S. Pombe Sequence Assembly by Microarray Hybridization

Bud Mishra, William Casey, Michael Wigler, 2006, J. Comput. Biol..

Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping

Bud Mishra, Thomas S. Anantharaman, Venkatesh Mysore, 2005, Pacific Symposium on Biocomputing.

Scoring-and-Unfolding Trimmed Tree Assembler: Algorithms for Assembling Genome Sequences Accurately and Efficiently

Bud Mishra, Giuseppe Narzisi, G. Narzisi, 2011 .

A solution to Kronecker's problem

Giovanni Gallo, Bud Mishra, G. Gallo, 2015, Applicable Algebra in Engineering, Communication and Computing.

Workholding-analysis and planning

Bud Mishra, 1991, Proceedings IROS '91:IEEE/RSJ International Workshop on Intelligent Robots and Systems '91.

Algorithmic Foundations of Robotics XI - Selected Contributions of the Eleventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2014, 3-5 August 2014, Boğaziçi University, İstanbul, Turkey

Nancy M. Amato, Bud Mishra, Wesley H. Huang, 2015, WAFR.

Modeling and simulation of e-mail social networks: A new stochastic agent-based approach

Bud Mishra, Giuseppe Narzisi, Fabian Menges, 2008, 2008 Winter Simulation Conference.

Systems Biology of Cancer: A Challenging Expedition for Clinical and Quantitative Biologists

Bud Mishra, Ilya Korsunsky, Nancy Griffeth, 2014, Front. Bioeng. Biotechnol..

Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic Profiles

Simon Kasif, Bud Mishra, Samantha Kleinberg, 2008, 2008 IEEE International Conference on Bioinformatics and Biomedicine.

On the Dynamic Finger Conjecture for Splay Trees. Part I: Splay Sorting log n-Block Sequences

Richard Cole, Jeanette P. Schmidt, Alan Siegel, 1995, SIAM J. Comput..

Causal data science for financial stress testing

Bud Mishra, Daniele Ramazzotti, Gelin Gao, 2017, J. Comput. Sci..

Compliance Control: Managed Vulnerability Surface in Social-Technological Systems via Signaling Games

Quanyan Zhu, Bud Mishra, William Casey, 2015, MIST@CCS.

Wu-Ritt Characteristic Sets and Their Complexity

Giovanni Gallo, Bud Mishra, G. Gallo, 1990, Discrete and Computational Geometry.

Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing

Marta Simeoni, Carla Piazza, Alberto Policriti, 2003, CMSB.

Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods

Giancarlo Mauri, Bud Mishra, Italo Zoppis, 2007, ISBRA.

Inferring Tree Causal Models of Cancer Progression with Probability Raising

Giancarlo Mauri, Giulio Caravagna, Bud Mishra, 2013, bioRxiv.

TotalReCaller: improved accuracy and performance via integrated alignment and base-calling

Bud Mishra, Giuseppe Narzisi, Fabian Menges, 2011, Bioinform..

Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks

Bud Mishra, Venkatesh Mysore, B. Mishra, 2007, AB.

Functional genomics via multiscale analysis: application to gene expression and ChIP-on-chip data

Alexandre Blais, Guangliang Chen, Bud Mishra, 2007, Bioinform..

CAFE/spl acute/: a Complex Adaptive Financial Environment

Bud Mishra, Roil Even, 1996, IEEE/IAFE 1996 Conference on Computational Intelligence for Financial Engineering (CIFEr).

Automatic Synthesis Algorithms for Supervisory Controllers (Preliminary Report)

Bud Mishra, Marco Antoniotti, B. Mishra, 1994 .

Identity Deception and Game Deterrence via Signaling Games

Bud Mishra, William Casey, Ansgar Kellner, 2016, EAI Endorsed Trans. Security Safety.

Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics

Bud Mishra, B. Mishra, 2015, ICDCIT.

Aligning sequences with non-Affine Gap penalty: Plains Algorithm, a Practical Implementation, and its biological Applications in Comparative genomics

Yi Zhou, Bud Mishra, Ofer H. Gill, 2005, Advances in Bioinformatics and Its Applications.

Resilience in the Face of Disaster: Accounting for Varying Disaster Magnitudes, Resource Topologies, and (Sub)Population Distributions in the PLAN C Emergency Planning Tool

Bud Mishra, Giuseppe Narzisi, Silas Smith, 2007, HoloMAS.

Systems biology via redescription and ontologies (I): finding phase changes with applications to malaria temporal data

Bud Mishra, Kevin Casey, Samantha Kleinberg, 2007, Systems and Synthetic Biology.

Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers

Bud Mishra, Marco Antoniotti, B. Mishra, 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

Integrative Protein Function Transfer Using Factor Graphs and Heterogeneous Data Sources

Vladimir Pavlovic, Bud Mishra, Antonina Mitrofanova, 2008, 2008 IEEE International Conference on Bioinformatics and Biomedicine.

Mathematical modeling of the formation of apoptosome in intrinsic pathway of apoptosis

Bud Mishra, Marco Antoniotti, Nadia Ugel, 2008, Systems and Synthetic Biology.

Correction to: Exposing the probabilistic causal structure of discrimination

Francesco Bonchi, Bud Mishra, Daniele Ramazzotti, 2019, International Journal of Data Science and Analytics.

Towards Cancer Hybrid Automata

Andreas Witzel, Bud Mishra, Loes Olde Loohuis, 2012, HSB.

A Fully Parallel Algorithm for Implementing Path Expressions

Bud Mishra, Anne Dinning, B. Mishra, 1990, J. Parallel Distributed Comput..

A linear-time algorithm for finding an ambitus

Robert E. Tarjan, Bud Mishra, R. Tarjan, 2011, Algorithmica.

On a novel coalescent model for genome-wide evolution of Copy Number Variations

Bud Mishra, Antonina Mitrofanova, B. Mishra, 2010, Int. J. Data Min. Bioinform..

Sandboxing and reasoning on malware infection trees

Bud Mishra, William Casey, Jose Andre Morales, 2015, 2015 10th International Conference on Malicious and Unwanted Software (MALWARE).

Predicting malaria interactome classifications from time-course transcriptomic data along the intraerythrocytic developmental cycle

Simon Kasif, Bud Mishra, Samantha Kleinberg, 2010, Artif. Intell. Medicine.

TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data

Giancarlo Mauri, Giulio Caravagna, Bud Mishra, 2015, bioRxiv.

Decidability of Robot Manipulation Planning: Three Disks in the Plane

Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra, 2014, WAFR.

Epistatic Signaling and Minority Games, the Adversarial Dynamics in Social Technological Systems

Bud Mishra, William Casey, Jose Andre Morales, 2016, Mob. Networks Appl..

Inclusion dynamics hybrid automata

Carla Piazza, Alberto Policriti, Bud Mishra, 2008, Inf. Comput..

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

Klaus Schneider, Bud Mishra, Raffaella Gentilini, 2007, LFCS.

Metamorphosis: the Coming Transformation of Translational Systems Biology

Bud Mishra, Samantha Kleinberg, B. Mishra, 2009, ACM Queue.

Probabilistic Causal Analysis of Social Influence

Francesco Bonchi, Bud Mishra, Daniele Ramazzotti, 2018, CIKM.

Genomics via Optical Mapping II: Ordered Restriction Maps

David C. Schwartz, Bud Mishra, Thomas S. Anantharaman, 1997, J. Comput. Biol..

Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis

Laxmi Parida, Bud Mishra, B. Mishra, 2000, Discret. Appl. Math..

Model building and model checking for biochemical processes

Alberto Policriti, Bud Mishra, Marco Antoniotti, 2007, Cell Biochemistry and Biophysics.

Automatic Verificationof Sequential Circuits Using TemporalLogic

Bud Mishra, 1986 .

Compiling path expressions into VLSI circuits

Edmund M. Clarke, Bud Mishra, Thomas S. Anantharaman, 1985, Distributed Computing.

NC algorithms for real algebraic numbers

Felipe Cucker, Bud Mishra, Marie-Françoise Roy, 1992, Applicable Algebra in Engineering, Communication and Computing.

CAPRI: Efficient Inference of Cancer Progression Models from Cross-sectional Data

Giancarlo Mauri, Giulio Caravagna, Bud Mishra, 2014, bioRxiv.

Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning

Bud Mishra, Giuseppe Narzisi, Venkatesh Mysore, 2006, Computational Intelligence.

New findings from the SpiderWeb algorithm: toward a digital morse theory

Bud Mishra, James Cox, Daniel B. Karron, 1994, Other Conferences.

SEPA: Approximate Non-subjective Empirical p-Value Estimation for Nucleotide Sequence Alignment

Bud Mishra, Ofer H. Gill, B. Mishra, 2006, International Conference on Computational Science.

Complexities, Catastrophes and Cities: Emergency Dynamics in Varying Scenarios and Urban Topologies

Bud Mishra, Giuseppe Narzisi, Venkatesh Mysore, 2010 .

Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice

Marta Simeoni, Carla Piazza, Alberto Policriti, 2004, Theor. Comput. Sci..

Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes

Bud Mishra, Antonina Mitrofanova, 2008, SAC '08.

Inference of Cancer Progression Models with Biological Noise

Giulio Caravagna, Bud Mishra, Daniele Ramazzotti, 2014, ArXiv.

Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction

Carla Piazza, Bud Mishra, Alberto Casagrande, 2007, AB.

Cancer hybrid automata: Model, beliefs and therapy

Andreas Witzel, Bud Mishra, Loes Olde Loohuis, 2014, Inf. Comput..

Statistical algorithms and software for genomics

Bud Mishra, Thomas S. Anantharaman, 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

Magnus Egerstedt, Bud Mishra, 2008, HSCC.

The Temporal Logic of Token Causes

Bud Mishra, Samantha Kleinberg, B. Mishra, 2010, KR.

Transactions on Computational Systems Biology VII

Hanne Riis Nielson, Anna Ingólfsdóttir, Corrado Priami, 2006, Trans. Computational Systems Biology.

A Random Walk Down the Genomes: DNA Evolution in Valis

Yi Zhou, Bud Mishra, Salvatore Paxia, 2002, Computer.

A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing

Bud Mishra, William Casey, 2003, HiPC.

On the existence and synthesis of multifinger positive grips

Micha Sharir, Bud Mishra, Jacob T. Schwartz, 2015, Algorithmica.

Computational Real Algebraic Geometry

Bud Mishra, B. Mishra, 2004, Handbook of Discrete and Computational Geometry, 2nd Ed..

Reactive algorithms for grasping using a modified parallel jaw gripper

Marek Teichmann, Bud Mishra, B. Mishra, 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

Image Analysis and Length Estimation of Biomolecules Using AFM

Bud Mishra, Salvatore Paxia, Andrew Sundstrom, 2012, IEEE Transactions on Information Technology in Biomedicine.

On the competitiveness of on-line real-time task scheduling

Sanjoy K. Baruah, Dennis Shasha, Bud Mishra, 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

Arithmetic with real algebraic numbers is in NC

Bud Mishra, Paul Pedersen, 1990, ISSAC '90.

Coins, Covid, Keynes and K-Shaped Recovery

Bud Mishra, Pepi Martinez, William Huang, 2021, Financial Cryptography Workshops.

To mock a Mocking bird : Studies in Biomimicry pdf

Bud Mishra, Inavamsi Enaganti, B. Mishra, 2021, ArXiv.

Testing the efficacy of epidemic testing

Bud Mishra, Surya Dheeshjith, Inavamsi Enaganti, 2021, 2109.07580.

Efficient Evolutionary Models with Digraphons pdf

Bud Mishra, Abhinav Tamaskar, B. Mishra, 2021, ArXiv.

Creolizing the Web pdf

Bud Mishra, Sunandan Chakraborty, Roy Rinberg, 2021, ArXiv.

Algorithmic techniques in computational genomics

Laxmi Parida, Bud Mishra, B. Mishra, 1998 .

Remembrance of Experiments Past: Analyzing Time Course Datasets to Discover Complex Temporal Invariants

Naren Ramakrishnan, Deept Kumar, Bud Mishra, 2005 .

Algorithmic methods to infer the evolutionary trajectories in cancer progression

Giancarlo Mauri, Giulio Caravagna, Bud Mishra, 2015, Proceedings of the National Academy of Sciences.

Gappy TotalReCaller for RNASeq Base-Calling and Mapping

Bud Mishra, B. Mishra, 2013, bioRxiv.

A Sense of Life *

Alessandra Carbone, Amir Pnueli, Bing Sun, 2022 .

Counting Real Zeros

Bud Mishra, B. Mishra, Paul Pedersen, 1991 .

Algorithmic algebraic model checking: hybrid automata and systems biology

Bud Mishra, Venkatesh Mysore, B. Mishra, 2006 .

Identifying individual DNA species in a complex mixture by precisely measuring the spacing between nicking restriction enzymes with atomic force microscope

Bud Mishra, Andrew Sundstrom, Jason Reed, 2012, Journal of The Royal Society Interface.

Mapping tumor-suppressor genes with multipoint statistics from copy-number-variation data.

Bud Mishra, Raoul-Sam Daruwala, B. Mishra, 2006, American journal of human genetics.

The apoptotic machinery as a biological complex system: analysis of its omics and evolution, identification of candidate genes for fourteen major types of cancer, and experimental validation in CML and neuroblastoma

Bud Mishra, Michele Purrello, Marco Ragusa, 2009 .

Tolque: A Tool for Algorithmic Algebraic Model Checking

Carla Piazza, Bud Mishra, Alberto Casagrande, 2005 .

A Nearly Linear – Time General Algorithm for Bi – Allele Haplotype Phasing

Bud Mishra, Will Casey, .

Investigating Causal Relationships in Stock Returns with Temporal Logic Based Methods

Petter N. Kolm, Bud Mishra, Samantha Kleinberg, 2010 .

Wild by Nature

Bud Mishra, Michael Wigler, 2002, Science.

Multimarker Genetic Analysis Methods for High Throughput Array Data

Bud Mishra, B. Mishra, Iuliana Ionita, 2006 .

Distribution of short paired duplications in mammalian genomes.

Nathan Srebro, Bud Mishra, Michael Wigler, 2004, Proceedings of the National Academy of Sciences of the United States of America.

Quantitative analysis of germline mitosis in adult C. elegans.

Bud Mishra, Nadia Ugel, Marco Isopi, 2006, Developmental biology.

Histological Image Processing Features Induce a Quantitative Characterization of Chronic Tumor Hypoxia

Bud Mishra, Andrew Sundstrom, D. Bar-Sagi, 2016, PloS one.

Multiple Testing of Causal Hypotheses

Bud Mishra, Samantha Kleinberg, B. Mishra, 2008 .