Bud Mishra

Ontology type: schema:Person     

Person Info





Publications in SciGraph latest 50 shown

  • 2017-12 DNA nanomapping using CRISPR-Cas9 as a programmable nanoparticle in NATURE COMMUNICATIONS
  • 2017-02 Exposing the probabilistic causal structure of discrimination in INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS
  • 2016-09 Compliance signaling games: toward modeling the deterrence of insider threats in COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY
  • 2016-06 Rates and mechanisms of bacterial mutagenesis from maximum-depth sequencing in NATURE
  • 2016-02 Epistatic Signaling and Minority Games, the Adversarial Dynamics in Social Technological Systems in MOBILE NETWORKS AND APPLICATIONS
  • 2015 Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics in DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY
  • 2015 Decidability of Robot Manipulation Planning: Three Disks in the Plane in ALGORITHMIC FOUNDATIONS OF ROBOTICS XI
  • 2014-10 Proceedings of The Twelfth Annual RECOMB Comparative Genomics Conference in BMC GENOMICS
  • 2014 On Algorithmic Complexity of Biomolecular Sequence Assembly Problem in ALGORITHMS FOR COMPUTATIONAL BIOLOGY
  • 2014 Cyber Security via Signaling Games: Toward a Science of Cyber Security in DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY
  • 2013 Mathematics’ Mortua Manus:Discovering Dexterity in FROM LINEAR OPERATORS TO COMPUTATIONAL BIOLOGY
  • 2010 Systems Biology via Redescription and Ontologies (II): A Tool for Discovery in Complex Systems in UNIFYING THEMES IN COMPLEX SYSTEMS
  • 2010 Complexities, Catastrophes and Cities: Emergency Dynamics in Varying Scenarios and Urban Topologies in UNIFYING THEMES IN COMPLEX SYSTEMS
  • 2009-12 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 in BMC MEDICAL GENOMICS
  • 2008-06 Mathematical modeling of the formation of apoptosome in intrinsic pathway of apoptosis in SYSTEMS AND SYNTHETIC BIOLOGY
  • 2008-04 Dropout Alignment Allows Homology Recognition and Evolutionary Analysis of rDNA Intergenic Spacers in JOURNAL OF MOLECULAR EVOLUTION
  • 2008 Decidable Compositions of O-Minimal Automata in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2007-12 Systems biology via redescription and ontologies (I): finding phase changes with applications to malaria temporal data in SYSTEMS AND SYNTHETIC BIOLOGY
  • 2007 Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction in ALGEBRAIC BIOLOGY
  • 2007 Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks in ALGEBRAIC BIOLOGY
  • 2007 Resilience in the Face of Disaster: Accounting for Varying Disaster Magnitudes, Resource Topologies, and (Sub)Population Distributions in the PLAN C Emergency Planning Tool in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING
  • 2007 Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking in LOGICAL FOUNDATIONS OF COMPUTER SCIENCE
  • 2007 Algebraic Systems Biology: Theses and Hypotheses in ALGEBRAIC BIOLOGY
  • 2007 Composing Semi-algebraic O-Minimal Automata in HYBRID SYSTEMS: COMPUTATION AND CONTROL
  • 2007 Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods in BIOINFORMATICS RESEARCH AND APPLICATIONS
  • 2006 SEPA: Approximate Non-subjective Empirical p-Value Estimation for Nucleotide Sequence Alignment in COMPUTATIONAL SCIENCE – ICCS 2006
  • 2006 COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching in COMPUTATIONAL SCIENCE – ICCS 2006
  • 2005 Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2005 Stability of Hybrid Systems and Related Questions from Systems Biology in ADVANCES IN CONTROL, COMMUNICATION NETWORKS, AND TRANSPORTATION SYSTEMS
  • 2005 Algorithmic Algebraic Model Checking I: Challenges from Systems Biology in COMPUTER AIDED VERIFICATION
  • 2004 Models of Genome Evolution in MODELLING IN MOLECULAR BIOLOGY
  • 2003-06 Model building and model checking for biochemical processes in CELL BIOCHEMISTRY AND BIOPHYSICS
  • 2003 A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing in HIGH PERFORMANCE COMPUTING - HIPC 2003
  • 2003 Life’s Duplicities: Sex, Death, and Valis in HIGH PERFORMANCE COMPUTING - HIPC 2003
  • 2002 XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior in HIGH PERFORMANCE COMPUTING — HIPC 2002
  • 2001 Placing Probes along the Genome Using Pairwise Distance Data in ALGORITHMS IN BIOINFORMATICS
  • 2001 False Positives in Genomic Map Assembly and Sequence Validation in ALGORITHMS IN BIOINFORMATICS
  • 2000-04 Probabilistic Algorithms for Efficient Grasping and Fixturing in ALGORITHMICA
  • 1999-11 A shotgun optical map of the entire Plasmodium falciparum genome in NATURE GENETICS
  • 1999-10 Optical PCR: Genomic analysis by long-range PCR and optical mapping in MAMMALIAN GENOME
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
            "affiliation": {
              "id": "https://www.grid.ac/institutes/grid.482020.c", 
              "type": "Organization"
            "isCurrent": true, 
            "type": "OrganizationRole"
            "id": "https://www.grid.ac/institutes/grid.225279.9", 
            "type": "Organization"
            "id": "https://www.grid.ac/institutes/grid.412779.e", 
            "type": "Organization"
            "id": "https://www.grid.ac/institutes/grid.7563.7", 
            "type": "Organization"
            "id": "https://www.grid.ac/institutes/grid.137628.9", 
            "type": "Organization"
        "familyName": "Mishra", 
        "givenName": "Bud", 
        "id": "sg:person.07600156632.31", 
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:12", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1969.json", 
        "type": "Person"

    Download the RDF metadata as:  json-ld nt turtle xml License info


    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.07600156632.31'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.07600156632.31'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.07600156632.31'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.07600156632.31'


    This table displays all metadata directly associated to this object as RDF triples.

    24 TRIPLES      10 PREDICATES      15 URIs      7 LITERALS      2 BLANK NODES

    Subject Predicate Object
    1 sg:person.07600156632.31 schema:affiliation N141e9601389748fe81d8d7cfa7ef3b05
    2 https://www.grid.ac/institutes/grid.137628.9
    3 https://www.grid.ac/institutes/grid.225279.9
    4 https://www.grid.ac/institutes/grid.412779.e
    5 https://www.grid.ac/institutes/grid.7563.7
    6 schema:familyName Mishra
    7 schema:givenName Bud
    8 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07600156632.31
    9 schema:sdDatePublished 2019-03-07T14:12
    10 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    11 schema:sdPublisher N684e903265fb43bab3256ed8e7d86798
    12 sgo:license sg:explorer/license/
    13 sgo:sdDataset persons
    14 rdf:type schema:Person
    15 N141e9601389748fe81d8d7cfa7ef3b05 schema:affiliation https://www.grid.ac/institutes/grid.482020.c
    16 sgo:isCurrent true
    17 rdf:type schema:OrganizationRole
    18 N684e903265fb43bab3256ed8e7d86798 schema:name Springer Nature - SN SciGraph project
    19 rdf:type schema:Organization
    20 https://www.grid.ac/institutes/grid.137628.9 schema:Organization
    21 https://www.grid.ac/institutes/grid.225279.9 schema:Organization
    22 https://www.grid.ac/institutes/grid.412779.e schema:Organization
    23 https://www.grid.ac/institutes/grid.482020.c schema:Organization
    24 https://www.grid.ac/institutes/grid.7563.7 schema:Organization

    Preview window. Press ESC to close (or click here)