Concepedia

Author

Casper Bach Poulsen

Also Known As

Bach Poulsen, Casper, Casper Bach, Casper Bach Poulsen, Mosses, Peter, Poulsen, C.B. (author), Poulsen, Casper Bach

34

Publications

237

Citations

9

H-Index

19

Concepts

All Affiliations

CB

About

Casper Bach Poulsen is an author at Delft University of Technology specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

116

2

Computer Science

4

4

116

3

Linguistics

3

3

85

4

Language Studies

1

1

43

5

Compilers

1

1

43

Casper Bach Poulsen

×

5

Publications

128

Citations

5

H-Index

YearCitations

Page 1