( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Semantic Characterisation for Faults in Replicated Systems.

. Theor. Comput. Sci., 128 (1&2): 159-177 (1994)

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.

Padmanabhan Vakeel

Krishnan Sircar

Nirmala Padmanabhan

Ajay Krishnan

Padmanabhan Balasubramanian

 

Другие публикации лиц с тем же именем

A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking., , и . APLAS, том 8858 из Lecture Notes in Computer Science, стр. 196-215. Springer, (2014)Dilated Networks for Photonic Switching., и . IEEE Trans. Commun., 35 (12): 1357-1365 (1987)Guest editorial to the special section on SEFM 2009., , и . Softw. Syst. Model., 12 (2): 227-228 (2013)A Semantic Characterisation for Faults in Replicated Systems.. Theor. Comput. Sci., 128 (1&2): 159-177 (1994)An Empirical Model for Reliable Spiking Activity., , , , и . Neural Comput., 27 (8): 1609-1623 (2015)An Environment for Specifying and Verifying Security Properties., и . Australian Software Engineering Conference, стр. 203-212. IEEE Computer Society, (2001)Effect of Data Access Delays and System Partitionability on the Dynamic Performance of a Shared Memory Multiprocessor., и . SC, стр. 674-682. IEEE Computer Society, (1992)A Taxonomy of E-Health Standards to Assist System Developers., , и . ISD, стр. 737-745. Springer, (2008)An Analysis of the Twisted Cube Topology., и . ICPP (1), стр. 116-120. Pennsylvania State University Press, (1989)User Assisted Verification of Non-Repudiation and Similar Properties., и . Security and Management, стр. 161-170. CSREA Press, (2003)