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
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
Patent
1999
Book chapters
In Advances in Software Tools for Scientific Computing, 339-356. Springer, 1999.
Status: Published
In SCI - Scalable Coherent Interface: Architecture and Software for High-Performance Compute Clusters, 151-166. Lecture Notes in Computer Science. Springer, 1999.
Status: Published
In Program Analysis, 15. Dagstuhl Seminar Report 236. Dagstuhl, 1999.
Status: Published
1991
Book chapters
In Geometric Modelling: Methods and Applications, 35-94,. Springer, 1991.
Status: Published