Bud Mishra

According to our database1, Bud Mishra authored at least 119 papers between 1983 and 2020.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2007, "For contributions to symbolic computation and computational biology.".

IEEE Fellow

IEEE Fellow 2009, "For contributions to the mathematical modeling of robotic grasping".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Correction to: Exposing the probabilistic causal structure of discrimination.
Int. J. Data Sci. Anal., 2020

Prospero's Books: A Distributed Architecture for AI.
Proceedings of the Distributed Computing and Internet Technology, 2020

2019
Deception, identity, and security: the game theory of sybil attacks.
Commun. ACM, 2019

2018
Causal data science for financial stress testing.
J. Comput. Sci., 2018

Decidability in Robot Manipulation Planning.
CoRR, 2018

Probabilistic Causal Analysis of Social Influence.
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

2017
Exposing the probabilistic causal structure of discrimination.
Int. J. Data Sci. Anal., 2017

Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks.
Proceedings of the International Conference on Computational Science, 2017

Malware Fingerprinting under Uncertainty.
Proceedings of the 4th IEEE International Conference on Cyber Security and Cloud Computing, 2017

2016
Identity Deception and Game Deterrence via Signaling Games.
EAI Endorsed Trans. Security Safety, 2016

Design of the TRONCO BioConductor Package for TRanslational ONCOlogy.
R J., 2016

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

Threats from Inside: Dynamic Utility (Mis)Alignments in an Agent based Model.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2016

Compliance signaling games: toward modeling the deterrence of insider threats.
Comput. Math. Organ. Theory, 2016

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

Visualizing a Malware Distribution Network.
Proceedings of the 2016 IEEE Symposium on Visualization for Cyber Security, 2016

2015
CAPRI: efficient inference of cancer progression models from cross-sectional data.
Bioinform., 2015

Sandboxing and reasoning on malware infection trees.
Proceedings of the 10th International Conference on Malicious and Unwanted Software, 2015

Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics.
Proceedings of the Distributed Computing and Internet Technology, 2015

Compliance Control: Managed Vulnerability Surface in Social-Technological Systems via Signaling Games.
Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

2014
Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in Cancer.
IEEE/ACM Trans. Comput. Biology Bioinform., 2014

Cancer hybrid automata: Model, beliefs and therapy.
Inf. Comput., 2014

Inference of Cancer Progression Models with Biological Noise.
CoRR, 2014

Decidability of Robot Manipulation Planning: Three Disks in the Plane.
Proceedings of the Algorithmic Foundations of Robotics XI, 2014

Agent-based trace learning in a recommendation-verification system for cybersecurity.
Proceedings of the 9th International Conference on Malicious and Unwanted Software: The Americas MALWARE 2014, 2014

Cyber Security via Signaling Games: Toward a Science of Cyber Security.
Proceedings of the Distributed Computing and Internet Technology, 2014

Cyber Security via Minority Games with Epistatic Signaling.
Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

On Algorithmic Complexity of Biomolecular Sequence Assembly Problem.
Proceedings of the Algorithms for Computational Biology - First International Conference, 2014

2012
Image Analysis and Length Estimation of Biomolecules Using AFM.
IEEE Trans. Inf. Technol. Biomed., 2012

Reevaluating Assembly Evaluations with Feature Response Curves: GAGE and Assemblathons
CoRR, 2012

Towards Cancer Hybrid Automata
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012

Discovering the Ebb and Flow of Ideas from Text Corpora.
IEEE Computer, 2012

2011
Prediction of Protein Functions with Gene Ontology and Interspecies Protein Homology Data.
IEEE/ACM Trans. Comput. Biology Bioinform., 2011

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

TotalReCaller: improved accuracy and performance via integrated alignment and base-calling.
Bioinform., 2011

2010
On a novel coalescent model for genome-wide evolution of Copy Number Variations.
Int. J. Data Min. Bioinform., 2010

