Michael Madsen

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Reachability Analysis

Algebraic Structure

Top Venues

J. Log. Algebraic Methods Program.

Publications

Ben A. Duffy, ManKin Choy, Miguel R. Chuapoco, Michael Madsen, Jin Hyung Lee
MRI compatible optrodes for simultaneous LFP and optogenetic fMRI investigation of seizure-like afterdischarges. NeuroImage 123 (2015)
Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim G. Larsen
Reachability analysis for timed automata using max-plus algebra. J. Log. Algebraic Methods Program. 81 (3) (2012)