`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:

### Wrote 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.