Concepedia

Jakob L. Jensen

JL

Statistics

Publications

3

Citations

113

H-Index

3

Active since

1994

Affiliations

AT&T (United States)(Current)

Jakob L. Jensen is an author at AT&T (United States) specializing in theory of computation, computing, and computer science.

Publications per year

1994–1997

3

Publications

3

Automatic verification of pointer programs using monadic second-order logic

Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach et al. · 1997 · 88 citations

, , +16

Monadic Second-order Logic for Parameterized Verification

Jakob L. Jensen, Michael E. Jørgensen, Nils Klarlund · BRICS Report Series · 1994 · 15 citations · Full text

, , +17

Automatic verification of pointer programs using monadic second-order logic

Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach et al. · ACM SIGPLAN Notices · 1997 · 10 citations · Full text

, , +16

1–3 of 3