Jacob Jon Jensen

According to our database, Jacob Jon Jensen authored at least 2 papers between 2013 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets.

Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013

Combining Constraint Types From Public Data in Aerial Image Segmentation.

Thomas Stig Jacobsen, Jacob Jon Jensen, Daniel Rune Jensen, Niels Nørgaard Samuelsen

Proceedings of the Twelfth Scandinavian Conference on Artificial Intelligence, 2013