Travelled to:1 × Brazil
1 × Canada
1 × Cyprus
1 × United Kingdom
2 × USA
Collaborated with:S.Kleinberg A.Mitrofanova J.Feng P.E.Barbano T.S.Anantharaman E.M.Clarke M.J.Foster N.Ramakrishnan D.Kumar M.Potts R.F.Helm C.Piazza M.Antoniotti V.Mysore A.Policriti F.Winkler
Talks about:algorithm (2) model (2) time (2) redescript (1) microarray (1) frequenc (1) challeng (1) express (1) circuit (1) algebra (1)
Person: Bud Mishra
DBLP: Mishra:Bud
Contributed to:
2010
2008
2005
20042004
1985Wrote 6 papers:
- KR-2010-KleinbergM #logic
- The Temporal Logic of Token Causes (SK, BM).
- SAC-2008-MitrofanovaM #evolution #modelling #simulation
- Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes (AM, BM), pp. 1309–1310.
- CAV-2005-PiazzaAMPWM #algebra #algorithm #biology #challenge #model checking
- Algorithmic Algebraic Model Checking I: Challenges from Systems Biology (CP, MA, VM, AP, FW, BM), pp. 5–19.
- KDD-2004-RamakrishnanKMPH #algorithm #mining
- Turning CARTwheels: an alternating algorithm for mining redescriptions (NR, DK, BM, MP, RFH), pp. 266–275.
- SAC-2004-FengBM #array #detection
- Time-frequency feature detection for time-course microarray data (JF, PEB, BM), pp. 128–132.
- POPL-1985-AnantharamanCFM #compilation
- Compiling Path Expressions into VLSI Circuits (TSA, EMC, MJF, BM), pp. 191–204.