Concepedia

Author

Kumar Neeraj Verma

Technical University of Munich

Also Known As

K.N. Verma, Kumar Neeraj Verma, Verma, Kumar Neeraj

26

Publications

278

Citations

8

H-Index

10

Concepts

All Affiliations

Technical University of MunichInstitut national de recherche en sciences et technologies du numériqueÉcole Normale Supérieure Paris-SaclayCentre National de la Recherche Scientifique
KN

About

Kumar Neeraj Verma is an author at Technical University of Munich specializing in formal verification, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

104

2

Computer Science

3

3

104

3

Automated Reasoning

3

3

104

4

Computational Complexity

1

1

46

5

Cryptography

1

1

36

Kumar Neeraj Verma

×

3

Publications

104

Citations

3

H-Index

YearCitations

Page 1