W. Marrero
Papers
1
Total Citations
46
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 46 citations
Binary decision diagram1 · 46 citations
Computer science1 · 46 citations
Embedded system1 · 46 citations
Finite-state machine1 · 46 citations
Graph1 · 46 citations
Interval (graph theory)1 · 46 citations
Model checking1 · 46 citations
Programming language1 · 46 citations
Real-time operating system1 · 46 citations
State (computer science)1 · 46 citations
Theoretical computer science1 · 46 citations
Key Achievements
1
H-Index
1
Papers
46
Total Citations
46
Avg Citations/Paper
🏆 Most Cited Paper
Verus
46 citations · 1995
📈 Most Prolific Year: 1995 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Carnegie Mellon University
Top Papers
- 1Verus46 citations · 1995
Key Collaborators
Not generated yet