Concepedia

Author

Prateesh Goyal

Institute of Science and Technology Austria

Also Known As

Goyal, Prateesh, Prateesh Goyal

4

Publications

45

Citations

2

H-Index

16

Concepts

All Affiliations

Institute of Science and Technology Austria
PG

About

Prateesh Goyal is an author at Institute of Science and Technology Austria specializing in formal verification, parallel computing, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

18

2

Computer Science

1

1

18

3

Combinatorial Optimization

1

1

18

4

Programming Languages

1

1

18

5

Software Analysis

1

1

18

Prateesh Goyal

×

2

Publications

44

Citations

2

H-Index

YearCitations

Page 1