default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBud Mishra
Bhubaneswar Mishra
Person information
- affiliation: New York University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[b2]Inavamsi Enaganti, Nivedita Ganesh, Bud Mishra, Alexander Lu:
The Mischief of Math - Short Stories of Clowns, Contortionists, and Court-Jesters. WorldScientific 2024, ISBN 9789811287596, pp. 1-200- [j52]Bud Mishra
:
AI, Thinking Machines and a Vast Active Living Intelligent System. Int. J. Artif. Intell. Robotics Res. 1(1): 2302001:1-2302001:7 (2024) - 2021
- [j51]Marilena Vendittelli, Andrea Cristofaro, Jean-Paul Laumond, Bud Mishra:
Decidability in robot manipulation planning. Auton. Robots 45(5): 679-692 (2021) - [j50]Salvatore Alaimo, Rosaria Valentina Rapicavoli, Gioacchino P. Marceca, Alessandro La Ferlita, Oksana B. Serebrennikova, Philip N. Tsichlis, Bud Mishra, Alfredo Pulvirenti, Alfredo Ferro:
PHENSIM: Phenotype Simulator. PLoS Comput. Biol. 17(6) (2021) - [c72]Pepi Martinez, William Huang, Bud Mishra:
Coins, Covid, Keynes and K-Shaped Recovery. Financial Cryptography Workshops 2021: 611-627 - [i10]Abhinav Tamaskar, Roy Rinberg, Sunandan Chakraborty, Bud Mishra:
Creolizing the Web. CoRR abs/2102.12382 (2021) - [i9]Abhinav Tamaskar, Bud Mishra:
Efficient Evolutionary Models with Digraphons. CoRR abs/2104.12748 (2021) - [i8]Inavamsi Enaganti, Bud Mishra:
To mock a Mocking bird : Studies in Biomimicry. CoRR abs/2104.13228 (2021) - 2020
- [j49]Francesco Bonchi, Sara Hajian, Bud Mishra, Daniele Ramazzotti:
Correction to: Exposing the probabilistic causal structure of discrimination. Int. J. Data Sci. Anal. 9(3): 373 (2020) - [c71]Bhubaneswar Mishra:
Prospero's Books: A Distributed Architecture for AI. ICDCIT 2020: 41-49
2010 – 2019
- 2019
- [j48]William Casey, Ansgar Kellner, Parisa Memarmoshrefi, Jose Andre Morales, Bud Mishra:
Deception, identity, and security: the game theory of sybil attacks. Commun. ACM 62(1): 85-93 (2019) - [c70]Bud Mishra:
Tech and the City: Axialization, Institutionalization and Disruption. SmartCity360° 2019: 3-12 - [e4]Adriana B. Compagnoni, William Casey, Yang Cai, Bud Mishra:
Bio-inspired Information and Communication Technologies - 11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13-14, 2019, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 289, Springer 2019, ISBN 978-3-030-24201-5 [contents] - 2018
- [j47]Gelin Gao, Bud Mishra, Daniele Ramazzotti:
Causal data science for financial stress testing. J. Comput. Sci. 26: 294-304 (2018) - [c69]Francesco Bonchi, Francesco Gullo, Bud Mishra, Daniele Ramazzotti:
Probabilistic Causal Analysis of Social Influence. CIKM 2018: 1003-1012 - [i7]Francesco Bonchi, Francesco Gullo, Bud Mishra, Daniele Ramazzotti:
Probabilistic Causal Analysis of Social Influence. CoRR abs/1808.02129 (2018) - [i6]Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra:
Decidability in Robot Manipulation Planning. CoRR abs/1811.03581 (2018) - 2017
- [j46]Francesco Bonchi, Sara Hajian, Bud Mishra, Daniele Ramazzotti:
Exposing the probabilistic causal structure of discrimination. Int. J. Data Sci. Anal. 3(1): 1-21 (2017) - [c68]Krishnendu Ghosh, William Casey, Jose Andre Morales, Bud Mishra:
Malware Fingerprinting under Uncertainty. CSCloud 2017: 276-286 - [c67]Gelin Gao, Bud Mishra, Daniele Ramazzotti:
Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks. ICCS 2017: 272-284 - [i5]Gelin Gao, Bud Mishra, Daniele Ramazzotti:
Efficient Simulation of Financial Stress Testing Scenarios with Suppes-Bayes Causal Networks. CoRR abs/1703.03076 (2017) - 2016
- [j45]Luca De Sano, Giulio Caravagna, Daniele Ramazzotti, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Marco Antoniotti:
TRONCO: an R package for the inference of cancer progression models from heterogeneous genomic data. Bioinform. 32(12): 1911-1913 (2016) - [j44]William Casey, Jose Andre Morales, Evan Wright, Quanyan Zhu, Bud Mishra:
Compliance signaling games: toward modeling the deterrence of insider threats. Comput. Math. Organ. Theory 22(3): 318-349 (2016) - [j43]William Casey, Jose Andre Morales, Bud Mishra:
Threats from Inside: Dynamic Utility (Mis)Alignments in an Agent based Model. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 7(1): 97-117 (2016) - [j42]William Casey, Rhiannon Weaver, Jose Andre Morales, Evan Wright, Bud Mishra:
Epistatic Signaling and Minority Games, the Adversarial Dynamics in Social Technological Systems. Mob. Networks Appl. 21(1): 161-174 (2016) - [j41]Marco Antoniotti, Giulio Caravagna, Luca De Sano, Alex Graudenzi, Giancarlo Mauri, Bud Mishra, Daniele Ramazzotti:
Design of the TRONCO BioConductor Package for TRanslational ONCOlogy. R J. 8(2): 39 (2016) - [j40]William Casey, Parisa Memarmoshrefi, Ansgar Kellner, Jose Andre Morales, Bud Mishra:
Identity Deception and Game Deterrence via Signaling Games. EAI Endorsed Trans. Security Safety 3(9): e3 (2016) - [c66]Sebastian Peryt, Jose Andre Morales, William Casey, Aaron Volkmann, Bud Mishra, Yang Cai:
Visualizing a Malware Distribution Network. VizSEC 2016: 1-4 - 2015
- [j39]Daniele Ramazzotti, Giulio Caravagna, Loes Olde Loohuis, Alex Graudenzi, Ilya Korsunsky, Giancarlo Mauri, Marco Antoniotti, Bud Mishra:
CAPRI: efficient inference of cancer progression models from cross-sectional data. Bioinform. 31(18): 3016-3026 (2015) - [c65]William Casey, Parisa Memarmoshrefi, Ansgar Kellner, Jose Andre Morales, Bud Mishra:
Identity Deception and Game Deterrence via Signaling Games. BICT 2015: 73-82 - [c64]William Austin Casey, Quanyan Zhu, Jose Andre Morales, Bud Mishra:
Compliance Control: Managed Vulnerability Surface in Social-Technological Systems via Signaling Games. MIST@CCS 2015: 53-62 - [c63]Bud Mishra:
Gappy Total Recaller: Efficient Algorithms and Data Structures for Accurate Transcriptomics. ICDCIT 2015: 150-161 - [c62]Krishnendu Ghosh, Jose Andre Morales, William Casey, Bud Mishra:
Sandboxing and reasoning on malware infection trees. MALWARE 2015: 69-73 - [i4]Francesco Bonchi, Sara Hajian, Bud Mishra, Daniele Ramazzotti:
Exposing the Probabilistic Causal Structure of Discrimination. CoRR abs/1510.00552 (2015) - 2014
- [j38]Loes Olde Loohuis, Andreas Witzel, Bud Mishra:
Cancer hybrid automata: Model, beliefs and therapy. Inf. Comput. 236: 68-86 (2014) - [j37]Loes Olde Loohuis, Andreas Witzel, Bud Mishra:
Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in Cancer. IEEE ACM Trans. Comput. Biol. Bioinform. 11(6): 1260-1263 (2014) - [c61]Giuseppe Narzisi, Bud Mishra, Michael C. Schatz:
On Algorithmic Complexity of Biomolecular Sequence Assembly Problem. AlCoB 2014: 183-195 - [c60]William Casey, Rhiannon Weaver, Leigh Metcalf, Jose Andre Morales, Evan Wright, Bud Mishra:
Cyber Security via Minority Games with Epistatic Signaling. BICT 2014 - [c59]William Casey, Jose Andre Morales, Thomson Nguyen, Jonathan M. Spring, Rhiannon Weaver, Evan Wright, Leigh Metcalf, Bud Mishra:
Cyber Security via Signaling Games: Toward a Science of Cyber Security. ICDCIT 2014: 34-42 - [c58]William Casey, Evan Wright, Jose Andre Morales, Michael Appel, Jeff Gennari, Bud Mishra:
Agent-based trace learning in a recommendation-verification system for cybersecurity. MALWARE 2014: 135-143 - [c57]Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra:
Decidability of Robot Manipulation Planning: Three Disks in the Plane. WAFR 2014: 641-657 - [i3]Ilya Korsunsky, Daniele Ramazzotti, Giulio Caravagna, Bud Mishra:
Inference of Cancer Progression Models with Biological Noise. CoRR abs/1408.6032 (2014) - 2012
- [j36]Justin Jee, Lee Case Klippel, Mahmud Shahriar Hossain, Naren Ramakrishnan, Bud Mishra:
Discovering the Ebb and Flow of Ideas from Text Corpora. Computer 45(2): 73-77 (2012) - [j35]Andrew Sundstrom, Silvio Cirrone, Salvatore Paxia, Carlin Hsueh, Rachel Kjolby, James K. Gimzewski, Jason Reed, Bud Mishra:
Image Analysis and Length Estimation of Biomolecules Using AFM. IEEE Trans. Inf. Technol. Biomed. 16(6): 1200-1207 (2012) - [c56]Loes Olde Loohuis, Andreas Witzel, Bud Mishra:
Towards Cancer Hybrid Automata. HSB 2012: 137-151 - [i2]Samantha Kleinberg, Bud Mishra:
The Temporal Logic of Causal Structures. CoRR abs/1205.2634 (2012) - [i1]Francesco Vezzi, Giuseppe Narzisi, Bud Mishra:
Reevaluating Assembly Evaluations with Feature Response Curves: GAGE and Assemblathons. CoRR abs/1210.1095 (2012) - 2011
- [j34]Giuseppe Narzisi, Bud Mishra:
Scoring-and-unfolding trimmed tree assembler: concepts, constructs and comparisons. Bioinform. 27(2): 153-160 (2011) - [j33]Fabian Menges, Giuseppe Narzisi, Bud Mishra:
TotalReCaller: improved accuracy and performance via integrated alignment and base-calling. Bioinform. 27(17): 2330-2337 (2011) - [j32]Antonina Mitrofanova, Vladimir Pavlovic, Bud Mishra:
Prediction of Protein Functions with Gene Ontology and Interspecies Protein Homology Data. IEEE ACM Trans. Comput. Biol. Bioinform. 8(3): 775-784 (2011) - 2010
- [j31]Antonina Mitrofanova, Samantha Kleinberg, Jane Carlton, Simon Kasif, Bud Mishra:
Predicting malaria interactome classifications from time-course transcriptomic data along the intraerythrocytic developmental cycle. Artif. Intell. Medicine 49(3): 167-176 (2010) - [j30]Antonina Mitrofanova, Bud Mishra:
On a novel coalescent model for genome-wide evolution of Copy Number Variations. Int. J. Data Min. Bioinform. 4(3): 300-315 (2010) - [c55]Samantha Kleinberg, Bud Mishra:
The Temporal Logic of Token Causes. KR 2010
2000 – 2009
- 2009
- [j29]Bud Mishra:
Technical perspective - Where biology meets computing. Commun. ACM 52(3): 96 (2009) - [j28]Satish Tadepalli, Naren Ramakrishnan, Layne T. Watson, Bud Mishra, Richard F. Helm:
Simultaneously Segmenting Multiple Gene Expression Time Courses by Analyzing Cluster Dynamics. J. Bioinform. Comput. Biol. 7(2): 339-356 (2009) - [j27]Samantha Kleinberg, Bud Mishra:
Metamorphosis: the Coming Transformation of Translational Systems Biology. ACM Queue 7(9): 40 (2009) - [c54]Antonina Mitrofanova, Martin Farach-Colton, Bud Mishra:
Efficient and Robust Prediction Algorithms for Protein Complexes Using Gomory-Hu Trees. Pacific Symposium on Biocomputing 2009: 215-226 - [c53]Samantha Kleinberg, Bud Mishra:
The Temporal Logic of Causal Structures. UAI 2009: 303-312 - 2008
- [j26]Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra:
Inclusion dynamics hybrid automata. Inf. Comput. 206(12): 1394-1424 (2008) - [j25]Srinivas Akella, Nancy M. Amato, Wesley H. Huang, Bud Mishra:
Special Issue on the Seventh International Workshop on Algorithmic Foundations of Robotics. Int. J. Robotics Res. 27(11-12): 1173-1174 (2008) - [c52]Satish Tadepalli, Naren Ramakrishnan, Layne T. Watson, Bhubaneswar Mishra, Richard F. Helm:
Simultaneously Segmenting Multiple Gene Expression Time Courses by Analyzing Cluster Dynamics. APBC 2008: 297-306 - [c51]Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra:
Decidable Compositions of O-Minimal Automata. ATVA 2008: 274-288 - [c50]Antonina Mitrofanova, Samantha Kleinberg, Jane Carlton, Simon Kasif, Bud Mishra:
Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic Profiles. BIBM 2008: 278-283 - [c49]Antonina Mitrofanova, Vladimir Pavlovic, Bud Mishra:
Integrative Protein Function Transfer Using Factor Graphs and Heterogeneous Data Sources. BIBM 2008: 314-318 - [c48]Antonina Mitrofanova, Bud Mishra:
Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes. SAC 2008: 1309-1310 - [c47]Fabian Menges, Bud Mishra, Giuseppe Narzisi:
Modeling and simulation of e-mail social networks: A new stochastic agent-based approach. WSC 2008: 2792-2800 - [c46]Samantha Kleinberg, Bud Mishra:
Psst: a web-based system for tracking political statements. WWW 2008: 1143-1144 - [e3]Magnus Egerstedt, Bud Mishra:
Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. Lecture Notes in Computer Science 4981, Springer 2008, ISBN 978-3-540-78928-4 [contents] - [e2]Srinivas Akella, Nancy M. Amato, Wesley H. Huang, Bud Mishra:
Algorithmic Foundation of Robotics VII, Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2006, July 16-18, 2006, New York, NY, USA. Springer Tracts in Advanced Robotics 47, Springer 2008, ISBN 978-3-540-68404-6 [contents] - 2007
- [j24]Gilad Lerman, Joseph McQuown, Alexandre Blais, Brian D. Dynlacht, Guangliang Chen, Bud Mishra:
Functional genomics via multiscale analysis: application to gene expression and ChIP-on-chip data. Bioinform. 23(3): 314-320 (2007) - [j23]Jomol P. Mathew, Barry S. Taylor, Gary D. Bader, Saiju Pyarajan, Marco Antoniotti, Arul M. Chinnaiyan, Chris Sander, Steven J. Burakoff, Bud Mishra:
From Bytes to Bedside: Data Integration and Computational Biology for Translational Cancer Research. PLoS Comput. Biol. 3(2) (2007) - [c45]Bud Mishra:
Algebraic Systems Biology: Theses and Hypotheses. AB 2007: 1-14 - [c44]Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra:
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. AB 2007: 51-65 - [c43]Venkatesh Mysore, Bud Mishra:
Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. AB 2007: 170-184 - [c42]Giuseppe Narzisi, Joshua S. Mincer, Silas Smith, Bud Mishra:
Resilience in the Face of Disaster: Accounting for Varying Disaster Magnitudes, Resource Topologies, and (Sub)Population Distributions in the PLAN C Emergency Planning Tool. HoloMAS 2007: 433-446 - [c41]Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra:
Composing Semi-algebraic O-Minimal Automata. HSCC 2007: 668-671 - [c40]Italo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri:
Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. ISBRA 2007: 158-169 - [c39]Raffaella Gentilini, Klaus Schneider, Bud Mishra:
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. LFCS 2007: 224-240 - 2006
- [j22]Joseph West, John Healy, Michael Wigler, William Casey, Bud Mishra:
Validation of S. Pombe Sequence Assembly by Microarray Hybridization. J. Comput. Biol. 13(1): 1-20 (2006) - [c38]Giuseppe Narzisi, Venkatesh Mysore, Bud Mishra:
Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning. Computational Intelligence 2006: 228-232 - [c37]Ofer H. Gill, Bud Mishra:
SEPA: Approximate Non-subjective Empirical p-Value Estimation for Nucleotide Sequence Alignment. International Conference on Computational Science (2) 2006: 638-645 - [c36]Bing Sun, Jacob T. Schwartz, Ofer H. Gill, Bud Mishra:
COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching. International Conference on Computational Science (2) 2006: 654-661 - [e1]Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson:
Transactions on Computational Systems Biology VII. Lecture Notes in Computer Science 4230, Springer 2006, ISBN 3-540-48837-5 [contents] - 2005
- [c35]Venkatesh Mysore, Carla Piazza, Bud Mishra:
Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. ATVA 2005: 217-233 - [c34]Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra:
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV 2005: 5-19 - [c33]Alberto Casagrande, Carla Piazza, Bud Mishra:
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. CDC/ECC 2005: 678-683 - [c32]Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra:
Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. Pacific Symposium on Biocomputing 2005 - [c31]Venkatesh Mysore, Bud Mishra:
Algorithmic Algebraic Model Checking III: Approximate Methods. INFINITY 2005: 61-77 - [p1]Ofer H. Gill, Yi Zhou, Bud Mishra:
Aligning sequences with non-Affine Gap penalty: Plains Algorithm, a Practical Implementation, and its biological Applications in Comparative genomics. Advances in Bioinformatics and Its Applications 2005 - 2004
- [j21]Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra:
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. 325(1): 45-67 (2004) - [c30]Frank Chongwoo Park, Byungsoo Park, Munsang Kim, Bhubaneswar Mishra:
Noise sensitivity analysis of statistically consistent optimal structure from motion. IROS 2004: 3698-3703 - [c29]Naren Ramakrishnan, Deept Kumar, Bud Mishra, Malcolm Potts, Richard F. Helm:
Turning CARTwheels: an alternating algorithm for mining redescriptions. KDD 2004: 266-275 - [c28]Jiawu Feng, Paolo Emilio Barbano, Bud Mishra:
Time-frequency feature detection for time-course microarray data. SAC 2004: 128-132 - [r1]Bhubaneswar Mishra:
Computational Real Algebraic Geometry. Handbook of Discrete and Computational Geometry, 2nd Ed. 2004: 743-764 - 2003
- [c27]Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni:
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB 2003: 57-74 - [c26]Bud Mishra:
Life's Duplicities: Sex, Death, and Valis. HiPC 2003: 1 - [c25]Will Casey, Bud Mishra:
A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing. HiPC 2003: 204-215 - [c24]Marco Antoniotti, F. Park, Alberto Policriti, Nadia Ugel, Bud Mishra:
Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. Pacific Symposium on Biocomputing 2003: 116-127 - 2002
- [j20]Salvatore Paxia, Archisman Rudra, Yi Zhou, Bud Mishra:
A Random Walk Down the Genomes: DNA Evolution in Valis. Computer 35(7): 73-79 (2002) - [j19]Bud Mishra:
Comparing gnomes. Comput. Sci. Eng. 4(1): 42-49 (2002) - [c23]Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra:
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. HiPC 2002: 431-442 - [c22]Bhubaneswar Mishra:
A Symbolic Approachto Modeling Cellular Behavior. HiPC 2002: 725-732 - 2001
- [c21]Thomas S. Anantharaman, Bud Mishra:
False Positives in Genomic Map Assembly and Sequence Validation. WABI 2001: 27-40 - [c20]Will Casey, Bud Mishra, Michael Wigler:
Placing Probes along the Genome Using Pairwise Distance Data. WABI 2001: 52-68 - 2000
- [j18]Marek Teichmann, Bud Mishra:
Probabilistic Algorithms for Efficient Grasping and Fixturing. Algorithmica 26(3-4): 345-363 (2000) - [j17]Laxmi Parida, Bud Mishra:
Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis. Discret. Appl. Math. 104(1-3): 203-227 (2000) - [j16]Marek Teichmann, Bud Mishra:
Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands. Int. J. Robotics Res. 19(7): 697-708 (2000) - [j15]Richard Cole, Bud Mishra, Jeanette P. Schmidt, Alan Siegel:
On the Dynamic Finger Conjecture for Splay Trees. Part I: Splay Sorting log n-Block Sequences. SIAM J. Comput. 30(1): 1-43 (2000)
1990 – 1999
- 1999
- [c19]Thomas S. Anantharaman, Bud Mishra, David C. Schwartz:
Genomics via Optical Mapping III: Contiging Genomic DNA. ISMB 1999: 18-27 - 1998
- [c18]Laxmi Parida, Bud Mishra:
Partitioning K clones: hardness results and practical algorithms for the K-populations problem. RECOMB 1998: 192-201 - [c17]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:
New approaches to genomic analysis using single molecules. RECOMB 1998: 248-250 - 1997
- [j14]Thomas S. Anantharaman, Bud Mishra, David C. Schwartz:
Genomics via Optical Mapping II: Ordered Restriction Maps. J. Comput. Biol. 4(2): 91-118 (1997) - [c16]Thomas S. Anantharaman, Bud Mishra:
Statistical Algorithms and Software for Genomics. COMPSAC 1997: 434-437 - 1996
- [j13]Bhubaneswar Mishra:
Bidirectional Edges Problem: Part I-A Simple Algorithm. Algorithmica 15(3): 256-286 (1996) - [c15]Roil Even, Bud Mishra:
CAFE': a Complex Adaptive Financial Environment. CIFEr 1996: 20-25 - 1995
- [c14]Marco Antoniotti, Bud Mishra:
Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers. ICRA 1995: 1441-1446 - 1994
- [j12]Giovanni Gallo, Bhubaneswar Mishra:
A Solution to Kronecker's Problem. Appl. Algebra Eng. Commun. Comput. 5: 343-370 (1994) - [c13]Marek Teichmann, Bud Mishra:
Reactive Algorithms for Grasping Using a Modified Parallel Jaw Gripper. ICRA 1994: 1931-1936 - [c12]Giovanni Gallo, Bhubaneswar Mishra:
The Complexity of Resolvent Resolved. SODA 1994: 280-289 - [c11]Daniel B. Karron, James Cox, Bhubaneswar Mishra:
New findings from the SpiderWeb algorithm: toward a digital morse theory. VBC 1994 - 1993
- [b1]Bhubaneswar Mishra:
Algorithmic Algebra. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-3-540-94090-6, pp. I-XII, 1-416 - 1992
- [j11]Felipe Cucker, Hervé Lanneau, Bud Mishra, Paul Pedersen, Marie-Françoise Roy:
NC Algorithms for Real Algebraic Numbers. Appl. Algebra Eng. Commun. Comput. 3: 79-98 (1992) - [j10]Bhubaneswar Mishra, Robert Endre Tarjan:
A Linear-Time Algorithm for Finding an Ambitus. Algorithmica 7(5&6): 521-554 (1992) - [j9]David G. Kirkpatrick, Bhubaneswar Mishra, Chee-Keng Yap:
Quantitative Steinitz's Theorems Applications to Multifingered Grasping. Discret. Comput. Geom. 7: 295-318 (1992) - [j8]Sanjoy K. Baruah, Gilad Koren, Decao Mao, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha, Fuxing Wang:
On the Competitiveness of On-Line Real-Time Task Scheduling. Real Time Syst. 4(2): 125-144 (1992) - 1991
- [j7]Jianer Chen, Jim Cox, Bud Mishra:
An NL Hierarchy. Inf. Process. Lett. 39(1): 21-26 (1991) - [c10]Giovanni Gallo, Bhubaneswar Mishra, François Ollivier:
Some Constructions in Rings of Differential Polynomials. AAECC 1991: 171-182 - [c9]Sanjoy K. Baruah, Gilad Koren, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha:
On-line Scheduling in the Presence of Overload. FOCS 1991: 100-110 - [c8]Bud Mishra:
Workholding-analysis and planning. IROS 1991: 53-57 - [c7]Sanjoy K. Baruah, Gilad Koren, Decao Mao, Bud Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis E. Shasha, Fuxing Wang:
On the competitiveness of on-line real-time task scheduling. RTSS 1991: 106-115 - 1990
- [j6]Anne Dinning, Bhubaneswar Mishra:
A Fully Parallel Algorithm for Implementing Path Expressions. J. Parallel Distributed Comput. 10(3): 205-221 (1990) - [c6]Giovanni Gallo, Bhubaneswar Mishra:
Wu-Ritt Characteristic Sets and Their Complexity. Discrete and Computational Geometry 1990: 111-136 - [c5]Bhubaneswar Mishra, Paul Pedersen:
Arithmetic with Real Algebraic Numbers is in NC. ISSAC 1990: 120-126 - [c4]David G. Kirkpatrick, Bhubaneswar Mishra, Chee-Keng Yap:
Quantitative Steinitz's Theorems with Applications to Multifingered Grasping. STOC 1990: 341-351
1980 – 1989
- 1989
- [j5]Bud Mishra, Chee-Keng Yap:
Notes on Gröbner bases. Inf. Sci. 48(3): 219-252 (1989) - [j4]Bud Mishra, Naomi Silver:
Some discussion of static gripping and its stability. IEEE Trans. Syst. Man Cybern. 19(4): 783-796 (1989) - 1987
- [j3]Bhubaneswar Mishra, Jacob T. Schwartz, Micha Sharir:
On the Existence and Synthesis of Multifinger Positive Grips. Algorithmica 2: 541-558 (1987) - 1986
- [j2]Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra:
Compiling Path Expressions Into VLSI Circuits. Distributed Comput. 1(3): 150-166 (1986) - [j1]Michael C. Browne, Edmund M. Clarke, David L. Dill, Bud Mishra:
Automatic Verification of Sequential Circuits Using Temporal Logic. IEEE Trans. Computers 35(12): 1035-1044 (1986) - 1985
- [c3]Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra:
Compiling Path Expressions into VLSI Circuits. POPL 1985: 191-204 - 1984
- [c2]Bhubaneswar Mishra:
An Efficient Algorithm to Find all 'Bidirectional' Edges of an Undirected Graph. FOCS 1984: 207-216 - 1983
- [c1]Edmund M. Clarke, Bud Mishra:
Automatic Verification of Asynchronous Circuits. Logic of Programs 1983: 101-115
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
