Bud Mishra

Bhubaneswar Mishra

	2009
71		Bud Mishra: Technical perspective - Where biology meets computing. Commun. ACM 52(3): 96 (2009)
70		Satish Tadepalli, Naren Ramakrishnan, Layne T. Watson, Bud Mishra, Richard F. Helm: Simultaneously Segmenting Multiple Gene Expression Time Courses by Analyzing Cluster Dynamics. J. Bioinformatics and Computational Biology 7(2): 339-356 (2009)
	2008
69		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 2008
68		Magnus Egerstedt, Bud Mishra: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings Springer 2008
67		Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra: Decidable Compositions of O-Minimal Automata. ATVA 2008: 274-288
66		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
65		Antonina Mitrofanova, Vladimir Pavlovic, Bud Mishra: Integrative Protein Function Transfer Using Factor Graphs and Heterogeneous Data Sources. BIBM 2008: 314-318
64		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
63		Samantha Kleinberg, Bud Mishra: Psst: a web-based system for tracking political statements. WWW 2008: 1143-1144
62		Fabian Menges, Bud Mishra, Giuseppe Narzisi: Modeling and simulation of e-mail social networks: A new stochastic agent-based approach. Winter Simulation Conference 2008: 2792-2800
61		Srinivas Akella, Nancy M. Amato, Wesley H. Huang, Bud Mishra: Special Issue on the Seventh International Workshop on Algorithmic Foundations of Robotics. I. J. Robotic Res. 27(11-12): 1173-1174 (2008)
60		Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra: Inclusion dynamics hybrid automata. Inf. Comput. 206(12): 1394-1424 (2008)
	2007
59		Bud Mishra: Algebraic Systems Biology: Theses and Hypotheses. AB 2007: 1-14
58		Venkatesh Mysore, Bud Mishra: Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. AB 2007: 170-184
57		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
56		Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra: Composing Semi-algebraic O-Minimal Automata. HSCC 2007: 668-671
55		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
54		Italo Zoppis, Daniele Merico, Marco Antoniotti, Bud Mishra, Giancarlo Mauri: Discovering Relations Among GO-Annotated Clusters by Graph Kernel Methods. ISBRA 2007: 158-169
53		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. Bioinformatics 23(3): 314-320 (2007)
	2006
52		Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson: Transactions on Computational Systems Biology VII Springer 2006
51		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
50		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
49		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
48		Venkatesh Mysore, Bud Mishra: Algorithmic Algebraic Model Checking III: Approximate Methods. Electr. Notes Theor. Comput. Sci. 149(1): 61-77 (2006)
47		Joseph West, John Healy, Michael Wigler, William Casey, Bud Mishra: Validation of S. Pombe Sequence Assembly by Microarray Hybridization. Journal of Computational Biology 13(1): 1-20 (2006)
	2005
46		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
45		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
44		Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra: Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. Pacific Symposium on Biocomputing 2005
	2004
43		Naren Ramakrishnan, Deept Kumar, Bud Mishra, Malcolm Potts, Richard F. Helm: Turning CARTwheels: an alternating algorithm for mining redescriptions. KDD 2004: 266-275
42		Jiawu Feng, Paolo Emilio Barbano, Bud Mishra: Time-frequency feature detection for time-course microarray data. SAC 2004: 128-132
41		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)
	2003
40		Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni: Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB 2003: 57-74
39		Bud Mishra: Life's Duplicities: Sex, Death, and Valis. HiPC 2003: 1
38		Will Casey, Bud Mishra: A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing. HiPC 2003: 204-215
37		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
36		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
35		Bhubaneswar Mishra: A Symbolic Approachto Modeling Cellular Behavior. HiPC 2002: 725-732
34		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)
	2001
33		Thomas S. Anantharaman, Bud Mishra: False Positives in Genomic Map Assembly and Sequence Validation. WABI 2001: 27-40
32		Will Casey, Bud Mishra, Michael Wigler: Placing Probes along the Genome Using Pairwise Distance Data. WABI 2001: 52-68
	2000
31		Marek Teichmann, Bud Mishra: Probabilistic Algorithms for Efficient Grasping and Fixturing. Algorithmica 26(3-4): 345-363 (2000)
30		Laxmi Parida, Bud Mishra: Partitioning single-molecule maps into multiple populations: algorithms and probabilistic analysis. Discrete Applied Mathematics 104(1-3): 203-227 (2000)
29		Marek Teichmann, Bud Mishra: Reactive Robotics I: Reactive Grasping with a Modified Gripper and Multifingered Hands. I. J. Robotic Res. 19(7): 697-708 (2000)
28		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)
	1999
