Automatic Verification of Asynchronous Circuits. - Edmund M. Clarke; Bud Mishra (Logic of Programs, 1983)

An Efficient Algorithm to Find all 'Bidirectional' Edges of an Undirected Graph - Bhubaneswar Mishra (FOCS, 1984)

Compiling Path Expressions Into VLSI Circuits. - Thomas S. Anantharaman; Edmund M. Clarke; Michael J. Foster; Bud Mishra (Distributed Comput., 1986)

Automatic Verification of Sequential Circuits Using Temporal Logic. - Michael C. Browne; Edmund M. Clarke; David L. Dill; Bud Mishra (IEEE Trans. Computers, 1986)

On the Existence and Synthesis of Multifinger Positive Grips. - Bhubaneswar Mishra; Jacob T. Schwartz; Micha Sharir (Algorithmica, 1987)

Notes on Gröbner bases. - Bud Mishra; Chee-Keng Yap (Inf. Sci., 1989)

Some discussion of static gripping and its stability. - Bud Mishra; Naomi Silver (IEEE Trans. Syst. Man Cybern., 1989)

Wu-Ritt Characteristic Sets and Their Complexity. - Giovanni Gallo; Bhubaneswar Mishra (Discrete and Computational Geometry, 1990)

Arithmetic with Real Algebraic Numbers is in NC. - Bhubaneswar Mishra; Paul Pedersen (ISSAC, 1990)

A Fully Parallel Algorithm for Implementing Path Expressions. - Anne Dinning; Bhubaneswar Mishra (J. Parallel Distributed Comput., 1990)

Some Constructions in Rings of Differential Polynomials. - Giovanni Gallo; Bhubaneswar Mishra; François Ollivier (AAECC, 1991)

On-line Scheduling in the Presence of Overload - Sanjoy K. Baruah; Gilad Koren; Bhubaneswar Mishra; Arvind Raghunathan; Louis E. Rosier; Dennis E. Shasha (FOCS, 1991)

Workholding-analysis and planning. - Bud Mishra (IROS, 1991)

An NL Hierarchy. - Jianer Chen; Jim Cox; Bud Mishra (Inf. Process. Lett., 1991)

NC Algorithms for Real Algebraic Numbers. - Felipe Cucker; Hervé Lanneau; Bud Mishra; Paul Pedersen; Marie-Françoise Roy (Appl. Algebra Eng. Commun. Comput., 1992)

A Linear-Time Algorithm for Finding an Ambitus. - Bhubaneswar Mishra; Robert Endre Tarjan (Algorithmica, 1992)

Quantitative Steinitz's Theorems Applications to Multifingered Grasping. - David G. Kirkpatrick; Bhubaneswar Mishra; Chee-Keng Yap (Discret. Comput. Geom., 1992)

On the Competitiveness of On-Line Real-Time Task Scheduling. - Sanjoy K. Baruah; Gilad Koren; Decao Mao; Bhubaneswar Mishra; Arvind Raghunathan; Louis E. Rosier; Dennis E. Shasha; Fuxing Wang (Real Time Syst., 1992)

Algorithmic Algebra. - Bhubaneswar Mishra (Springer, 1993)

Reactive Algorithms for Grasping Using a Modified Parallel Jaw Gripper. - Marek Teichmann; Bud Mishra (ICRA, 1994)

The Complexity of Resolvent Resolved. - Giovanni Gallo; Bhubaneswar Mishra (SODA, 1994)

New findings from the SpiderWeb algorithm: toward a digital morse theory. - Daniel B. Karron; James Cox; Bhubaneswar Mishra (VBC, 1994)

A Solution to Kronecker's Problem. - Giovanni Gallo; Bhubaneswar Mishra (Appl. Algebra Eng. Commun. Comput., 1994)

Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers. - Marco Antoniotti; Bud Mishra (ICRA, 1995)

CAFE': a Complex Adaptive Financial Environment. - Roil Even; Bud Mishra (CIFEr, 1996)

Bidirectional Edges Problem: Part I-A Simple Algorithm. - Bhubaneswar Mishra (Algorithmica, 1996)

Statistical Algorithms and Software for Genomics. - Thomas S. Anantharaman; Bud Mishra (COMPSAC, 1997)

