Concepedia

Author

Magnus O. Myreen

University of CambridgeORCID

Also Known As

M. Myreen, MAGNUS O. MYREEN, Magnus Myreen, Magnus O. Myreen, Myreen, Magnus, Myreen, Magnus O.

89

Publications

2.6K

Citations

24

H-Index

37

Concepts

All Affiliations

University of CambridgeChalmers University of TechnologyData61Carnegie Mellon UniversityUniversity of Kent
MO

About

Magnus O. Myreen is an author at University of Cambridge specializing in formal verification, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

17

24

1.7K

2

Computer Science

17

24

1.7K

3

Computer Engineering

16

18

1.6K

4

Compilers

11

11

1.1K

5

Systems Engineering

5

5

248

Magnus O. Myreen

×

29

Publications

1.9K

Citations

19

H-Index

YearCitations

Page 1