27		Thomas S. Anantharaman, Bud Mishra, David C. Schwartz: Genomics via Optical Mapping III: Contiging Genomic DNA. ISMB 1999: 18-27
	1998
26		Laxmi Parida, Bud Mishra: Partitioning K clones: hardness results and practical algorithms for the K-populations problem. RECOMB 1998: 192-201
25		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
24		Thomas S. Anantharaman, Bud Mishra: Statistical Algorithms and Software for Genomics. COMPSAC 1997: 434-437
23		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)
	1996
22		Bhubaneswar Mishra: Bidirectional Edges Problem: Part I-A Simple Algorithm. Algorithmica 15(3): 256-286 (1996)
	1995
21		Marco Antoniotti, Bud Mishra: Descrete Events Models + Temporal Logic = Supervisory Controller: Automatic Synthesis of Locomotion Controllers. ICRA 1995: 1441-1446
	1994
20		Marek Teichmann, Bud Mishra: Reactive Algorithms for Grasping Using a Modified Parallel Jaw Gripper. ICRA 1994: 1931-1936
19		Giovanni Gallo, Bhubaneswar Mishra: The Complexity of Resolvent Resolved. SODA 1994: 280-289
18		Giovanni Gallo, Bhubaneswar Mishra: A Solution to kronecker's Problem. Appl. Algebra Eng. Commun. Comput. 5: 343-370 (1994)
	1992
17		Bhubaneswar Mishra, Robert Endre Tarjan: A Linear-Time Algorithm for Finding an Ambitus. Algorithmica 7(5&6): 521-554 (1992)
16		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)
15		David G. Kirkpatrick, Bhubaneswar Mishra, Chee-Keng Yap: Quantitative Steinitz's Theorems Applications to Multifingered Grasping. Discrete & Computational Geometry 7: 295-318 (1992)
14		Sanjoy K. Baruah, Gilad Koren, D. Mao, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis Shasha, Fuxing Wang: On the Competitiveness of On-Line Real-Time Task Scheduling. Real-Time Systems 4(2): 125-144 (1992)
	1991
13		Giovanni Gallo, Bhubaneswar Mishra, François Ollivier: Some Constructions in Rings of Differential Polynomials. AAECC 1991: 171-182
12		Sanjoy K. Baruah, Gilad Koren, Bhubaneswar Mishra, Arvind Raghunathan, Louis E. Rosier, Dennis Shasha: On-line Scheduling in the Presence of Overload FOCS 1991: 100-110
11		Jianer Chen, Jim Cox, Bud Mishra: An NL Hierarchy. Inf. Process. Lett. 39(1): 21-26 (1991)
	1990
10		Bhubaneswar Mishra, Paul Pedersen: Arithmetic with Real Algebraic Numbers is in NC. ISSAC 1990: 120-126
9		David G. Kirkpatrick, Bhubaneswar Mishra, Chee-Keng Yap: Quantitative Steinitz's Theorems with Applications to Multifingered Grasping STOC 1990: 341-351
8		Anne Dinning, Bhubaneswar Mishra: A Fully Parallel Algorithm for Implementing Path Expressions. J. Parallel Distrib. Comput. 10(3): 205-221 (1990)
	1989
7		Bud Mishra, Chee-Keng Yap: Notes on Gröbner bases. Inf. Sci. 48(3): 219-252 (1989)
	1987
6		Bhubaneswar Mishra, Jacob T. Schwartz, Micha Sharir: On the Existence and Synthesis of Multifinger Positive Grips. Algorithmica 2: 541-558 (1987)
	1986
5		Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra: Compiling Path Expressions Into VLSI Circuits. Distributed Computing 1(3): 150-166 (1986)
4		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
3		Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra: Compiling Path Expressions into VLSI Circuits. POPL 1985: 191-204
	1984
