| 2021 | FC | Coins, Covid, Keynes and K-Shaped Recovery. | Pepi Martinez, William Huang, Bud Mishra |
| 2018 | CIKM | Probabilistic Causal Analysis of Social Influence. | Francesco Bonchi, Francesco Gullo, Bud Mishra, Daniele Ramazzotti |
| 2017 | ICCS | Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks. | Gelin Gao, Bud Mishra, Daniele Ramazzotti |
| 2016 | VizSec | Visualizing a Malware Distribution Network. | Sebastian Peryt, Jose Andre Morales, William Casey, Aaron Volkmann, Bud Mishra, Yang Cai |
| 2015 | CCS | Compliance Control: Managed Vulnerability Surface in Social-Technological Systems via Signaling Games. | William Austin Casey, Quanyan Zhu, Jose Andre Morales, Bud Mishra |
| 2015 | ICDCIT | Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics. | Bud Mishra |
| 2014 | ICDCIT | Cyber Security via Signaling Games: Toward a Science of Cyber Security. | William Casey, Jose Andre Morales, Thomson Nguyen, Jonathan M. Spring, Rhiannon Weaver, Evan Wright, Leigh Metcalf, Bud Mishra |
| 2014 | WAFR | Decidability of Robot Manipulation Planning: Three Disks in the Plane. | Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra |
| 2010 | KR | The Temporal Logic of Token Causes. | Samantha Kleinberg, Bud Mishra |
| 2009 | PSB | Efficient and Robust Prediction Algorithms for Protein Complexes Using Gomory-Hu Trees. | Antonina Mitrofanova, Martin Farach-Colton, Bud Mishra |
| 2009 | UAI | The Temporal Logic of Causal Structures. | Samantha Kleinberg, Bud Mishra |
| 2008 | ATVA | Decidable Compositions of O-Minimal Automata. | Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra |
| 2008 | WSC | Modeling and simulation of e-mail social networks: A new stochastic agent-based approach. | Fabian Menges, Bud Mishra, Giuseppe Narzisi |
| 2008 | WWW | Psst: a web-based system for tracking political statements. | Samantha Kleinberg, Bud Mishra |
| 2008 | SAC | Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes. | Antonina Mitrofanova, Bud Mishra |
| 2007 | LFCS | Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. | Raffaella Gentilini, Klaus Schneider, Bud Mishra |
| 2006 | ICCS | SEPA: Approximate Non-subjective Empirical | Ofer H. Gill, Bud Mishra |
| 2006 | ICCS | COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching. | Bing Sun, Jacob T. Schwartz, Ofer H. Gill, Bud Mishra |
| 2005 | ATVA | Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. | Venkatesh Mysore, Carla Piazza, Bud Mishra |
| 2005 | CAV | Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. | Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra |
| 2005 | PSB | Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. | Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra |
| 2004 | KDD | Turning CARTwheels: an alternating algorithm for mining redescriptions. | Naren Ramakrishnan, Deept Kumar, Bud Mishra, Malcolm Potts, Richard F. Helm |
| 2004 | SAC | Time-frequency feature detection for time-course microarray data. | Jiawu Feng, Paolo Emilio Barbano, Bud Mishra |
| 2003 | HiPC | A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing. | Will Casey, Bud Mishra |
| 2003 | HiPC | Life's Duplicities: Sex, Death, and Valis. | Bud Mishra |
| 2003 | PSB | Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. | Marco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra |
| 2002 | HiPC | XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. | Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra |
| 2001 | WABI | False Positives in Genomic Map Assembly and Sequence Validation. | Thomas S. Anantharaman, Bud Mishra |
| 2001 | WABI | Placing Probes along the Genome Using Pairwise Distance Data. | Will Casey, Bud Mishra, Michael Wigler |
| 1999 | ISMB | Genomics via Optical Mapping III: Contiging Genomic DNA. | Thomas S. Anantharaman, Bud Mishra, David C. Schwartz |
| 1998 | RECOMB | Partitioning | Laxmi Parida, Bud Mishra |
| 1998 | RECOMB | New approaches to genomic analysis using single molecules. | 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 |
| 1997 | COMPSAC | Statistical Algorithms and Software for Genomics. | Thomas S. Anantharaman, Bud Mishra |
| 1995 | ICRA | Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers. | Marco Antoniotti, Bud Mishra |
| 1994 | ICRA | Reactive Algorithms for Grasping Using a Modified Parallel Jaw Gripper. | Marek Teichmann, Bud Mishra |
| 1991 | IROS | Workholding-analysis and planning. | Bud Mishra |
| 1991 | RTSS | On the competitiveness of on-line real-time task scheduling. | Sanjoy K. Baruah, Gilad Koren, Decao Mao, Bud Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha, Fuxing Wang |
| 1985 | POPL | Compiling Path Expressions into VLSI Circuits. | Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra |