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 5397 results:

Proceedings, refereed

In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Status: Accepted

Book chapters

Talks, contributed

In Gesellschaft für Informatik Software Engineering Conference 2021 (SE21), Germany, 2021.
Status: Accepted