https://conf.researchr.org/profile/ecoop-issta-2018/einarbrochjohnsen
Einar Broch Johnsen - ECOOP and ISSTA 2018
Co-Located Events ECOOP 2018 is the 32nd European Conference on Object-Oriented Programming. ECOOP is a programming languages conference. Its primary focus has...
einar broch johnsenecoopissta
https://ebjohnsen.org/authors/gianluca-turin/
Gianluca Turin | Einar Broch Johnsen
A highly-customizable Hugo academic resume theme powered by Hugo Blox Builder.
gianlucaturineinar
https://ebjohnsen.org/authors/elvira/
Elvira Albert | Einar Broch Johnsen
A highly-customizable Hugo academic resume theme powered by Hugo Blox Builder.
elviraalberteinar
https://ebjohnsen.org/tag/multicore/
Multicore | Einar Broch Johnsen
A highly-customizable Hugo academic resume theme powered by Hugo Blox Builder.
multicoreeinar
https://ebjohnsen.org/publication/04-tphols/
Theorem Reuse by Proof Term Transformation" | Einar Broch Johnsen
theoremreuseprooftermtransformation
https://ebjohnsen.org/publication/14-isola2/
Fault Model Design Space for Cooperative Concurrency | Einar Broch Johnsen
model designfaultspacecooperativeconcurrency