Predicting malaria interactome classifications from time-course transcriptomic data along the intraerythrocytic developmental cycle.
Artif. Intell. Medicine, 2010

The Temporal Logic of Token Causes.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009
Metamorphosis: the Coming Transformation of Translational Systems Biology.
ACM Queue, 2009

Simultaneously Segmenting Multiple Gene Expression Time Courses by Analyzing Cluster Dynamics.
J. Bioinform. Comput. Biol., 2009

Technical perspective - Where biology meets computing.
Commun. ACM, 2009

The Temporal Logic of Causal Structures.
Proceedings of the UAI 2009, 2009

Efficient and Robust Prediction Algorithms for Protein Complexes Using Gomory-Hu Trees.
Proceedings of the Biocomputing 2009: Proceedings of the Pacific Symposium, 2009

2008
Special Issue on the Seventh International Workshop on Algorithmic Foundations of Robotics.
I. J. Robotics Res., 2008

Inclusion dynamics hybrid automata.
Inf. Comput., 2008

Psst: a web-based system for tracking political statements.
Proceedings of the 17th International Conference on World Wide Web, 2008

Modeling and simulation of e-mail social networks: A new stochastic agent-based approach.
Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Integrative Protein Function Transfer Using Factor Graphs and Heterogeneous Data Sources.
Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008

Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic Profiles.
Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008

Decidable Compositions of O-Minimal Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
From Bytes to Bedside: Data Integration and Computational Biology for Translational Cancer Research.
PLoS Computational Biology, 2007

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

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods.
Proceedings of the Bioinformatics Research and Applications, Third International Symposium, 2007

Composing Semi-algebraic O-Minimal Automata.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 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.
Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2007

Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.
Proceedings of the Algebraic Biology, Second International Conference, 2007

Algebraic Systems Biology: Theses and Hypotheses.
Proceedings of the Algebraic Biology, Second International Conference, 2007

Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction.
Proceedings of the Algebraic Biology, Second International Conference, 2007

2006
Validation of <i>S. Pombe</i> Sequence Assembly by Microarray Hybridization.
J. Comput. Biol., 2006

COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching.
Proceedings of the Computational Science, 2006

SEPA: Approximate Non-subjective Empirical <i>p</i>-Value Estimation for Nucleotide Sequence Alignment.
Proceedings of the Computational Science, 2006

Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning.
Proceedings of the Second IASTED International Conference on Computational Intelligence, 2006

2005
Algorithmic Algebraic Model Checking III: Approximate Methods.
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005

Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping.
Proceedings of the Biocomputing 2005, 2005

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.
Proceedings of the Automated Technology for Verification and Analysis, 2005

Aligning sequences with non-Affine Gap penalty: Plains Algorithm, a Practical Implementation, and its biological Applications in Comparative genomics.
Proceedings of the Advances in Bioinformatics and Its Applications, 2005

2004
Computational Real Algebraic Geometry.
Proceedings of the Handbook of Discrete and Computational Geometry, Second Edition., 2004

Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice.
Theor. Comput. Sci., 2004

Time-frequency feature detection for time-course microarray data.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Turning CARTwheels: an alternating algorithm for mining redescriptions.
Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2004

Noise sensitivity analysis of statistically consistent optimal structure from motion.
Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004

2003
Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes.
Proceedings of the 8th Pacific Symposium on Biocomputing, 2003

Life's Duplicities: Sex, Death, and Valis.
Proceedings of the High Performance Computing - HiPC 2003, 10th International Conference, 2003

A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing.
Proceedings of the High Performance Computing - HiPC 2003, 10th International Conference, 2003

Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002
Comparing gnomes.
Comput. Sci. Eng., 2002

A Random Walk Down the Genomes: DNA Evolution in Valis.
IEEE Computer, 2002

A Symbolic Approachto Modeling Cellular Behavior.
Proceedings of the High Performance Computing, 2002

XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior.
Proceedings of the High Performance Computing, 2002

