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
Year published
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