Concepedia

Author

Jean-Baptiste Joinet

Université Paris CitéORCID

Also Known As

Bailly, Francis, J.-B. Joinet, Jean -Baptiste Joinet, Jean-Baptiste Joinet, Joinet, Jean-Baptiste

33

Publications

508

Citations

8

H-Index

11

Concepts

All Affiliations

Université Paris CitéCentre National de la Recherche ScientifiqueUtrecht UniversityUniversité Paris 1 Panthéon-Sorbonne
JJ

About

Jean-Baptiste Joinet is an author at Université Paris Cité specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

294

2

Computer Science

3

3

231

3

Language Studies

1

1

141

4

Mathematical Foundations

1

1

141

5

Semantics

1

1

141

Jean-Baptiste Joinet

×

5

Publications

315

Citations

5

H-Index

YearCitations

Page 1