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
Publication type
- Journal articles (162)
- Books (4)
- Edited books (8)
- Proceedings, refereed (214)
- Book chapters (25)
- Talks, keynote (20)
- PhD theses (18)
- Proceedings, non-refereed (7)
- Posters (17)
- Technical reports (36)
- Manuals (3)
- Patent (1)
- Talks, invited (83)
- Talks, contributed
- Public outreach (17)
- Master's theses (6)
- Miscellaneous (3)
Year published
2014
Talks, contributed
In Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France. .: , 2014.
Status: Published
In Simula Research Laboratory, 2014.
Status: Published
In National University of Defense Technology, China. Changsha, China, 2014.
Status: Published
In Workshop on Models for surgical decision support at VPH2014 in Trondheim, 2014.
Status: Published
In Selected talk at 'Verification meets CP' workshop 2014, Lyon, France. .: , 2014.
Status: Published
In Dagsthul Seminar (Symbolic Methods and Constraint Solving) , 2014.
Status: Published
In 27th Nordic Seminar on Computational Mechanics, 2014.
Status: Published
In VPH 2014, Trondheim, Norway, 2014.
Status: Published