Facts and figures

These figures represent the summarized historical developments of Simula owned published entries in the following publication categories: journal articles, books, edited books, refereed proceedings, and book chapters.

Publications the last 10 years

Book production

Publications by research area

Journal Articles and Referred Proceedings

Find publication

Export 5 results:
2017

Book chapters

In Model Reduction of Parametrized Systems, 17-35. Vol. 17. Springer International Publishing, 2017.
Status: Published

PhD theses

In University of Oslo. Vol. PhD. University of Oslo: University of Oslo, 2017.
Status: Published
2016

Book chapters

In Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings, 318-332. Cham: Springer International Publishing, 2016.
Status: Published

PhD theses

2013

PhD theses

In University of Rennes 1, France. University of Rennes 1, France, 2013.
Status: Published