Concepedia

Author

Michael Florentin Nielsen

Rice University

Also Known As

Michael Florentin Nielsen

3

Publications

152

Citations

3

H-Index

9

Concepts

All Affiliations

Rice UniversityIT University of Copenhagen
MF

About

Michael Florentin Nielsen is an author at Rice University specializing in formal verification, engineering, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

146

2

Computer Science

2

2

146

3

Software Analysis

2

2

146

4

Software Engineering

2

2

146

5

Automated Reasoning

2

2

146

Michael Florentin Nielsen

×

2

Publications

146

Citations

2

H-Index

YearCitations

Page 1