Follow
Sine Viesmose Birch
Sine Viesmose Birch
Student of Computer Science, Aalborg University
Verified email at student.aau.dk
Title
Cited by
Cited by
Year
Interval abstraction refinement for model checking of timed-arc Petri nets
S Viesmose Birch, T Stig Jacobsen, J Jon Jensen, C Moesgaard, ...
Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014
62014
A hierarchical model for continuous gesture recognition using Kinect
SL VIESMOSE
Twelfth Scandinavian Conference on Artificial Intelligence: SCAI 2013 257, 145, 2013
22013
Compositional Analysis of Timed-arc Resource Workflows with Communication
SV Birch, C Moesgaard
University of Aalborg, 2015
12015
The system can't perform the operation now. Try again later.
Articles 1–3