Prover Technology (Sweden)
🇸🇪 SE
Papers
2
Total Citations
88
H-Index
2
Researchers
2
About
No biography available yet.
Research Focus
Distributed computing2 · 88 citations
Control engineering2 · 88 citations
Event (particle physics)2 · 88 citations
Programming language2 · 88 citations
Computer science2 · 88 citations
Engineering2 · 88 citations
Finite-state machine1 · 76 citations
Guard (computer science)1 · 76 citations
Abstraction1 · 76 citations
Code (set theory)1 · 76 citations
Key Achievements
2
H-Index
2
Papers
88
Total Citations
2
Faculty & Researchers
🏆 Most Cited Paper
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
76 citations · 2017
📊 Avg Citations/Paper: 44
📈 Most Prolific Year: 2017 (1)
🔬 Research Focus: Distributed computing, Control engineering, Event (particle physics), Programming language, Computer science, Engineering
Top Papers
- 1Supremica–An Efficient Tool for Large-Scale Discrete Event Systems76 citations · 2017
- 2Invariant-Based Supervisory Control of Switched Discrete Event Systems12 citations · 2016
Faculty & Researchers
…
Not generated yet