Concepedia

Author

Constantinos Sourelis

University of Waterloo

Also Known As

Constantinos Sourelis

2

Publications

95

Citations

2

H-Index

8

Concepts

All Affiliations

University of Waterloo
CS

About

Constantinos Sourelis is an author at University of Waterloo specializing in engineering, computer engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

89

2

Computer Engineering

1

1

89

3

Computer Science

1

1

89

4

Software Analysis

1

1

89

5

Automated Reasoning

1

1

89

Constantinos Sourelis

×

1

Publications

89

Citations

1

H-Index

YearCitations

Page 1