Thomas Nielsen

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 2

Top Topics

Markov Decision Processes

Reachability Analysis

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Benjamin Metcalfe, Thomas Nielsen, John Taylor
Velocity Selective Recording: A Demonstration of Effectiveness on the Vagus Nerve in Pig. EMBC (2018)
Jonas Finnemann Jensen, Thomas Nielsen, Lars Kaerlund Oestergaard, Jirí Srba
TAPAAL and Reachability Analysis of P/T Nets. Trans. Petri Nets Other Model. Concurr. 11 (2016)
John Taylor, Benjamin Metcalfe, Chris Clarke, Daniel Chew, Thomas Nielsen, Nick Donaldson
A Summary of Current and New Methods in Velocity Selective Recording (VSR) of Electroneurogram (ENG). ISVLSI (2015)