Concepedia

Author

John Maraist

Karlsruhe Institute of Technology

Also Known As

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

17

Publications

567

Citations

6

H-Index

12

Concepts

All Affiliations

Karlsruhe Institute of TechnologyUniversity of South AustraliaUniversity of Glasgow
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