Bud Mishra
Orcid: 0000-0003-2126-8711Affiliations:
- New York University, USA
According to our database1,
Bud Mishra
authored at least 129 papers
between 1983 and 2024.
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 Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on cs.nyu.edu
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Int. J. Artif. Intell. Robotics Res., 2024
WorldScientific, ISBN: 9789811287619, 2024
2021
Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021
2020
Int. J. Data Sci. Anal., 2020
Proceedings of the Distributed Computing and Internet Technology, 2020
2019
Commun. ACM, 2019
Proceedings of the Science and Technologies for Smart Cities, 2019
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 Suppes-Bayes 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
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
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 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. Biol. Bioinform., 2014
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
Proceedings of the Distributed Computing and Internet Technology, 2014
Proceedings of the 8th International Conference on Bio-inspired 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
2011
Prediction of Protein Functions with Gene Ontology and Interspecies Protein Homology Data.
IEEE ACM Trans. Comput. Biol. Bioinform., 2011
Bioinform., 2011
TotalReCaller: improved accuracy and performance via integrated alignment and base-calling.
Bioinform., 2011
2010
Int. J. Data Min. Bioinform., 2010
Predicting malaria interactome classifications from time-course 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
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.
Int. J. Robotics Res., 2008
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
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 ChIP-on-chip 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 Multi-Agent Systems for Manufacturing, 2007
Proceedings of the Algebraic Biology, Second International Conference, 2007
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
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
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005
Proceedings of the Biocomputing 2005, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
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
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
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
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
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 n-Block Sequences.
SIAM J. Comput., 2000
Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands.
Int. J. Robotics Res., 2000
Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis.
Discret. Appl. Math., 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>K-populations problem</i>.
Proceedings of the Second Annual International Conference on Research in Computational Molecular Biology, 1998
1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
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
Proceedings of the Visualization in Biomedical Computing 1994, 1994
Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms. 23-25 January 1994, 1994
Proceedings of the 1994 International Conference on Robotics and Automation, 1994
1993
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-4344-1, 1993
1992
Discret. Comput. Geom., 1992
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
1987
1986
IEEE Trans. Computers, 1986
1984
Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984
1983
Proceedings of the Logics of Programs, 1983