Concepedia

Author

Etienne Kneuss

Also Known As

Etienne Kneuss, Kneuss, Etienne

19

Publications

328

Citations

8

H-Index

17

Concepts

All Affiliations

EK

About

Etienne Kneuss is an author at École Polytechnique Fédérale de Lausanne specializing in formal methods, formal verification, and software analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

231

2

Computer Science

5

5

231

3

Software Analysis

5

5

231

4

Programming Languages

1

1

61

5

Software Engineering

1

1

21

Etienne Kneuss

×

5

Publications

231

Citations

5

H-Index

YearCitations

Page 1