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
Publications by research area
Journal Articles and Referred Proceedings
In Model Reduction of Parametrized Systems, 17-35. Vol. 17. Springer International Publishing, 2017.
In Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings, 318-332. Cham: Springer International Publishing, 2016.