2		Bhubaneswar Mishra: An Efficient Algorithm to Find all `Bidirectional' Edges of an Undirected Graph FOCS 1984: 207-216
	1983
1		Edmund M. Clarke, Bud Mishra: Automatic Verification of Asynchronous Circuits. Logic of Programs 1983: 101-115

Coauthor Index

1	Srinivas Akella	[61] [69]
2	Nancy M. Amato	[61] [69]
3	Thomas S. Anantharaman	[3] [5] [23] [24] [25] [27] [33] [44]
4	Marco Antoniotti	[21] [36] [37] [40] [41] [45] [54]
5	C. Aston	[25]
6	Paolo Emilio Barbano	[42]
7	Sanjoy K. Baruah	[12] [14]
8	Alexandre Blais	[53]
9	Michael C. Browne	[4]
10	Jane Carlton	[66]
11	Alberto Casagrande	[56] [57] [60] [67]
12	Kevin Casey	[57]
13	Will Casey	[32] [38]
14	William Casey	[47]
15	Guangliang Chen	[53]
16	Jianer Chen	[11]
17	Edmund M. Clarke	[1] [3] [4] [5]
18	V. Clarke	[25]
19	Richard Cole	[28]
20	Pietro Corvaja	[56] [67]
21	Jim Cox	[11]
22	Felipe Cucker	[16]
23	S. Delobette	[25]
24	David L. Dill	[4]
25	E. Dimalanta	[25]
26	Anne Dinning	[8]
27	Brian D. Dynlacht	[53]
28	J. Edington	[25]
29	Magnus Egerstedt	[68]
30	J. Evenzehav	[25]
31	Rachele Falchi	[57]
32	Jiawu Feng	[42]
33	Michael J. Foster	[3] [5]
34	Giovanni Gallo	[13] [18] [19]
35	D. Gebauer	[25]
36	J. Giacalone	[25]
37	Ofer H. Gill	[49] [50]
38	John Healy	[47]
39	Richard F. Helm	[43] [70]
40	C. Hiort	[25]
41	Wesley H. Huang	[61] [69]
42	E. Huff	[25]
43	Anna Ingólfsdóttir	[52]
44	J. Jing	[25]
45	Simon Kasif	[66]
46	David G. Kirkpatrick	[9] [15]
47	Samantha Kleinberg	[63] [66]
48	Gilad Koren	[12] [14]
49	Deept Kumar	[43]
50	Z. Lai	[25]
51	Hervé Lanneau	[16]
52	E. Lee	[25]
53	Gilad Lerman	[53]
54	J. Lin	[25]
55	D. Mao	[14]
56	Giancarlo Mauri	[54]
57	Joseph McQuown	[53]
58	Fabian Menges	[62]
59	Daniele Merico	[54]
60	Joshua S. Mincer	[55]
61	Antonina Mitrofanova	[64] [65] [66]
62	Venkatesh Mysore	[44] [45] [46] [48] [51] [58]
63	Giuseppe Narzisi	[51] [55] [62]
64	Hanne Riis Nielson	[52]
65	François Ollivier	[13]
66	Laxmi Parida	[26] [30]
67	F. Park	[37]
68	Vladimir Pavlovic	[65]
69	Salvatore Paxia	[34]
70	Paul Pedersen	[10] [16]
71	Carla Piazza	[40] [41] [45] [46] [56] [57] [60] [67]
72	Alberto Policriti	[36] [37] [40] [41] [45] [60]
73	B. Porter	[25]
74	Malcolm Potts	[43]
75	Corrado Priami	[52]
76	R. Qi	[25]
77	Arvind Raghunathan	[12] [14]
78	Naren Ramakrishnan	[43] [70]
79	Louis E. Rosier	[12] [14]
80	Marie-Françoise Roy	[16]
81	Archisman Rudra	[34]
82	Benedetto Ruperti	[57]
83	Jeanette P. Schmidt	[28]
84	David C. Schwartz	[23] [25] [27]
85	Jacob T. Schwartz	[6] [49]
86	Micha Sharir	[6]
87	Dennis Shasha	[12] [14]
88	Alan Siegel	[28]
89	Marta Simeoni	[40] [41]
90	Y. Skiadis	[25]
91	Silas Smith	[55]
92	Bing Sun	[49]
93	Satish Tadepalli	[70]
94	Robert Endre Tarjan	[17]
95	Marek Teichmann	[20] [29] [31]
96	Nadia Ugel	[36] [37]
97	Giannina Vizzotto	[57]
98	Fuxing Wang	[14]
99	Layne T. Watson	[70]
100	Joseph West	[47]
101	Michael Wigler	[32] [47]
102	Franz Winkler	[45]
103	Chee-Keng Yap (Chee Yap)	[7] [9] [15]
104	Yi Zhou	[34]
105	Italo Zoppis	[54]

Colors in the list of coauthors