Bud Mishra

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 25

Top Venues

Publications

Bud Mishra
AI, Thinking Machines and a Vast Active Living Intelligent System. Int. J. Artif. Intell. Robotics Res. 1 (1) (2024)
Inavamsi B. Enaganti, Bud Mishra
To mock a Mocking bird : Studies in Biomimicry. CoRR (2021)
Pepi Martinez, William Huang, Bud Mishra
Coins, Covid, Keynes and K-Shaped Recovery. Financial Cryptography Workshops (2021)
Marilena Vendittelli, Andrea Cristofaro, Jean-Paul Laumond, Bud Mishra
Decidability in robot manipulation planning. Auton. Robots 45 (5) (2021)
Salvatore Alaimo, Rosaria Valentina Rapicavoli, Gioacchino P. Marceca, Alessandro La Ferlita, Oksana B. Serebrennikova, Philip N. Tsichlis, Bud Mishra, Alfredo Pulvirenti, Alfredo Ferro
PHENSIM: Phenotype Simulator. PLoS Comput. Biol. 17 (6) (2021)
Abhinav Tamaskar, Roy Rinberg, Sunandan Chakraborty, Bud Mishra
Creolizing the Web. CoRR (2021)
Abhinav Tamaskar, Bud Mishra
Efficient Evolutionary Models with Digraphons. CoRR (2021)
Francesco Bonchi, Sara Hajian, Bud Mishra, Daniele Ramazzotti
Correction to: Exposing the probabilistic causal structure of discrimination. Int. J. Data Sci. Anal. 9 (3) (2020)
Bud Mishra
Tech and the City: Axialization, Institutionalization and Disruption. SmartCity360° (2019)
William Casey, Ansgar Kellner, Parisa Memarmoshrefi, Jose Andre Morales, Bud Mishra
Deception, identity, and security: the game theory of sybil attacks. Commun. ACM 62 (1) (2019)
Gelin Gao, Bud Mishra, Daniele Ramazzotti
Causal data science for financial stress testing. J. Comput. Sci. 26 (2018)
Francesco Bonchi, Francesco Gullo, Bud Mishra, Daniele Ramazzotti
Probabilistic Causal Analysis of Social Influence. CoRR (2018)
Francesco Bonchi, Francesco Gullo, Bud Mishra, Daniele Ramazzotti
Probabilistic Causal Analysis of Social Influence. CIKM (2018)
Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra
Decidability in Robot Manipulation Planning. CoRR (2018)
Gelin Gao, Bud Mishra, Daniele Ramazzotti
Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks. CoRR (2017)
Gelin Gao, Bud Mishra, Daniele Ramazzotti
Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks. ICCS (2017)
Francesco Bonchi, Sara Hajian, Bud Mishra, Daniele Ramazzotti
Exposing the probabilistic causal structure of discrimination. Int. J. Data Sci. Anal. 3 (1) (2017)
Krishnendu Ghosh, William Casey, Jose Andre Morales, Bud Mishra
Malware Fingerprinting under Uncertainty. CSCloud (2017)
Sebastian Peryt, Jose Andre Morales, William Casey, Aaron Volkmann, Bud Mishra, Yang Cai
Visualizing a Malware Distribution Network. VizSEC (2016)
William Casey, Parisa Memarmoshrefi, Ansgar Kellner, Jose Andre Morales, Bud Mishra
Identity Deception and Game Deterrence via Signaling Games. EAI Endorsed Trans. Security Safety 3 (9) (2016)
William Casey, Jose Andre Morales, Bud Mishra
Threats from Inside: Dynamic Utility (Mis)Alignments in an Agent based Model. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 7 (1) (2016)
William Casey, Rhiannon Weaver, Jose Andre Morales, Evan Wright, Bud Mishra
Epistatic Signaling and Minority Games, the Adversarial Dynamics in Social Technological Systems. Mob. Networks Appl. 21 (1) (2016)
Luca De Sano, Giulio Caravagna, Daniele Ramazzotti, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Marco Antoniotti
TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data. Bioinform. 32 (12) (2016)
Marco Antoniotti, Giulio Caravagna, Luca De Sano, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Daniele Ramazzotti
Design of the TRONCO BioConductor Package for TRanslational ONCOlogy. R J. 8 (2) (2016)
William Casey, Jose Andre Morales, Evan Wright, Quanyan Zhu, Bud Mishra
Compliance signaling games: toward modeling the deterrence of insider threats. Comput. Math. Organ. Theory 22 (3) (2016)
Krishnendu Ghosh, Jose Andre Morales, William Casey, Bud Mishra
Sandboxing and reasoning on malware infection trees. MALWARE (2015)
William Austin Casey, Quanyan Zhu, Jose Andre Morales, Bud Mishra
Compliance Control: Managed Vulnerability Surface in Social-Technological Systems via Signaling Games. MIST@CCS (2015)
Francesco Bonchi, Sara Hajian, Bud Mishra, Daniele Ramazzotti
Exposing the Probabilistic Causal Structure of Discrimination. CoRR (2015)
William Casey, Parisa Memarmoshrefi, Ansgar Kellner, Jose Andre Morales, Bud Mishra
Identity Deception and Game Deterrence via Signaling Games. BICT (2015)
Bud Mishra
Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics. ICDCIT (2015)
Daniele Ramazzotti, Giulio Caravagna, Loes Olde Loohuis, Alex Graudenzi, Ilya Korsunsky, Giancarlo Mauri, Marco Antoniotti, Bud Mishra
CAPRI: efficient inference of cancer progression models from cross-sectional data. Bioinform. 31 (18) (2015)
Ilya Korsunsky, Daniele Ramazzotti, Giulio Caravagna, Bud Mishra
Inference of Cancer Progression Models with Biological Noise. CoRR (2014)
William Casey, Rhiannon Weaver, Leigh Metcalf, Jose Andre Morales, Evan Wright, Bud Mishra
Cyber Security via Minority Games with Epistatic Signaling. BICT (2014)
Loes Olde Loohuis, Andreas Witzel, Bud Mishra
Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in Cancer. IEEE ACM Trans. Comput. Biol. Bioinform. 11 (6) (2014)
Loes Olde Loohuis, Andreas Witzel, Bud Mishra
Cancer hybrid automata: Model, beliefs and therapy. Inf. Comput. 236 (2014)
Giuseppe Narzisi, Bud Mishra, Michael C. Schatz
On Algorithmic Complexity of Biomolecular Sequence Assembly Problem. AlCoB (2014)
William Casey, Evan Wright, Jose Andre Morales, Michael Appel, Jeff Gennari, Bud Mishra
Agent-based trace learning in a recommendation-verification system for cybersecurity. MALWARE (2014)
William Casey, Jose Andre Morales, Thomson Nguyen, Jonathan M. Spring, Rhiannon Weaver, Evan Wright, Leigh Metcalf, Bud Mishra
Cyber Security via Signaling Games: Toward a Science of Cyber Security. ICDCIT (2014)
Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra
Decidability of Robot Manipulation Planning: Three Disks in the Plane. WAFR (2014)
Francesco Vezzi, Giuseppe Narzisi, Bud Mishra
Reevaluating Assembly Evaluations with Feature Response Curves: GAGE and Assemblathons CoRR (2012)
Justin Jee, Lee Case Klippel, Mahmud Shahriar Hossain, Naren Ramakrishnan, Bud Mishra
Discovering the Ebb and Flow of Ideas from Text Corpora. Computer 45 (2) (2012)
Andrew Sundstrom, Silvio Cirrone, Salvatore Paxia, Carlin Hsueh, Rachel Kjolby, James K. Gimzewski, Jason Reed, Bud Mishra
Image Analysis and Length Estimation of Biomolecules Using AFM. IEEE Trans. Inf. Technol. Biomed. 16 (6) (2012)
Loes Olde Loohuis, Andreas Witzel, Bud Mishra
Towards Cancer Hybrid Automata HSB (2012)
Samantha Kleinberg, Bud Mishra
The Temporal Logic of Causal Structures CoRR (2012)
Antonina Mitrofanova, Vladimir Pavlovic, Bud Mishra
Prediction of Protein Functions with Gene Ontology and Interspecies Protein Homology Data. IEEE ACM Trans. Comput. Biol. Bioinform. 8 (3) (2011)
Fabian Menges, Giuseppe Narzisi, Bud Mishra
TotalReCaller: improved accuracy and performance via integrated alignment and base-calling. Bioinform. 27 (17) (2011)
Giuseppe Narzisi, Bud Mishra
Scoring-and-unfolding trimmed tree assembler: concepts, constructs and comparisons. Bioinform. 27 (2) (2011)
Antonina Mitrofanova, Bud Mishra
On a novel coalescent model for genome-wide evolution of Copy Number Variations. Int. J. Data Min. Bioinform. 4 (3) (2010)
Samantha Kleinberg, Bud Mishra
The Temporal Logic of Token Causes. KR (2010)
Antonina Mitrofanova, Samantha Kleinberg, Jane Carlton, Simon Kasif, Bud Mishra
Predicting malaria interactome classifications from time-course transcriptomic data along the intraerythrocytic developmental cycle. Artif. Intell. Medicine 49 (3) (2010)
Antonina Mitrofanova, Martin Farach-Colton, Bud Mishra
Efficient and Robust Prediction Algorithms for Protein Complexes Using Gomory-Hu Trees. Pacific Symposium on Biocomputing (2009)
Samantha Kleinberg, Bud Mishra
Metamorphosis: the Coming Transformation of Translational Systems Biology. ACM Queue 7 (9) (2009)
Bud Mishra
Technical perspective - Where biology meets computing. Commun. ACM 52 (3) (2009)
Satish Tadepalli, Naren Ramakrishnan, Layne T. Watson, Bud Mishra, Richard F. Helm
Simultaneously Segmenting Multiple Gene Expression Time Courses by Analyzing Cluster Dynamics. J. Bioinform. Comput. Biol. 7 (2) (2009)
Samantha Kleinberg, Bud Mishra
The Temporal Logic of Causal Structures. UAI (2009)
Srinivas Akella, Nancy M. Amato, Wesley H. Huang, Bud Mishra
Special Issue on the Seventh International Workshop on Algorithmic Foundations of Robotics. Int. J. Robotics Res. 27 (11-12) (2008)
Antonina Mitrofanova, Vladimir Pavlovic, Bud Mishra
Integrative Protein Function Transfer Using Factor Graphs and Heterogeneous Data Sources. BIBM (2008)
Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
Decidable Compositions of O-Minimal Automata. ATVA (2008)
Samantha Kleinberg, Bud Mishra
Psst: a web-based system for tracking political statements. WWW (2008)
Antonina Mitrofanova, Samantha Kleinberg, Jane Carlton, Simon Kasif, Bud Mishra
Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic Profiles. BIBM (2008)
Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra
Inclusion dynamics hybrid automata. Inf. Comput. 206 (12) (2008)
Fabian Menges, Bud Mishra, Giuseppe Narzisi
Modeling and simulation of e-mail social networks: A new stochastic agent-based approach. WSC (2008)
Antonina Mitrofanova, Bud Mishra
Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes. SAC (2008)
Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. AB (2007)
Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
Composing Semi-algebraic O-Minimal Automata. HSCC (2007)
Jomol P. Mathew, Barry S. Taylor, Gary D. Bader, Saiju Pyarajan, Marco Antoniotti, Arul M. Chinnaiyan, Chris Sander, Steven J. Burakoff, Bud Mishra
From Bytes to Bedside: Data Integration and Computational Biology for Translational Cancer Research. PLoS Comput. Biol. 3 (2) (2007)
Raffaella Gentilini, Klaus Schneider, Bud Mishra
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. LFCS (2007)
Italo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri
Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. ISBRA (2007)
Bud Mishra
Algebraic Systems Biology: Theses and Hypotheses. AB (2007)
Venkatesh Mysore, Bud Mishra
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. AB (2007)
Gilad Lerman, Joseph McQuown, Alexandre Blais, Brian D. Dynlacht, Guangliang Chen, Bud Mishra
Functional genomics via multiscale analysis: application to gene expression and ChIP-on-chip data. Bioinform. 23 (3) (2007)
Giuseppe Narzisi, Joshua S. Mincer, Silas Smith, Bud Mishra
Resilience in the Face of Disaster: Accounting for Varying Disaster Magnitudes, Resource Topologies, and (Sub)Population Distributions in the PLAN C Emergency Planning Tool. HoloMAS (2007)
Bing Sun, Jacob T. Schwartz, Ofer H. Gill, Bud Mishra
COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching. International Conference on Computational Science (2) (2006)
Joseph West, John Healy, Michael Wigler, William Casey, Bud Mishra
Sequence Assembly by Microarray Hybridization. J. Comput. Biol. 13 (1) (2006)
Ofer H. Gill, Bud Mishra
-Value Estimation for Nucleotide Sequence Alignment. International Conference on Computational Science (2) (2006)
Giuseppe Narzisi, Venkatesh Mysore, Bud Mishra
Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning. Computational Intelligence (2006)
Venkatesh Mysore, Carla Piazza, Bud Mishra
Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. ATVA (2005)
Venkatesh Mysore, Bud Mishra
Algorithmic Algebraic Model Checking III: Approximate Methods. INFINITY (2005)
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV (2005)
Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra
Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. Pacific Symposium on Biocomputing (2005)
Alberto Casagrande, Carla Piazza, Bud Mishra
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. CDC/ECC (2005)
Jiawu Feng, Paolo Emilio Barbano, Bud Mishra
Time-frequency feature detection for time-course microarray data. SAC (2004)
Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. 325 (1) (2004)
Naren Ramakrishnan, Deept Kumar, Bud Mishra, Malcolm Potts, Richard F. Helm
Turning CARTwheels: an alternating algorithm for mining redescriptions. KDD (2004)
Marco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra
Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. Pacific Symposium on Biocomputing (2003)
Will Casey, Bud Mishra
A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing. HiPC (2003)
Bud Mishra
Life's Duplicities: Sex, Death, and Valis. HiPC (2003)
Salvatore Paxia, Archisman Rudra, Yi Zhou, Bud Mishra
A Random Walk Down the Genomes: DNA Evolution in Valis. Computer 35 (7) (2002)
Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. HiPC (2002)
Bud Mishra
Comparing gnomes. Comput. Sci. Eng. 4 (1) (2002)
Will Casey, Bud Mishra, Michael Wigler
Placing Probes along the Genome Using Pairwise Distance Data. WABI (2001)
Thomas S. Anantharaman, Bud Mishra
False Positives in Genomic Map Assembly and Sequence Validation. WABI (2001)
Laxmi Parida, Bud Mishra
Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis. Discret. Appl. Math. 104 (1-3) (2000)
Marek Teichmann, Bud Mishra
Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands. Int. J. Robotics Res. 19 (7) (2000)
Richard Cole, Bud Mishra, Jeanette P. Schmidt, Alan Siegel
On the Dynamic Finger Conjecture for Splay Trees. Part I: Splay Sorting log n-Block Sequences. SIAM J. Comput. 30 (1) (2000)
Marek Teichmann, Bud Mishra
Probabilistic Algorithms for Efficient Grasping and Fixturing. Algorithmica 26 (3-4) (2000)
Thomas S. Anantharaman, Bud Mishra, David C. Schwartz
Genomics via Optical Mapping III: Contiging Genomic DNA. ISMB (1999)
Laxmi Parida, Bud Mishra
. RECOMB (1998)
David C. Schwartz, Thomas S. Anantharaman, C. Aston, Bud Mishra, V. Clarke, D. Gebauer, S. Delobette, E. Dimalanta, J. Edington, J. Evenzehav, J. Giacalone, C. Hiort, E. Huff, J. Jing, Z. Lai, E. Lee, J. Lin, B. Porter, R. Qi, Y. Skiadis
New approaches to genomic analysis using single molecules. RECOMB (1998)
Thomas S. Anantharaman, Bud Mishra
Statistical Algorithms and Software for Genomics. COMPSAC (1997)

Bud Mishra.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bud Mishra