The SCEAS System
Navigation Menu

Search the dblp DataBase


Bud Mishra: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra
    Compiling Path Expressions into VLSI Circuits. [Citation Graph (1, 0)][DBLP]
    POPL, 1985, pp:191-204 [Conf]
  2. Venkatesh Mysore, Carla Piazza, Bud Mishra
    Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:217-233 [Conf]
  3. Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
    Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:5-19 [Conf]
  4. Thomas S. Anantharaman, Bud Mishra
    Statistical Algorithms and Software for Genomics. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:434-437 [Conf]
  5. Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra
    XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. [Citation Graph (0, 0)][DBLP]
    HiPC, 2002, pp:431-442 [Conf]
  6. Will Casey, Bud Mishra
    A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing. [Citation Graph (0, 0)][DBLP]
    HiPC, 2003, pp:204-215 [Conf]
  7. Bud Mishra
    Life's Duplicities: Sex, Death, and Valis. [Citation Graph (0, 0)][DBLP]
    HiPC, 2003, pp:1- [Conf]
  8. Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra
    Composing Semi-algebraic O-Minimal Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:668-671 [Conf]
  9. Ofer H. Gill, Bud Mishra
    SEPA: Approximate Non-subjective Empirical p-Value Estimation for Nucleotide Sequence Alignment. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2006, pp:638-645 [Conf]
  10. Bing Sun, Jacob T. Schwartz, Ofer H. Gill, Bud Mishra
    COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2006, pp:654-661 [Conf]
  11. Marco Antoniotti, Bud Mishra
    Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers. [Citation Graph (0, 0)][DBLP]
    ICRA, 1995, pp:1441-1446 [Conf]
  12. Marek Teichmann, Bud Mishra
    Reactive Algorithms for Grasping Using a Modified Parallel Jaw Gripper. [Citation Graph (0, 0)][DBLP]
    ICRA, 1994, pp:1931-1936 [Conf]
  13. Thomas S. Anantharaman, Bud Mishra, David C. Schwartz
    Genomics via Optical Mapping III: Contiging Genomic DNA. [Citation Graph (0, 0)][DBLP]
    ISMB, 1999, pp:18-27 [Conf]
  14. Naren Ramakrishnan, Deept Kumar, Bud Mishra, Malcolm Potts, Richard F. Helm
    Turning CARTwheels: an alternating algorithm for mining redescriptions. [Citation Graph (0, 0)][DBLP]
    KDD, 2004, pp:266-275 [Conf]
  15. Edmund M. Clarke, Bud Mishra
    Automatic Verification of Asynchronous Circuits. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:101-115 [Conf]
  16. Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra
    Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. [Citation Graph (0, 0)][DBLP]
    Pacific Symposium on Biocomputing, 2005, pp:- [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    Pacific Symposium on Biocomputing, 2003, pp:116-127 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    RECOMB, 1998, pp:248-250 [Conf]
  19. Laxmi Parida, Bud Mishra
    Partitioning K clones: hardness results and practical algorithms for the K-populations problem. [Citation Graph (0, 0)][DBLP]
    RECOMB, 1998, pp:192-201 [Conf]
  20. Jiawu Feng, Paolo Emilio Barbano, Bud Mishra
    Time-frequency feature detection for time-course microarray data. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:128-132 [Conf]
  21. Thomas S. Anantharaman, Bud Mishra
    False Positives in Genomic Map Assembly and Sequence Validation. [Citation Graph (0, 0)][DBLP]
    WABI, 2001, pp:27-40 [Conf]
  22. Will Casey, Bud Mishra, Mike Wigler
    Placing Probes along the Genome Using Pairwise Distance Data. [Citation Graph (0, 0)][DBLP]
    WABI, 2001, pp:52-68 [Conf]
  23. Felipe Cucker, Hervé Lanneau, Bud Mishra, Paul Pedersen, Marie-Françoise Roy
    NC Algorithms for Real Algebraic Numbers. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 1992, v:3, n:, pp:79-98 [Journal]
  24. Marek Teichmann, Bud Mishra
    Probabilistic Algorithms for Efficient Grasping and Fixturing. [Citation Graph (0, 0)][DBLP]
    Algorithmica, 2000, v:26, n:3-4, pp:345-363 [Journal]
  25. 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. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2007, v:23, n:3, pp:314-320 [Journal]
  26. Salvatore Paxia, Archisman Rudra, Yi Zhou, Bud Mishra
    A Random Walk Down the Genomes: DNA Evolution in Valis. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2002, v:35, n:7, pp:73-79 [Journal]
  27. Laxmi Parida, Bud Mishra
    Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 2000, v:104, n:1-3, pp:203-227 [Journal]
  28. Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra
    Compiling Path Expressions Into VLSI Circuits. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:3, pp:150-166 [Journal]
  29. Venkatesh Mysore, Bud Mishra
    Algorithmic Algebraic Model Checking III: Approximate Methods. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:1, pp:61-77 [Journal]
  30. Marek Teichmann, Bud Mishra
    Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands. [Citation Graph (0, 0)][DBLP]
    I. J. Robotic Res., 2000, v:19, n:7, pp:697-708 [Journal]
  31. Jianer Chen, Jim Cox, Bud Mishra
    An NL Hierarchy. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:39, n:1, pp:21-26 [Journal]
  32. Bud Mishra, Chee Yap
    Notes on Gröbner bases. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1989, v:48, n:3, pp:219-252 [Journal]
  33. Thomas S. Anantharaman, Bud Mishra, David C. Schwartz
    Genomics via Optical Mapping II: Ordered Restriction Maps. [Citation Graph (0, 0)][DBLP]
    Journal of Computational Biology, 1997, v:4, n:2, pp:91-118 [Journal]
  34. 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. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2000, v:30, n:1, pp:1-43 [Journal]
  35. Michael C. Browne, Edmund M. Clarke, David L. Dill, Bud Mishra
    Automatic Verification of Sequential Circuits Using Temporal Logic. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1986, v:35, n:12, pp:1035-1044 [Journal]
  36. Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra
    Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:325, n:1, pp:45-67 [Journal]
  37. 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. [Citation Graph (0, 0)][DBLP]
    HoloMAS, 2007, pp:433-446 [Conf]
  38. Giuseppe Narzisi, Venkatesh Mysore, Bud Mishra
    Multi-objective evolutionary optimization of agent-based models: An application to emergency response planning. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 2006, pp:228-232 [Conf]
  39. Italo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri
    Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. [Citation Graph (0, 0)][DBLP]
    ISBRA, 2007, pp:158-169 [Conf]
  40. 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. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:51-65 [Conf]
  41. Bud Mishra
    Algebraic Systems Biology: Theses and Hypotheses. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:1-14 [Conf]
  42. Venkatesh Mysore, Bud Mishra
    Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:170-184 [Conf]

  43. Decidable Compositions of O-Minimal Automata. [Citation Graph (, )][DBLP]

  44. The Temporal Logic of Token Causes. [Citation Graph (, )][DBLP]

  45. Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes. [Citation Graph (, )][DBLP]

  46. Modeling and simulation of e-mail social networks: A new stochastic agent-based approach. [Citation Graph (, )][DBLP]

  47. Psst: a web-based system for tracking political statements. [Citation Graph (, )][DBLP]

  48. Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic Profiles. [Citation Graph (, )][DBLP]

  49. Integrative Protein Function Transfer Using Factor Graphs and Heterogeneous Data Sources. [Citation Graph (, )][DBLP]

  50. Predicting malaria interactome classifications from time-course transcriptomic data along the intraerythrocytic developmental cycle. [Citation Graph (, )][DBLP]

  51. Technical perspective - Where biology meets computing. [Citation Graph (, )][DBLP]

Search in 0.013secs, Finished in 0.018secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002