Vangalur Alagar

Concordia University

论文数

3

总引用数

20

H-Index

2

关于

暂无简介。

研究焦点

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

主要成就

2
H 指数
3
论文
20
总引用数
7
篇均引用
🏆 最高被引论文
Functional specification and proof of correctness for time dependent behaviour of reactive systems
14 次引用 · 1991
📈 最高产年份: 1991 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: Concordia University

代表论文

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

主要合作者

GRGeetha Ramanathan2 篇合著论文NNNhat Nguyen1 篇合著论文KWKaiyu Wan1 篇合著论文
尚未生成