Concepedia

Author

Jakob L. Jensen

Also Known As

Jakob L. Jensen, Jakob Langdal Jensen, Jensen, Jakob Langdal

6

Publications

126

Citations

5

H-Index

8

Concepts

All Affiliations

JL

About

Jakob L. Jensen is an author at AT&T (United States) specializing in formal verification, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

112

2

Computer Science

3

3

112

3

Automated Reasoning

3

3

112

4

Formal Methods

3

3

112

5

Software Analysis

2

2

97

Jakob L. Jensen

×

3

Publications

112

Citations

3

H-Index

YearCitations

Page 1