Robert A. Coleman
Papers
1
Total Citations
3
H-Index
1
About
No biography available yet.
Research Focus
Automaton1 · 3 citations
Complement (music)1 · 3 citations
Computer science1 · 3 citations
Correctness1 · 3 citations
Distributed computing1 · 3 citations
Finite-state machine1 · 3 citations
Formal verification1 · 3 citations
Generator (circuit theory)1 · 3 citations
Model checking1 · 3 citations
Petri net1 · 3 citations
Programming language1 · 3 citations
Simulation1 · 3 citations
Key Achievements
1
H-Index
1
Papers
3
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour
3 citations · 2012
📈 Most Prolific Year: 2012 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Griffith University
Top Papers
- 1
Key Collaborators
Not generated yet