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
Status
Owner
Research area
Publication type
Year published
2017
Book chapters
In Model Reduction of Parametrized Systems, 17-35. Vol. 17. Springer International Publishing, 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