Bud Mishra

Bhubaneswar Mishra

2009
67	EE	Bud Mishra: Technical perspective - Where biology meets computing. Commun. ACM 52(3): 96 (2009)
2008
66		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
65		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
64	EE	Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra: Decidable Compositions of O-Minimal Automata. ATVA 2008: 274-288
63	EE	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
62	EE	Samantha Kleinberg, Bud Mishra: Psst: a web-based system for tracking political statements. WWW 2008: 1143-1144
61	EE	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
60	EE	Alberto Casagrande, Carla Piazza, Alberto Policriti, Bud Mishra: Inclusion dynamics hybrid automata. Inf. Comput. 206(12): 1394-1424 (2008)
2007
59	EE	Bud Mishra: Algebraic Systems Biology: Theses and Hypotheses. AB 2007: 1-14
58	EE	Venkatesh Mysore, Bud Mishra: Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. AB 2007: 170-184
57	EE	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	EE	Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra: Composing Semi-algebraic O-Minimal Automata. HSCC 2007: 668-671
55	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Venkatesh Mysore, Bud Mishra: Algorithmic Algebraic Model Checking III: Approximate Methods. Electr. Notes Theor. Comput. Sci. 149(1): 61-77 (2006)
47	EE	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	EE	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	EE	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	EE	Thomas S. Anantharaman, Venkatesh Mysore, Bud Mishra: Fast and Cheap Genome Wide Haplotype Construction via Optical Mapping. Pacific Symposium on Biocomputing 2005
2004
43	EE	Naren Ramakrishnan, Deept Kumar, Bud Mishra, Malcolm Potts, Richard F. Helm: Turning CARTwheels: an alternating algorithm for mining redescriptions. KDD 2004: 266-275
42	EE	Jiawu Feng, Paolo Emilio Barbano, Bud Mishra: Time-frequency feature detection for time-course microarray data. SAC 2004: 128-132
41	EE	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	EE	Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni: Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB 2003: 57-74
39	EE	Bud Mishra: Life's Duplicities: Sex, Death, and Valis. HiPC 2003: 1
38	EE	Will Casey, Bud Mishra: A Nearly Linear-Time General Algorithm for Genome-Wide Bi-allele Haplotype Phasing. HiPC 2003: 204-215
37	EE	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	EE	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	EE	Bhubaneswar Mishra: A Symbolic Approachto Modeling Cellular Behavior. HiPC 2002: 725-732
34	EE	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	EE	Thomas S. Anantharaman, Bud Mishra: False Positives in Genomic Map Assembly and Sequence Validation. WABI 2001: 27-40
32	EE	Will Casey, Bud Mishra, Michael Wigler: Placing Probes along the Genome Using Pairwise Distance Data. WABI 2001: 52-68
2000
31	EE	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	EE	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	EE	Laxmi Parida, Bud Mishra: Partitioning K clones: hardness results and practical algorithms for the K-populations problem. RECOMB 1998: 192-201
25	EE	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	EE	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	EE	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	EE	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	[66]
2	Nancy M. Amato	[66]
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	Alberto Casagrande	[56] [57] [60] [64]
11	Kevin Casey	[57]
12	Will Casey	[32] [38]
13	William Casey	[47]
14	Guangliang Chen	[53]
15	Jianer Chen	[11]
16	Edmund M. Clarke	[1] [3] [4] [5]
17	V. Clarke	[25]
18	Richard Cole	[28]
19	Pietro Corvaja	[56] [64]
20	Jim Cox	[11]
21	Felipe Cucker	[16]
22	S. Delobette	[25]
23	David L. Dill	[4]
24	E. Dimalanta	[25]
25	Anne Dinning	[8]
26	Brian D. Dynlacht	[53]
27	J. Edington	[25]
28	Magnus Egerstedt	[65]
29	J. Evenzehav	[25]
30	Rachele Falchi	[57]
31	Jiawu Feng	[42]
32	Michael J. Foster	[3] [5]
33	Giovanni Gallo	[13] [18] [19]
34	D. Gebauer	[25]
35	J. Giacalone	[25]
36	Ofer H. Gill	[49] [50]
37	John Healy	[47]
38	Richard F. Helm	[43]
39	C. Hiort	[25]
40	Wesley H. Huang	[66]
41	E. Huff	[25]
42	Anna Ingólfsdóttir	[52]
43	J. Jing	[25]
44	David G. Kirkpatrick	[9] [15]
45	Samantha Kleinberg	[62]
46	Gilad Koren	[12] [14]
47	Deept Kumar	[43]
48	Z. Lai	[25]
49	Hervé Lanneau	[16]
50	E. Lee	[25]
51	Gilad Lerman	[53]
52	J. Lin	[25]
53	D. Mao	[14]
54	Giancarlo Mauri	[54]
55	Joseph McQuown	[53]
56	Fabian Menges	[61]
57	Daniele Merico	[54]
58	Joshua S. Mincer	[55]
59	Antonina Mitrofanova	[63]
60	Venkatesh Mysore	[44] [45] [46] [48] [51] [58]
61	Giuseppe Narzisi	[51] [55] [61]
62	Hanne Riis Nielson	[52]
63	François Ollivier	[13]
64	Laxmi Parida	[26] [30]
65	F. Park	[37]
66	Salvatore Paxia	[34]
67	Paul Pedersen	[10] [16]
68	Carla Piazza	[40] [41] [45] [46] [56] [57] [60] [64]
69	Alberto Policriti	[36] [37] [40] [41] [45] [60]
70	B. Porter	[25]
71	Malcolm Potts	[43]
72	Corrado Priami	[52]
73	R. Qi	[25]
74	Arvind Raghunathan	[12] [14]
75	Naren Ramakrishnan	[43]
76	Louis E. Rosier	[12] [14]
77	Marie-Françoise Roy	[16]
78	Archisman Rudra	[34]
79	Benedetto Ruperti	[57]
80	Jeanette P. Schmidt	[28]
81	David C. Schwartz	[23] [25] [27]
82	Jacob T. Schwartz	[6] [49]
83	Micha Sharir	[6]
84	Dennis Shasha	[12] [14]
85	Alan Siegel	[28]
86	Marta Simeoni	[40] [41]
87	Y. Skiadis	[25]
88	Silas Smith	[55]
89	Bing Sun	[49]
90	Robert Endre Tarjan	[17]
91	Marek Teichmann	[20] [29] [31]
92	Nadia Ugel	[36] [37]
93	Giannina Vizzotto	[57]
94	Fuxing Wang	[14]
95	Joseph West	[47]
96	Michael Wigler	[32] [47]
97	Franz Winkler	[45]
98	Chee-Keng Yap (Chee Yap)	[7] [9] [15]
99	Yi Zhou	[34]
100	Italo Zoppis	[54]

Colors in the list of coauthors