Concepedia

Kumar Neeraj Verma

KN

3

Publications

104

Citations

3

H-Index

2004

Active since

Affiliations

Technical University of Munich(Current)

Institut national de recherche en sciences et technologies du numérique

École Normale Supérieure Paris-Saclay

Centre National de la Recherche Scientifique

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

Top concepts

Publications per year

2004–2007

3

Publications

3

Karp-Miller Trees for a Branching Extension of VASS

Kumar Neeraj Verma, Jean Goubault-Larrecq · Discrete Mathematics & Theoretical Computer Science · 2005 · 46 citations · Full text

, , +14

Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically

Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma · The Journal of Logic and Algebraic Programming · 2004 · 36 citations

, , +11

Alternating two-way AC-tree automata

Kumar Neeraj Verma, Jean Goubault-Larrecq · Information and Computation · 2007 · 22 citations

, , +6

Rows per page

1–3 of 3