CUFinder

Marius Minea

About Marius Minea

Marius Minea, With an exceptional h-index of 23 and a recent h-index of 8 (since 2020), a distinguished researcher at Universitatea Politehnica din Timisoara, specializes in the field of formal methods, computer security, software verification and testing.

His recent articles reflect a diverse array of research interests and contributions to the field:

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

Marius Minea Information

University

Position

Associate Professor

Citations(all)

1794

Citations(since 2020)

246

Cited By

1655

hIndex(all)

23

hIndex(since 2020)

8

i10Index(all)

27

i10Index(since 2020)

5

Email

Access Email

University Profile Page

Universitatea Politehnica din Timisoara

Google Scholar

View Google Scholar Profile

Marius Minea Skills & Research Interests

formal methods

computer security

software verification and testing

Top articles of Marius Minea

Title

Journal

Author(s)

Publication Date

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)

Science of Computer Programming

Adenilso Simao

Carroll Morgan

2014

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

Sérgio Campos

Marius Minea

2021/11/25

See List of Professors in Marius Minea University(Universitatea Politehnica din Timisoara)