Concepedia

Author

M. Praveen

Laboratoire Spécification et VérificationORCID

Also Known As

M Praveen, M. Praveen, Minnu K Praveen, Praveen, M.

41

Publications

117

Citations

5

H-Index

11

Concepts

All Affiliations

Laboratoire Spécification et VérificationUniversité de BordeauxCentre National de la Recherche ScientifiqueLaboratoire Bordelais de Recherche en Informatique
MP

About

M. Praveen is an author at Laboratoire Spécification et Vérification specializing in engineering, computer science, and computational complexity.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

56

2

Computer Science

3

3

56

3

Computational Complexity

3

3

56

4

Reasoning

2

2

35

5

Automated Reasoning

2

2

35

M. Praveen

×

3

Publications

56

Citations

3

H-Index

YearCitations

Page 1