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

Status

Export 16 results:
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

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

PhD theses

1996

Book chapters

In Waves and Nonlinear Processesin Hydrodynamics, 37-50,. Kluwer Academic Publishers, 1996.
Status: Published
In Neural Adaptive Control Theory. World Scientific, 1996.
Status: Published