Reachability analysis for timed automata using max-plus algebra. - Qi Lu; Michael Madsen; Martin Milata; Søren Ravn; Uli Fahrenberg; Kim G. Larsen (J. Log. Algebraic Methods Program., 2012)

MRI compatible optrodes for simultaneous LFP and optogenetic fMRI investigation of seizure-like afterdischarges. - Ben A. Duffy; ManKin Choy; Miguel R. Chuapoco; Michael Madsen; Jin Hyung Lee (NeuroImage, 2015)