Concepedia

Author

Thierry Coquand

Chalmers University of TechnologyORCID

Also Known As

Bas Spitters, Bassel Mannaa, Coquand, Thierry, Coquand, Thierry; Göteborg University, Coquand,, Thierry, Geniet, Colin, Kaposi, Ambrus, Lombardi, Henri, Muhammad Zafrullah, T. Coquand

273

Publications

5.5K

Citations

34

H-Index

33

Concepts

All Affiliations

Chalmers University of TechnologyUniversity of GothenburgInstitut national de recherche en sciences et technologies du numériqueUniversité de franche-comtéUniversity of Pennsylvania
TC

About

Thierry Coquand is an author at Chalmers University of Technology specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

19

943

2

Language Studies

7

7

1.2K

3

Law

2

2

75

4

Education

1

1

18

5

Social Sciences

1

1

35

Thierry Coquand

×

58

Publications

3.5K

Citations

28

H-Index

YearCitations

Page 1