( en | de | ru )

 

Disambiguation of "Krishnan, Padmanabhan"

Author of the publication

copydeleteadd this publication to your clipboard
User Assisted Verification of Non-Repudiation and Similar Properties.

, and . Security and Management, page 161-170. CSREA Press, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Padmanabhan Vakeel

Krishnan Sircar

Nirmala Padmanabhan

Ajay Krishnan

Padmanabhan Balasubramanian

 

Other publications of authors with the same name

A Semantics for Multiprocessor Systems.. ESOP, volume 582 of Lecture Notes in Computer Science, page 307-320. Springer, (1992)Analysis of initial use case descriptions.. IASTED Conf. on Software Engineering, page 24-29. IASTED/ACTA Press, (2004)User Assisted Verification of Non-Repudiation and Similar Properties., and . Security and Management, page 161-170. CSREA Press, (2003)Translation and Execution of Distributed Ada Programs: Is It Still Ada?, , , and . IEEE Trans. Software Eng., 15 (3): 281-292 (1989)Supporting Partial Component Matching., and . ICDCIT, volume 3347 of Lecture Notes in Computer Science, page 294-303. Springer, (2004)Dilated Networks for Photonic Switching., and . IEEE Trans. Commun., 35 (12): 1357-1365 (1987)Guest editorial to the special section on SEFM 2009., , and . Softw. Syst. Model., 12 (2): 227-228 (2013)Performance of Multicomputer Networks under Pin-out Constraints., and . J. Parallel Distributed Comput., 12 (3): 237-248 (1991)Formal methods and design extraction: a pilot study.. Inf. Softw. Technol., 36 (11): 675-681 (1994)A tool based approach to checking logical consistency in accident reports.. Reliab. Eng. Syst. Saf., 76 (3): 217-226 (2002)