Genomics via Optical Mapping II: Ordered Restriction Maps. - Thomas S. Anantharaman; Bud Mishra; David C. Schwartz (J. Comput. Biol., 1997)

Partitioning K clones: hardness results and practical algorithms for the K-populations problem. - Laxmi Parida; Bud Mishra (RECOMB, 1998)

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; et al. (RECOMB, 1998)

Genomics via Optical Mapping III: Contiging Genomic DNA. - Thomas S. Anantharaman; Bud Mishra; David C. Schwartz (ISMB, 1999)

Probabilistic Algorithms for Efficient Grasping and Fixturing. - Marek Teichmann; Bud Mishra (Algorithmica, 2000)

Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis. - Laxmi Parida; Bud Mishra (Discret. Appl. Math., 2000)

Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands. - Marek Teichmann; Bud Mishra (Int. J. Robotics Res., 2000)

On the Dynamic Finger Conjecture for Splay Trees. Part I: Splay Sorting log n-Block Sequences. - Richard Cole 001; Bud Mishra; Jeanette P. Schmidt; Alan Siegel (SIAM J. Comput., 2000)

False Positives in Genomic Map Assembly and Sequence Validation. - Thomas S. Anantharaman; Bud Mishra (WABI, 2001)

Placing Probes along the Genome Using Pairwise Distance Data. - Will Casey; Bud Mishra; Michael Wigler (WABI, 2001)

XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. - Marco Antoniotti; Alberto Policriti; Nadia Ugel; Bud Mishra (HiPC, 2002)

A Symbolic Approachto Modeling Cellular Behavior. - Bhubaneswar Mishra (HiPC, 2002)

A Random Walk Down the Genomes: DNA Evolution in Valis. - Salvatore Paxia; Archisman Rudra; Yi Zhou; Bud Mishra (Computer, 2002)

Comparing gnomes. - Bud Mishra (Comput. Sci. Eng., 2002)

Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. - Marco Antoniotti; Bhubaneswar Mishra; Carla Piazza; Alberto Policriti; Marta Simeoni (CMSB, 2003)

A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing. - Will Casey; Bud Mishra (HiPC, 2003)

Life's Duplicities: Sex, Death, and Valis. - Bud Mishra (HiPC, 2003)

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 (Pacific Symposium on Biocomputing, 2003)

Noise sensitivity analysis of statistically consistent optimal structure from motion. - Frank Chongwoo Park; Byungsoo Park; Munsang Kim; Bhubaneswar Mishra (IROS, 2004)

Turning CARTwheels: an alternating algorithm for mining redescriptions. - Naren Ramakrishnan; Deept Kumar; Bud Mishra; Malcolm Potts; Richard F. Helm (KDD, 2004)

Time-frequency feature detection for time-course microarray data. - Jiawu Feng; Paolo Emilio Barbano; Bud Mishra (SAC, 2004)

Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. - Marco Antoniotti; Carla Piazza; Alberto Policriti; Marta Simeoni; Bud Mishra (Theor. Comput. Sci., 2004)

Computational Real Algebraic Geometry. - Bhubaneswar Mishra (Handbook of Discrete and Computational Geometry, 2nd Ed., 2004)

Aligning sequences with non-Affine Gap penalty: Plains Algorithm, a Practical Implementation, and its biological Applications in Comparative genomics. - Ofer H. Gill; Yi Zhou; Bud Mishra (Advances in Bioinformatics and Its Applications, 2005)

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. - Venkatesh Mysore; Carla Piazza; Bud Mishra (ATVA, 2005)

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. - Carla Piazza; Marco Antoniotti; Venkatesh Mysore; Alberto Policriti; Franz Winkler 001; Bud Mishra (CAV, 2005)

Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. - Alberto Casagrande; Carla Piazza; Bud Mishra (CDC/ECC, 2005)

Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. - Thomas S. Anantharaman; Venkatesh Mysore; Bud Mishra (Pacific Symposium on Biocomputing, 2005)

Algorithmic Algebraic Model Checking III: Approximate Methods. - Venkatesh Mysore; Bud Mishra (INFINITY, 2005)

Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning. - Giuseppe Narzisi; Venkatesh Mysore; Bud Mishra (Computational Intelligence, 2006)

SEPA: Approximate Non-subjective Empirical p-Value Estimation for Nucleotide Sequence Alignment. - Ofer H. Gill; Bud Mishra (International Conference on Computational Science (2), 2006)

COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching. - Bing Sun; Jacob T. Schwartz; Ofer H. Gill; Bud Mishra (International Conference on Computational Science (2), 2006)

Validation of S. Pombe Sequence Assembly by Microarray Hybridization. - Joseph West; John Healy; Michael Wigler; William Casey; Bud Mishra (J. Comput. Biol., 2006)

Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. - Alberto Casagrande; Kevin Casey; Rachele Falchi; Carla Piazza; Benedetto Ruperti; Giannina Vizzotto; Bud Mishra (AB, 2007)

Algebraic Systems Biology: Theses and Hypotheses. - Bud Mishra (AB, 2007)

Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. - Venkatesh Mysore; Bud Mishra (AB, 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. - Giuseppe Narzisi; Joshua S. Mincer; Silas Smith; Bud Mishra (HoloMAS, 2007)

Composing Semi-algebraic O-Minimal Automata. - Alberto Casagrande; Pietro Corvaja; Carla Piazza; Bud Mishra (HSCC, 2007)

Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. - Italo Zoppis; Daniele Merico; Marco Antoniotti; Bud Mishra; Giancarlo Mauri (ISBRA, 2007)

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. - Raffaella Gentilini; Klaus Schneider 001; Bud Mishra (LFCS, 2007)

Functional genomics via multiscale analysis: application to gene expression and ChIP-on-chip data. - Gilad Lerman; Joseph McQuown; Alexandre Blais; Brian D. Dynlacht; Guangliang Chen; Bud Mishra (Bioinform., 2007)

From Bytes to Bedside: Data Integration and Computational Biology for Translational Cancer Research. - Jomol P. Mathew; Barry S. Taylor; Gary D. Bader; Saiju Pyarajan; Marco Antoniotti; Arul M. Chinnaiyan; Chris Sander; Steven J. Burakoff; Bud Mishra (PLoS Comput. Biol., 2007)

Decidable Compositions of O-Minimal Automata. - Alberto Casagrande; Pietro Corvaja; Carla Piazza; Bud Mishra (ATVA, 2008)

Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic Profiles. - Antonina Mitrofanova; Samantha Kleinberg; Jane Carlton; Simon Kasif; Bud Mishra (BIBM, 2008)

Integrative Protein Function Transfer Using Factor Graphs and Heterogeneous Data Sources. - Antonina Mitrofanova; Vladimir Pavlovic 001; Bud Mishra (BIBM, 2008)

Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes. - Antonina Mitrofanova; Bud Mishra (SAC, 2008)

Modeling and simulation of e-mail social networks: A new stochastic agent-based approach. - Fabian Menges; Bud Mishra; Giuseppe Narzisi (WSC, 2008)

Psst: a web-based system for tracking political statements. - Samantha Kleinberg; Bud Mishra (WWW, 2008)

Inclusion dynamics hybrid automata. - Alberto Casagrande; Carla Piazza; Alberto Policriti; Bud Mishra (Inf. Comput., 2008)

Special Issue on the Seventh International Workshop on Algorithmic Foundations of Robotics. - Srinivas Akella; Nancy M. Amato; Wesley H. Huang; Bud Mishra (Int. J. Robotics Res., 2008)

Efficient and Robust Prediction Algorithms for Protein Complexes Using Gomory-Hu Trees. - Antonina Mitrofanova; Martin Farach-Colton; Bud Mishra (Pacific Symposium on Biocomputing, 2009)

The Temporal Logic of Causal Structures. - Samantha Kleinberg; Bud Mishra (UAI, 2009)

Technical perspective - Where biology meets computing. - Bud Mishra (Commun. ACM, 2009)

Simultaneously Segmenting Multiple Gene Expression Time Courses by Analyzing Cluster Dynamics. - Satish Tadepalli; Naren Ramakrishnan; Layne T. Watson; Bud Mishra; Richard F. Helm (J. Bioinform. Comput. Biol., 2009)

Metamorphosis: the Coming Transformation of Translational Systems Biology. - Samantha Kleinberg; Bud Mishra (ACM Queue, 2009)

The Temporal Logic of Token Causes. - Samantha Kleinberg; Bud Mishra (KR, 2010)

Predicting malaria interactome classifications from time-course transcriptomic data along the intraerythrocytic developmental cycle. - Antonina Mitrofanova; Samantha Kleinberg; Jane Carlton; Simon Kasif; Bud Mishra (Artif. Intell. Medicine, 2010)

On a novel coalescent model for genome-wide evolution of Copy Number Variations. - Antonina Mitrofanova; Bud Mishra (Int. J. Data Min. Bioinform., 2010)

TotalReCaller: improved accuracy and performance via integrated alignment and base-calling. - Fabian Menges; Giuseppe Narzisi; Bud Mishra (Bioinform., 2011)

Scoring-and-unfolding trimmed tree assembler: concepts, constructs and comparisons. - Giuseppe Narzisi; Bud Mishra (Bioinform., 2011)

Prediction of Protein Functions with Gene Ontology and Interspecies Protein Homology Data. - Antonina Mitrofanova; Vladimir Pavlovic 001; Bud Mishra (IEEE ACM Trans. Comput. Biol. Bioinform., 2011)

Discovering the Ebb and Flow of Ideas from Text Corpora. - Justin Jee; Lee Case Klippel; Mahmud Shahriar Hossain; Naren Ramakrishnan; Bud Mishra (Computer, 2012)

Towards Cancer Hybrid Automata - Loes Olde Loohuis; Andreas Witzel; Bud Mishra (HSB, 2012)

Reevaluating Assembly Evaluations with Feature Response Curves: GAGE and Assemblathons - Francesco Vezzi; Giuseppe Narzisi; Bud Mishra (CoRR, 2012)

Image Analysis and Length Estimation of Biomolecules Using AFM. - Andrew Sundstrom; Silvio Cirrone; Salvatore Paxia; Carlin Hsueh; Rachel Kjolby; James K. Gimzewski; Jason Reed 003; Bud Mishra (IEEE Trans. Inf. Technol. Biomed., 2012)

On Algorithmic Complexity of Biomolecular Sequence Assembly Problem. - Giuseppe Narzisi; Bud Mishra; Michael C. Schatz (AlCoB, 2014)

Cyber Security via Minority Games with Epistatic Signaling. - William Casey; Rhiannon Weaver; Leigh Metcalf; Jose Andre Morales; Evan Wright; Bud Mishra (BICT, 2014)

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 (ICDCIT, 2014)

Agent-based trace learning in a recommendation-verification system for cybersecurity. - William Casey; Evan Wright; Jose Andre Morales; Michael Appel; Jeff Gennari; Bud Mishra (MALWARE, 2014)

Decidability of Robot Manipulation Planning: Three Disks in the Plane. - Marilena Vendittelli; Jean-Paul Laumond; Bud Mishra (WAFR, 2014)

Inference of Cancer Progression Models with Biological Noise. - Ilya Korsunsky; Daniele Ramazzotti; Giulio Caravagna; Bud Mishra (CoRR, 2014)

Cancer hybrid automata: Model, beliefs and therapy. - Loes Olde Loohuis; Andreas Witzel; Bud Mishra (Inf. Comput., 2014)

Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in Cancer. - Loes Olde Loohuis; Andreas Witzel; Bud Mishra (IEEE ACM Trans. Comput. Biol. Bioinform., 2014)

Compliance Control: Managed Vulnerability Surface in Social-Technological Systems via Signaling Games. - William Austin Casey; Quanyan Zhu; Jose Andre Morales; Bud Mishra (MIST@CCS, 2015)

Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics. - Bud Mishra (ICDCIT, 2015)

Sandboxing and reasoning on malware infection trees. - Krishnendu Ghosh; Jose Andre Morales; William Casey; Bud Mishra (MALWARE, 2015)

CAPRI: efficient inference of cancer progression models from cross-sectional data. - Daniele Ramazzotti; Giulio Caravagna; Loes Olde Loohuis; Alex Graudenzi; Ilya Korsunsky; Giancarlo Mauri; Marco Antoniotti; Bud Mishra (Bioinform., 2015)

Visualizing a Malware Distribution Network. - Sebastian Peryt; Jose Andre Morales; William Casey; Aaron Volkmann; Bud Mishra; Yang Cai (VizSEC, 2016)

TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data. - Luca De Sano; Giulio Caravagna; Daniele Ramazzotti; Alex Graudenzi; Giancarlo Mauri; Bud Mishra; Marco Antoniotti (Bioinform., 2016)

Compliance signaling games: toward modeling the deterrence of insider threats. - William Casey; Jose Andre Morales; Evan Wright; Quanyan Zhu; Bud Mishra (Comput. Math. Organ. Theory, 2016)

Threats from Inside: Dynamic Utility (Mis)Alignments in an Agent based Model. - William Casey; Jose Andre Morales; Bud Mishra (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2016)

Epistatic Signaling and Minority Games, the Adversarial Dynamics in Social Technological Systems. - William Casey; Rhiannon Weaver; Jose Andre Morales; Evan Wright; Bud Mishra (Mob. Networks Appl., 2016)

Design of the TRONCO BioConductor Package for TRanslational ONCOlogy. - Marco Antoniotti; Giulio Caravagna; Luca De Sano; Alex Graudenzi; Giancarlo Mauri; Bud Mishra; Daniele Ramazzotti (R J., 2016)

Identity Deception and Game Deterrence via Signaling Games. - William Casey; Parisa Memarmoshrefi; Ansgar Kellner; Jose Andre Morales; Bud Mishra (EAI Endorsed Trans. Security Safety, 2016)

Malware Fingerprinting under Uncertainty. - Krishnendu Ghosh; William Casey; Jose Andre Morales; Bud Mishra (CSCloud, 2017)

Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks. - Gelin Gao; Bud Mishra; Daniele Ramazzotti (ICCS, 2017)

Exposing the probabilistic causal structure of discrimination. - Francesco Bonchi; Sara Hajian; Bud Mishra; Daniele Ramazzotti (Int. J. Data Sci. Anal., 2017)

Probabilistic Causal Analysis of Social Influence. - Francesco Bonchi; Francesco Gullo; Bud Mishra; Daniele Ramazzotti (CIKM, 2018)

Decidability in Robot Manipulation Planning. - Marilena Vendittelli; Jean-Paul Laumond; Bud Mishra (CoRR, 2018)

Causal data science for financial stress testing. - Gelin Gao; Bud Mishra; Daniele Ramazzotti (J. Comput. Sci., 2018)

Tech and the City: Axialization, Institutionalization and Disruption. - Bud Mishra (SmartCity360°, 2019)

Deception, identity, and security: the game theory of sybil attacks. - William Casey; Ansgar Kellner; Parisa Memarmoshrefi; Jose Andre Morales; Bud Mishra (Commun. ACM, 2019)

Prospero's Books: A Distributed Architecture for AI. - Bhubaneswar Mishra (ICDCIT, 2020)

Correction to: Exposing the probabilistic causal structure of discrimination. - Francesco Bonchi; Sara Hajian; Bud Mishra; Daniele Ramazzotti (Int. J. Data Sci. Anal., 2020)

Coins, Covid, Keynes and K-Shaped Recovery. - Pepi Martinez; William Huang; Bud Mishra (Financial Cryptography Workshops, 2021)

Decidability in robot manipulation planning. - Marilena Vendittelli; Andrea Cristofaro; Jean-Paul Laumond; Bud Mishra (Auton. Robots, 2021)

Creolizing the Web. - Abhinav Tamaskar; Roy Rinberg; Sunandan Chakraborty; Bud Mishra (CoRR, 2021)

Efficient Evolutionary Models with Digraphons. - Abhinav Tamaskar; Bud Mishra (CoRR, 2021)

To mock a Mocking bird : Studies in Biomimicry. - Inavamsi Enaganti; Bud Mishra (CoRR, 2021)

PHENSIM: Phenotype Simulator. - Salvatore Alaimo; Rosaria Valentina Rapicavoli; Gioacchino P. Marceca; Alessandro La Ferlita; Oksana B. Serebrennikova; Philip N. Tsichlis; Bud Mishra; Alfredo Pulvirenti; Alfredo Ferro (PLoS Comput. Biol., 2021)

The Mischief of Math - Short Stories of Clowns, Contortionists, and Court-Jesters - Inavamsi Enaganti; Nivedita Ganesh; Bud Mishra; Alexander Lu (The Mischief of Math, 2024)

AI, Thinking Machines and a Vast Active Living Intelligent System. - Bud Mishra (Int. J. Artif. Intell. Robotics Res., 2024)