2001
Placing Probes along the Genome Using Pairwise Distance Data.
Proceedings of the Algorithms in Bioinformatics, First International Workshop, 2001

False Positives in Genomic Map Assembly and Sequence Validation.
Proceedings of the Algorithms in Bioinformatics, First International Workshop, 2001

2000
On the Dynamic Finger Conjecture for Splay Trees. Part I: Splay Sorting log n-Block Sequences.
SIAM J. Comput., 2000

Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands.
I. J. Robotics Res., 2000

Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis.
Discret. Appl. Math., 2000

Probabilistic Algorithms for Efficient Grasping and Fixturing.
Algorithmica, 2000

1999
Genomics via Optical Mapping III: Contiging Genomic DNA.
Proceedings of the Seventh International Conference on Intelligent Systems for Molecular Biology, 1999

1998
New approaches to genomic analysis using single molecules.
Proceedings of the Second Annual International Conference on Research in Computational Molecular Biology, 1998

Partitioning <i>K</i> clones: hardness results and practical algorithms for the <i>K-populations problem</i>.
Proceedings of the Second Annual International Conference on Research in Computational Molecular Biology, 1998

1997
Genomics via Optical Mapping II: Ordered Restriction Maps.
J. Comput. Biol., 1997

Statistical Algorithms and Software for Genomics.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Bidirectional Edges Problem: Part I-A Simple Algorithm.
Algorithmica, 1996

CAFE': a Complex Adaptive Financial Environment.
Proceedings of the IEEE/IAFE 1996 Conference on Computational Intelligence for Financial Engineering, 1996

1995
Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995

1994
A Solution to Kronecker's Problem.
Appl. Algebra Eng. Commun. Comput., 1994

New findings from the SpiderWeb algorithm: toward a digital morse theory.
Proceedings of the Visualization in Biomedical Computing 1994, 1994

The Complexity of Resolvent Resolved.
Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. 23-25 January 1994, 1994

Reactive Algorithms for Grasping Using a Modified Parallel Jaw Gripper.
Proceedings of the 1994 International Conference on Robotics and Automation, 1994

1993
Algorithmic Algebra.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-4344-1, 1993

1992
On the Competitiveness of On-Line Real-Time Task Scheduling.
Real-Time Systems, 1992

Quantitative Steinitz's Theorems Applications to Multifingered Grasping.
Discret. Comput. Geom., 1992

A Linear-Time Algorithm for Finding an Ambitus.
Algorithmica, 1992

NC Algorithms for Real Algebraic Numbers.
Appl. Algebra Eng. Commun. Comput., 1992

1991
An NL Hierarchy.
Inf. Process. Lett., 1991

Workholding-analysis and planning.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 1991

On-line Scheduling in the Presence of Overload
Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, 1991

Some Constructions in Rings of Differential Polynomials.
Proceedings of the Applied Algebra, 1991

1990
A Fully Parallel Algorithm for Implementing Path Expressions.
J. Parallel Distributed Comput., 1990

Arithmetic with Real Algebraic Numbers is in NC.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990

Wu-Ritt Characteristic Sets and Their Complexity.
Proceedings of the Discrete and Computational Geometry: Papers from the DIMACS Special Year, 1990

1989
Some discussion of static gripping and its stability.
IEEE Trans. Syst. Man Cybern., 1989

Notes on Gröbner bases.
Inf. Sci., 1989

1987
On the Existence and Synthesis of Multifinger Positive Grips.
Algorithmica, 1987

1986
Automatic Verification of Sequential Circuits Using Temporal Logic.
IEEE Trans. Computers, 1986

Compiling Path Expressions Into VLSI Circuits.
Distributed Comput., 1986

1984
An Efficient Algorithm to Find all 'Bidirectional' Edges of an Undirected Graph
Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984

1983
Automatic Verification of Asynchronous Circuits.
Proceedings of the Logics of Programs, 1983


  Loading...