Concepedia

Karin M. Jacobsen

KM

3

Publications

47

Citations

3

H-Index

1991

Active since

Affiliations

Norwegian University of Science and Technology(Current)

Newcastle University

Karin M. Jacobsen is an author at Norwegian University of Science and Technology specializing in verification, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

1991–2019

3

Publications

3

d-abelian quotients of (d + 2)-angulated categories

Karin M. Jacobsen, Peter Jørgensen · Journal of Algebra · 2018 · 22 citations · Full text

,

Formalized specification of functional requirements

Karin M. Jacobsen, Jóhannes B. Sigurjónsson, Øyvind Jakobsen · Design Studies · 1991 · 14 citations

, , +11

Maximal τ-rigid pairs

Karin M. Jacobsen, Peter Jørgensen · Journal of Algebra · 2019 · 11 citations · Full text

Rows per page

1–3 of 3