Concepedia

Jens Ulrik Skakkebæk

JU

Statistics

Publications

2

Citations

40

H-Index

2

Active since

1996

Affiliations

University of Minnesota(Current)

Jens Ulrik Skakkebæk is an author at University of Minnesota specializing in software engineering, computer science, and specification languages.

Publications per year

1996–1998

2

Publications

2

Refining System Requirements to Program Specifications

Ernst-Ruediger Olderog, Anders P. Ravn, Jens Ulrik Skakkebæk · 1996 · 27 citations

, , +14

Checking properties of safety critical specifications using efficient decision procedures

David Y. W. Park, Jens Ulrik Skakkebæk, Mats P. E. Heimdahl et al. · 1998 · 13 citations · Full text

, , +10

1–2 of 2