| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Bud Mishra Thomas S. Anantharaman , V. Mysore , Bud Mishra: Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. Pacific Symposium on Biocomputing 2005 Naren Ramakrishnan , Deept Kumar , Bud Mishra, Malcolm Potts , Richard F. Helm : Turning CARTwheels: an alternating algorithm for mining redescriptions. KDD 2004 : 266-275 Jiawu Feng , Paolo Emilio Barbano , Bud Mishra: Time-frequency feature detection for time-course microarray data. SAC 2004 : 128-132 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) Bud Mishra: Life's Duplicities: Sex, Death, and Valis. HiPC 2003 : 1 Will Casey , Bud Mishra: A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing. HiPC 2003 : 204-215 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 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 Salvatore Paxia , Archisman Rudra , Yi Zhou , Bud Mishra: A Random Walk Down the Genomes: DNA Evolution in Valis. IEEE Computer 35 (7): 73-79 (2002) Thomas S. Anantharaman , Bud Mishra: False Positives in Genomic Map Assembly and Sequence Validation. WABI 2001 : 27-40 Will Casey , Bud Mishra, Mike Wigler : Placing Probes along the Genome Using Pairwise Distance Data. WABI 2001 : 52-68 Marek Teichmann , Bud Mishra: Probabilistic Algorithms for Efficient Grasping and Fixturing. Algorithmica 26 (3-4): 345-363 (2000) Laxmi Parida , Bud Mishra: Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis. Discrete Applied Mathematics 104 (1-3): 203-227 (2000) 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) Thomas S. Anantharaman , Bud Mishra, David C. Schwartz : Genomics via Optical Mapping III: Contiging Genomic DNA. ISMB 1999 : 18-27 Laxmi Parida , Bud Mishra: Partitioning K clones: hardness results and practical algorithms for the K-populations problem . RECOMB 1998 : 192-201 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 Thomas S. Anantharaman , Bud Mishra: Statistical Algorithms and Software for Genomics. COMPSAC 1997 : 434-437 Thomas S. Anantharaman , Bud Mishra, David C. Schwartz : Genomics via Optical Mapping II: Ordered Restriction Maps. Journal of Computational Biology 4 (2): 91-118 (1997) Marco Antoniotti , Bud Mishra: Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers. ICRA 1995 : 1441-1446 Marek Teichmann , Bud Mishra: Reactive Algorithms for Grasping Using a Modified Parallel Jaw Gripper. ICRA 1994 : 1931-1936 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) Jianer Chen , Jim Cox , Bud Mishra: An NL Hierarchy. Inf. Process. Lett. 39 (1): 21-26 (1991) Bud Mishra, Chee Yap : Notes on Gröbner bases. Inf. Sci. 48 (3): 219-252 (1989) Thomas S. Anantharaman , Edmund M. Clarke , Michael J. Foster , Bud Mishra: Compiling Path Expressions Into VLSI Circuits. Distributed Computing 1 (3): 150-166 (1986) 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) Thomas S. Anantharaman , Edmund M. Clarke , Michael J. Foster , Bud Mishra: Compiling Path Expressions into VLSI Circuits. POPL 1985 : 191-204 Edmund M. Clarke , Bud Mishra: Automatic Verification of Asynchronous Circuits. Logic of Programs 1983 : 101-115 1 [ 2 ] [ 4 ] [ 10 ] [ 11 ] [ 12 ] [ 14 ] [ 19 ] [ 28 ] 2 [ 9 ] [ 21 ] [ 22 ] [ 25 ] 3 [ 12 ] 4 [ 26 ] 5 [ 3 ] 6 [ 18 ] [ 23 ] 7 [ 6 ] 8 [ 1 ] [ 2 ] [ 3 ] [ 4 ] 9 [ 12 ] 10 [ 15 ] 11 [ 6 ] 12 [ 7 ] 13 [ 12 ] 14 [ 3 ] 15 [ 12 ] 16 [ 12 ] 17 [ 12 ] 18 [ 26 ] 19 [ 2 ] [ 4 ] 20 [ 12 ] 21 [ 12 ] 22 [ 27 ] 23 [ 12 ] 24 [ 12 ] 25 [ 12 ] 26 [ 27 ] 27 [ 12 ] 28 [ 7 ] 29 [ 12 ] 30 [ 12 ] 31 [ 28 ] 32 [ 13 ] [ 16 ] 33 [ 22 ] 34 [ 20 ] 35 [ 7 ] 36 [ 25 ] 37 [ 21 ] [ 22 ] [ 25 ] 38 [ 12 ] 39 [ 27 ] 40 [ 12 ] 41 [ 27 ] 42 [ 7 ] 43 [ 20 ] 44 [ 15 ] 45 [ 10 ] [ 12 ] [ 14 ] 46 [ 15 ] 47 [ 25 ] 48 [ 12 ] 49 [ 8 ] [ 17 ] 50 [ 21 ] [ 22 ] 51 [ 18 ] 52 [ 5 ] 53 [ 20 ]  ©2005 Association for Computing Machinery |
