Morten Jacobsen
According to our database1,
Morten Jacobsen
authored at least 6 papers
between 2009 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
0
1
2
3
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata.
Theor. Comput. Sci., 2014
2012
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
2011
Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011
2010
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking.
Proceedings of the Computer Performance Engineering, 2010
2009
Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants.
Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009