Concepedia

Author

Mohamed Faouzi Atig

Uppsala UniversityORCID

Also Known As

Atig, Mohamed Faouzi, Atig, Mohamed, Faouzi, Bocchi, Laura, MOHAMED FAOUZI ATIG, Mohamed Atig (20084244), Mohamed Faouzi Atig

147

Publications

2K

Citations

25

H-Index

42

Concepts

All Affiliations

Uppsala UniversityUniversité Paris CitéLaboratoire d'Informatique Algorithmique: Fondements et ApplicationsBrno University of TechnologyAcademia Sinica
MF

About

Mohamed Faouzi Atig is an author at Uppsala University specializing in formal methods, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

19

702

2

Computer Science

15

20

717

3

Computer Engineering

9

9

362

4

Arts

1

1

15

5

Business

1

1

15

Mohamed Faouzi Atig

×

23

Publications

782

Citations

17

H-Index

YearCitations

Page 1