K. Periyasamy

University of Manitoba

Papers

4

Total Citations

11

H-Index

2

About

No biography available yet.

Research Focus

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

Key Achievements

2
H-Index
4
Papers
11
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
Extending Object-Z for specifying real-time systems
4 citations · 2002
📈 Most Prolific Year: 2002 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Manitoba

Top Papers

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

Key Collaborators

VSV. S. Alagar4 shared papersTMThi Mai Linh Bui1 shared papersGRGeetha Ramanathan1 shared papers
Not generated yet