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 28 results:
2019

Talks, invited

In Artificial Intelligence Lab, Oslo Metropolitan University, 2019.
Status: Published
In Nanjing University of Aeronautics and Astronautics, 2019.
Status: Published
In 31st IFIP WG6.1 International Conference, ICTSS 2019, Paris, France. Springer LNCS 11812, 2019.
Status: Published
In RoboSoft: Software Engineering for Robotics - Royal Academy of Engineering, London, UK, 13-14 November, 2019, 2019.
Status: Published
In HiQ, Stockholm, Sweden, 2019.
Status: Published
In The 14th Certus User Partner Workshop, Larvik, 2019.
Status: Published
In KTH Royal Institute of Technology, Stockholm, Sweden. , 2019.
Status: Published
In Klosser Innovation, Hamar, 2019.
Status: Published
In Palais de Tokyo, Paris, France, 2019.
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