Angelika Mader
Papers
3
Total Citations
9
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 7 citations
Embedded system2 · 7 citations
Schedule1 · 5 citations
Operating system1 · 5 citations
Real-time operating system1 · 5 citations
Distributed computing1 · 5 citations
Dynamic priority scheduling1 · 5 citations
Model checking1 · 5 citations
Parallel computing1 · 5 citations
Multiprocessing1 · 5 citations
Programming language1 · 5 citations
Scheduling (production processes)1 · 5 citations
Key Achievements
2
H-Index
3
Papers
9
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Schedulability analysis of timed CSP models using the PAT model checker
5 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: Human Media
Top Papers
- 1Schedulability analysis of timed CSP models using the PAT model checker5 citations · 2012
- 2Prozessalgebra, Teil 1 (Process Algebra, Part 1)2 citations · 2003
- 3Textile Waste and Haptic Feedback for Wearable Robotics2 citations · 2018
Key Collaborators
Not generated yet