Concepedia

Author

Nicolas Peltier

Centre National de la Recherche ScientifiqueORCID

Also Known As

IJCAR 2020 Online, Leitsch, Alexander, Mnacho Echenim, N Peltier, N. Peltier, NICOLAS PELTIER, Nicolas Peltier, Peltier, Nicolas

179

Publications

739

Citations

14

H-Index

40

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueLaboratoire d'Informatique de GrenobleUniversité Grenoble AlpesTranslational Innovation in Medicine and ComplexityLeibniz Association
NP

About

Nicolas Peltier is an author at Centre National de la Recherche Scientifique specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

10

10

156

2

Computer Science

5

5

80

3

Language Studies

1

1

14

4

Management

1

1

11

5

Computer Engineering

1

1

13

Nicolas Peltier

×

16

Publications

275

Citations

12

H-Index

YearCitations

Page 1