Concepedia

Author

Wim Simoens

Also Known As

W. Simoens, Wim Simoens

2

Publications

67

Citations

1

H-Index

10

Concepts

All Affiliations

WS

About

Wim Simoens is an author at Universidad Politécnica de Madrid specializing in logic programming, verification, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

67

2

Computer Science

1

1

67

3

Software Analysis

1

1

67

4

Answer Set Programming

1

1

67

5

Automated Reasoning

1

1

67

Wim Simoens

×

1

Publications

67

Citations

1

H-Index

YearCitations

Page 1