Casper Bach Poulsen - 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

Publications

237

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
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

Publications

128

Citations

H-Index

Page 1

Page 1