Concepedia

Author

Peter W. Hoogers

Also Known As

P. W. Hoogers, P.W. Hoogers, Peter Hoogers, Peter W. Hoogers

7

Publications

169

Citations

5

H-Index

11

Concepts

All Affiliations

PW

About

Peter W. Hoogers is an author at Leiden University specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

134

2

Computer Science

2

2

134

3

Automated Reasoning

2

2

134

4

Semantics

1

1

62

5

Software Analysis

1

1

72

Peter W. Hoogers

×

2

Publications

134

Citations

2

H-Index

YearCitations

Page 1