Vangalur Alagar

Concordia University

Papers

3

Total Citations

20

H-Index

2

About

No biography available yet.

Research Focus

Computer science3 · 20 citations
Programming language2 · 18 citations
Correctness2 · 18 citations
Theoretical computer science1 · 14 citations
Theory of computation1 · 14 citations
Algorithm1 · 14 citations
Formalism (music)1 · 14 citations
Artificial intelligence2 · 6 citations
Robot2 · 6 citations
Formal verification1 · 4 citations
Software engineering1 · 4 citations
Formal methods1 · 4 citations

Key Achievements

2
H-Index
3
Papers
20
Total Citations
7
Avg Citations/Paper
🏆 Most Cited Paper
Functional specification and proof of correctness for time dependent behaviour of reactive systems
14 citations · 1991
📈 Most Prolific Year: 1991 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Concordia University

Top Papers

  1. 1
    Functional specification and proof of correctness for time dependent behaviour of reactive systems
    14 citations · 1991
  2. 2
    Formal Environment and Tools Description for the Analysis of Real time Concurrent Systems
    4 citations · 1990
  3. 3
    Simulated validation of an intelligent traffic control system
    2 citations · 2017

Key Collaborators

GRGeetha Ramanathan2 shared papersNNNhat Nguyen1 shared papersKWKaiyu Wan1 shared papers
Not generated yet