Concepedia

Author

G. Ascheid

RWTH Aachen University

Also Known As

G. Ascheid

1

Publications

30

Citations

1

H-Index

13

Concepts

All Affiliations

RWTH Aachen University
GA

About

G. Ascheid is an author at RWTH Aachen University specializing in formal verification, software engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

30

2

Computer Engineering

1

1

30

3

Computer Science

1

1

30

4

Compilers

1

1

30

5

Computer Architecture

1

1

30

G. Ascheid

×

1

Publications

30

Citations

1

H-Index

YearCitations

Page 1