Concepedia

Michael E. Jørgensen

ME

Statistics

Publications

4

Citations

159

H-Index

4

Active since

1994

Affiliations

Aarhus University(Current)

AT&T (United States)

Michael E. Jørgensen is an author at Aarhus University specializing in computing, computer science, and monadic second-order logic.

Publications per year

1994–1997

4

Publications

4

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

MONA: Monadic Second-Order Logic in Practice

Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen et al. · BRICS Report Series · 1995 · 46 citations · Full text

, , +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–4 of 4