Ron van der Meyden
Papers
1
Total Citations
11
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 11 citations
Computer science1 · 11 citations
Description logic1 · 11 citations
Epistemic modal logic1 · 11 citations
Generalization1 · 11 citations
Implementation1 · 11 citations
Multimodal logic1 · 11 citations
Principle of compositionality1 · 11 citations
Program synthesis1 · 11 citations
Programming language1 · 11 citations
Temporal logic1 · 11 citations
Theoretical computer science1 · 11 citations
Key Achievements
1
H-Index
1
Papers
11
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
11 citations · 2000
📈 Most Prolific Year: 2000 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: UNSW Sydney
Top Papers
- 1A Program Refinement Framework Supporting Reasoning about Knowledge and Time11 citations · 2000
Key Collaborators
Not generated yet