Concepedia

Author

Ole J.L. Jensen

New York University

Also Known As

Ole J.L. Jensen

1

Publications

46

Citations

1

H-Index

8

Concepts

All Affiliations

New York University
OJ

About

Ole J.L. Jensen is an author at New York University specializing in formal methods, computational complexity, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

46

2

Computer Science

1

1

46

3

Automated Reasoning

1

1

46

4

Computational Complexity

1

1

46

5

Formal Methods

1

1

46

Ole J.L. Jensen

×

1

Publications

46

Citations

1

H-Index

YearCitations

Page 1