Concepedia

Author

Alexandre Buisse

IT University of Copenhagen

Also Known As

Alexandre Buisse

6

Publications

76

Citations

4

H-Index

14

Concepts

All Affiliations

IT University of Copenhagen
AB

About

Alexandre Buisse is an author at IT University of Copenhagen specializing in formal verification, program analysis, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

57

2

Computer Science

2

2

57

3

Software Analysis

2

2

57

4

Design

1

1

36

5

Software Engineering

1

1

36

Alexandre Buisse

×

3

Publications

68

Citations

3

H-Index

YearCitations

Page 1