Concepedia

Jacob Johannsen

JJ

3

Publications

141

Citations

3

H-Index

2009

Active since

Affiliations

Aarhus University(Current)

University of Kent

Jacob Johannsen is an author at Aarhus University specializing in computer science, software analysis, and software engineering.

Top concepts

Publications per year

2009–2019

3

Publications

3

Safer smart contract programming with Scilla

Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen et al. · Proceedings of the ACM on Programming Languages · 2019 · 99 citations · Full text

, , +22

A walk in the semantic park

Olivier Danvy, Jacob Johannsen, Ian Zerny · 2011 · 24 citations

Inter-deriving semantic artifacts for object-oriented programming

Olivier Danvy, Jacob Johannsen · Journal of Computer and System Sciences · 2009 · 18 citations

, , +9

Rows per page

1–3 of 3