Concepedia

Author

Bui Phi Diep

Uppsala University

Also Known As

Bui Phi Diep, Bui Phi Diep, Phi Diep, Bui

9

Publications

147

Citations

6

H-Index

20

Concepts

All Affiliations

Uppsala UniversityAcademia SinicaBrno University of TechnologyLinköping University
BP

About

Bui Phi Diep is an author at Uppsala University specializing in formal verification, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

101

2

Computer Science

3

3

101

3

Combinatorial Optimization

2

2

76

4

Computational Linguistics

2

2

76

5

Computer Engineering

1

1

25

Bui Phi Diep

×

3

Publications

101

Citations

3

H-Index

YearCitations

Page 1