Magnus O. Myreen
Papers
2
Total Citations
70
H-Index
2
About
No biography available yet.
Research Focus
Theoretical computer science2 · 70 citations
Automated theorem proving2 · 70 citations
Computer science2 · 70 citations
Controller (irrigation)2 · 70 citations
Cyber-physical system2 · 70 citations
Embedded system2 · 70 citations
Executable2 · 70 citations
HOL2 · 70 citations
Nondeterministic algorithm2 · 70 citations
Operating system2 · 70 citations
Physical system2 · 70 citations
Programmable logic controller2 · 70 citations
Key Achievements
2
H-Index
2
Papers
70
Total Citations
35
Avg Citations/Paper
🏆 Most Cited Paper
VeriPhy: verified controller executables from verified cyber-physical system models
59 citations · 2018
📈 Most Prolific Year: 2018 (2 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: Chalmers University of Technology
Top Papers
- 1
- 2
Key Collaborators
Not generated yet