Concepedia

Author

Marius Petria

Japan Advanced Institute of Science and Technology

Also Known As

M. Petria, Marius Petria

6

Publications

61

Citations

4

H-Index

8

Concepts

All Affiliations

Japan Advanced Institute of Science and Technology
MP

About

Marius Petria is an author at Japan Advanced Institute of Science and Technology specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

43

2

Mathematical Foundations

2

2

43

3

Automated Reasoning

2

2

43

4

Computer Science

1

1

17

5

Theory Of Computing

1

1

17

Marius Petria

×

2

Publications

43

Citations

2

H-Index

YearCitations

Page 1