Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings

por Johnsen, Einar Broch, Schaefer, Ina
Publicado 2018

Tests and proofs: 11th international conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017, proceedings

por Gabmeyer, Sebastian, Johnsen, Einar Broch
Publicado 2017

Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday

por Ábrahám, Erika, Bonsangue, Marcello, Johnsen, Einar Broch
Publicado 2016

Global Reproducibility Through Local Control for Distributed Active Objects

por Tveito, Lars, Johnsen, Einar Broch, Schlatte, Rudolf
Publicado 2020

Service-oriented and cloud computing: 5th IFIP WG 2. 14 European conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, proceedings

por Aiello, Marco, Johnsen, Einar Broch, Dustdar, Schahram, Georgievski, Ilche
Publicado 2016

Reply to Ekström and Ottersen: Real-time access to data during outbreaks is a key to avoid a local epidemic becoming a global pandemic

por Stenseth, Nils Chr., Schlatte, Rudolf, Liu, Xiaoli, Pielke, Roger, Chen, Bin, Bjørnstad, Ottar N., Kusnezov, Dimitri, Gao, George F., Fraser, Christophe, Whittington, Jason D., Gong, Peng, Guan, Dabo, Johnsen, Einar Broch
Publicado 2023

How to avoid a local epidemic becoming a global pandemic

por Stenseth, Nils Chr., Schlatte, Rudolf, Liu, Xiaoli, Pielke, Roger, Li, Ruiyun, Chen, Bin, Bjørnstad, Ottar N., Kusnezov, Dimitri, Gao, George F., Fraser, Christophe, Whittington, Jason D., Bai, Yuqi, Deng, Ke, Gong, Peng, Guan, Dabo, Xiao, Yixiong, Xu, Bing, Johnsen, Einar Broch
Publicado 2023