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

Owner

Export 30 results:
2014

Talks, contributed

In ACM Genetic and Evolutionary Computation Conference (GECCO). Vancouver, Canada: ACM, 2014.
Status: Published
In 26th IFIP International Conference on Testing Software and Systems, ICTSS. Madrid, Spain: IFIP, 2014.
Status: Published
In 26th IFIP International Conference on Testing Software and Systems, ICTSS. Madrid, Spain: IFIP, 2014.
Status: Published
In 8th System Analysis and Modelling Conference (SAM). Valencia, Spain: ACM/IEEE, 2014.
Status: Published
In Seminar at Beihang University. Beijing, China, 2014.
Status: Published
In Lyon, France. Lyon, France: CP meets Verification, 2014.
Status: Published
In Principles and Practice of Constraint Programming (CP 2014), 2014.
Status: Published
In Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France. .: , 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