Concepedia

Author

John Maraist

Also Known As

J. Gohde, J. Maraist, JOHN MARAIST, John Maraist, Maraist, John

17

Publications

567

Citations

6

H-Index

12

Concepts

All Affiliations

JM

About

John Maraist is an author at Karlsruhe Institute of Technology specializing in formal methods, mathematical programming, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

467

2

Computer Science

2

2

367

3

Compilers

1

1

247

4

Semantics

1

1

120

5

Software Analysis

1

1

247

John Maraist

×

5

Publications

539

Citations

5

H-Index

YearCitations

Page 1