Christoffer Moesgaard

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Automated Verification

Hierarchical Model

Top Venues

Publications

Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. FORMATS (2014)
Søren Kejser Jensen, Christoffer Moesgaard, Christoffer Samuel Nielsen, Sine Lyhne Viesmose
A Hierarchical Model for Continuous Gesture Recognition Using Kinect. SCAI (2013)