Bud Mishra
According to our database^{1},
Bud Mishra
authored at least 122 papers
between 1983 and 2021.
Collaborative distances:
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 OtherLinks
Online presence:

on viaf.org

on id.loc.gov

on cs.nyu.edu

on dl.acm.org
On csauthors.net:
Bibliography
2021
CoRR, 2021
CoRR, 2021
CoRR, 2021
2020
Int. J. Data Sci. Anal., 2020
Proceedings of the Distributed Computing and Internet Technology, 2020
2019
Commun. ACM, 2019
2018
J. Comput. Sci., 2018
CoRR, 2018
Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018
2017
Int. J. Data Sci. Anal., 2017
Efficient Simulation of Financial Stress Testing Scenarios with SuppesBayes Causal Networks.
Proceedings of the International Conference on Computational Science, 2017
Proceedings of the 4th IEEE International Conference on Cyber Security and Cloud Computing, 2017
2016
EAI Endorsed Trans. Security Safety, 2016
R J., 2016
Epistatic Signaling and Minority Games, the Adversarial Dynamics in Social Technological Systems.
Mob. Networks Appl., 2016
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2016
Comput. Math. Organ. Theory, 2016
TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data.
Bioinform., 2016
Proceedings of the 13th IEEE Symposium on Visualization for Cyber Security, 2016
2015
CAPRI: efficient inference of cancer progression models from crosssectional data.
Bioinform., 2015
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 SocialTechnological Systems via Signaling Games.
Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015
2014
Improving Detection of Driver Genes: PowerLaw Null Model of Copy Number Variation in Cancer.
IEEE ACM Trans. Comput. Biol. Bioinform., 2014
Inf. Comput., 2014
CoRR, 2014
Proceedings of the Algorithmic Foundations of Robotics XI, 2014
Agentbased trace learning in a recommendationverification system for cybersecurity.
Proceedings of the 9th International Conference on Malicious and Unwanted Software: The Americas MALWARE 2014, 2014
Proceedings of the Distributed Computing and Internet Technology, 2014
Proceedings of the 8th International Conference on Bioinspired Information and Communications Technologies, 2014
Proceedings of the Algorithms for Computational Biology  First International Conference, 2014
2012
IEEE Trans. Inf. Technol. Biomed., 2012
Reevaluating Assembly Evaluations with Feature Response Curves: GAGE and Assemblathons
CoRR, 2012
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 2012
Computer, 2012
2011
Prediction of Protein Functions with Gene Ontology and Interspecies Protein Homology Data.
IEEE ACM Trans. Comput. Biol. Bioinform., 2011
Scoringandunfolding trimmed tree assembler: concepts, constructs and comparisons.
Bioinform., 2011
TotalReCaller: improved accuracy and performance via integrated alignment and basecalling.
Bioinform., 2011
2010
Int. J. Data Min. Bioinform., 2010
Predicting malaria interactome classifications from timecourse transcriptomic data along the intraerythrocytic developmental cycle.
Artif. Intell. Medicine, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
2009
ACM Queue, 2009
Simultaneously Segmenting Multiple Gene Expression Time Courses by Analyzing Cluster Dynamics.
J. Bioinform. Comput. Biol., 2009
Commun. ACM, 2009
Proceedings of the UAI 2009, 2009
Efficient and Robust Prediction Algorithms for Protein Complexes Using GomoryHu 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.
Int. J. Robotics Res., 2008
Inf. Comput., 2008
Proceedings of the 17th International Conference on World Wide Web, 2008
Modeling and simulation of email social networks: A new stochastic agentbased 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
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 Comput. Biol., 2007
Functional genomics via multiscale analysis: application to gene expression and ChIPonchip data.
Bioinform., 2007
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
Proceedings of the Bioinformatics Research and Applications, Third International Symposium, 2007
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 MultiAgent Systems for Manufacturing, 2007
Proceedings of the Algebraic Biology, Second International Conference, 2007
Proceedings of the Algebraic Biology, Second International Conference, 2007
Translating TimeCourse Gene Expression Profiles into Semialgebraic Hybrid Automata Via Dimensionality Reduction.
Proceedings of the Algebraic Biology, Second International Conference, 2007
2006
J. Comput. Biol., 2006
COMBAT: Search Rapidly for Highly Similar ProteinCoding Sequences Using Bipartite Graph Matching.
Proceedings of the Computational Science, 2006
SEPA: Approximate Nonsubjective Empirical <i>p</i>Value Estimation for Nucleotide Sequence Alignment.
Proceedings of the Computational Science, 2006
Multiobjective evolutionary optimization of agentbased models: An application to emergency response planning.
Proceedings of the Second IASTED International Conference on Computational Intelligence, 2006
2005
Proceedings of the 7th International Workshop on Verification of InfiniteState Systems, 2005
Proceedings of the Biocomputing 2005, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Algorithmic Algebraic Model Checking II: Decidability of Semialgebraic Model Checking and Its Applications to Systems Biology.
Proceedings of the Automated Technology for Verification and Analysis, 2005
Aligning sequences with nonAffine 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
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
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
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
Proceedings of the High Performance Computing  HiPC 2003, 10th International Conference, 2003
A Nearly LinearTime General Algorithm for GenomeWide Biallele Haplotype Phasing.
Proceedings of the High Performance Computing  HiPC 2003, 10th International Conference, 2003
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003
2002
Comput. Sci. Eng., 2002
Computer, 2002
Proceedings of the High Performance Computing, 2002
XSsystems: eXtended SSystems and Algebraic Differential Automata for Modeling Cellular Behavior.
Proceedings of the High Performance Computing, 2002
2001
Proceedings of the Algorithms in Bioinformatics, First International Workshop, 2001
Proceedings of the Algorithms in Bioinformatics, First International Workshop, 2001
2000
On the Dynamic Finger Conjecture for Splay Trees. Part I: Splay Sorting log nBlock Sequences.
SIAM J. Comput., 2000
Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands.
Int. J. Robotics Res., 2000
Partitioning singlemolecule maps into multiple populations: algorithms and probabilistic analysis.
Discret. Appl. Math., 2000
Algorithmica, 2000
1999
Proceedings of the Seventh International Conference on Intelligent Systems for Molecular Biology, 1999
1998
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>Kpopulations problem</i>.
Proceedings of the Second Annual International Conference on Research in Computational Molecular Biology, 1998
1997
J. Comput. Biol., 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
1996
Algorithmica, 1996
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
Appl. Algebra Eng. Commun. Comput., 1994
Proceedings of the Visualization in Biomedical Computing 1994, 1994
Proceedings of the Fifth Annual ACMSIAM Symposium on Discrete Algorithms. 2325 January 1994, 1994
Proceedings of the 1994 International Conference on Robotics and Automation, 1994
1993
Texts and Monographs in Computer Science, Springer, ISBN: 9781461243441, 1993
1992
Real Time Syst., 1992
Discret. Comput. Geom., 1992
Algorithmica, 1992
Appl. Algebra Eng. Commun. Comput., 1992
1991
Inf. Process. Lett., 1991
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 1991
Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, 1991
Proceedings of the Applied Algebra, 1991
1990
J. Parallel Distributed Comput., 1990
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1990
Proceedings of the Discrete and Computational Geometry: Papers from the DIMACS Special Year, 1990
1989
IEEE Trans. Syst. Man Cybern., 1989
Inf. Sci., 1989
1987
Algorithmica, 1987
1986
IEEE Trans. Computers, 1986
Distributed Comput., 1986
1984
Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984
1983
Proceedings of the Logics of Programs, 1983