# Mikael H. Møller

According to our database

Collaborative distances:

^{1}, Mikael H. Møller authored at least 11 papers between 2009 and 2015.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2015

Acta Informatica, 2015

2014

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata.

Theor. Comput. Sci., 2014

2013

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012

Int. J. Softw. Tools Technol. Transf., 2012

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

Proceedings of the Automated Technology for Verification and Analysis, 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