Leila Kalantari

Simon Fraser University

Papers

1

Total Citations

5

H-Index

1

About

No biography available yet.

Research Focus

Computer science1 · 5 citations
Concurrency1 · 5 citations
Correctness1 · 5 citations
Model checking1 · 5 citations
Normalization property1 · 5 citations
Novelty1 · 5 citations
Programming language1 · 5 citations
Theoretical computer science1 · 5 citations

Key Achievements

1
H-Index
1
Papers
5
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
A model checker for verifying ConGolog programs
5 citations · 2002
📈 Most Prolific Year: 2002 (1 Papers)
🤝 Key Collaborators: 1
🏛 Institutions: Simon Fraser University

Top Papers

  1. 1
    A model checker for verifying ConGolog programs
    5 citations · 2002

Key Collaborators

ETEugenia Ternovska1 shared papers
Not generated yet