K. Periyasamy

University of Manitoba

论文数

4

总引用数

11

H-Index

2

关于

暂无简介。

研究焦点

Computer science4 · 11 次引用
Programming language3 · 9 次引用
Artificial intelligence2 · 6 次引用
Formal specification2 · 6 次引用
Software engineering2 · 5 次引用
Formal methods2 · 5 次引用
Extension (predicate logic)1 · 4 次引用
Method1 · 4 次引用
Notation1 · 4 次引用
Language Of Temporal Ordering Specification1 · 4 次引用
Class (philosophy)1 · 4 次引用
Arithmetic1 · 4 次引用

主要成就

2
H 指数
4
论文
11
总引用数
3
篇均引用
🏆 最高被引论文
Extending Object-Z for specifying real-time systems
4 次引用 · 2002
📈 最高产年份: 2002 (2 论文)
🤝 主要合作者: 3
🏛 所属机构: University of Manitoba

代表论文

  1. 1
    Extending Object-Z for specifying real-time systems
    4 次引用 · 2002
  2. 2
    Robotic agents and assembly process: a formal specification case study
    3 次引用 · 1991
  3. 3
    Formal specification techniques for complex software systems
    2 次引用 · 2002
  4. 4
    Formal Specifications are Mathematical Example from Robotics
    2 次引用 · 2005

主要合作者

VSV. S. Alagar4 篇合著论文TMThi Mai Linh Bui1 篇合著论文GRGeetha Ramanathan1 篇合著论文

联系与链接

可合作
内容已生成 · 14 天前