Concepedia

Author

Jan-David Quesel

Also Known As

Jan-David Quesel

14

Publications

912

Citations

9

H-Index

22

Concepts

All Affiliations

JQ

About

Jan-David Quesel is an author at Carnegie Mellon University specializing in formal methods, program analysis, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

189

2

Computer Science

2

2

189

3

Systems Engineering

2

2

189

4

Computer Engineering

1

1

120

5

Autonomous Systems

1

1

69

Jan-David Quesel

×

2

Publications

189

Citations

2

H-Index

YearCitations

Page 1