S x E rgio Vale Aguiar Campos
Papers
1
Total Citations
18
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 18 citations
Binary decision diagram1 · 18 citations
Computer science1 · 18 citations
Correctness1 · 18 citations
Embedded system1 · 18 citations
Formal verification1 · 18 citations
Model checking1 · 18 citations
Real-time operating system1 · 18 citations
State (computer science)1 · 18 citations
Task (project management)1 · 18 citations
Theoretical computer science1 · 18 citations
Theory of computation1 · 18 citations
Key Achievements
1
H-Index
1
Papers
18
Total Citations
18
Avg Citations/Paper
🏆 Most Cited Paper
Analysis and verification of real-time systems using quantitative symbolic algorithms
18 citations · 1999
📈 Most Prolific Year: 1999 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Universidade Federal de Minas Gerais
Top Papers
- 1
Key Collaborators
Not generated yet