Steady state creep and material parameters in a rotating disc of Al–SiC\(_{P}\) composite. Zbl 1058.74529
Gupta, V. K.; Singh, S. B.; Chandrawat, H. N.; Ray, S. |
|
2004
|
Verification condition generation via theorem proving. Zbl 1165.68410
Matthews, John; Moore, J. Strother; Ray, Sandip; Vroon, Daron |
|
2006
|
Efficient execution in an automated reasoning environment. Zbl 1128.68090
Greve, David A.; Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother; Ray, Sandip; Ruiz-Reina, José Luis; Sumners, Rob; Vroon, Daron; Wilding, Matthew |
|
2008
|
Matching edges and faces in polygonal partitions. Zbl 1135.52005
Aichholzer, O.; Aurenhammer, F.; Gonzalez-Nava, P.; Hackl, T.; Huemer, C.; Hurtado, F.; Krasser, H.; Ray, S.; Vogtenhuber, B. |
|
2008
|
Integrating external deduction tools with ACL2. Zbl 1183.68558
Kaufmann, Matt; Moore, J Strother; Ray, Sandip; Reeber, Erik |
|
2009
|
Deductive verification of pipelined machines using first-order quantification. Zbl 1103.68634
Ray, Sandip; Hunt, Warren A. jun. |
|
2004
|
Proof styles in operational semantics. Zbl 1117.68419
Ray, Sandip; Moore, J. Strother |
|
2004
|
Scalable techniques for formal verification. Zbl 1211.68253
Ray, Sandip |
|
2010
|
The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4. Zbl 1216.68233
Gordon, Michael J. C.; Kaufmann, Matt; Ray, Sandip |
|
2011
|
Friction and heat transfer characteristics of flow through square duct with twisted tape insert. Zbl 1018.76531
Ray, S.; Date, A. W. |
|
2003
|
Boolean structure of triangular norms. Zbl 0957.06014
Ziaie, S. A.; Ray, S.; Mashinchi, M.; Kamran, R. |
|
1999
|
Effect of stress exponent on creep in an isotropic rotating disc of \(AI-SiC_p\). Zbl 1425.74443
Rattan, Minto; Singh, S. B.; Ray, S. |
|
2009
|
The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4. Zbl 1216.68233
Gordon, Michael J. C.; Kaufmann, Matt; Ray, Sandip |
|
2011
|
Scalable techniques for formal verification. Zbl 1211.68253
Ray, Sandip |
|
2010
|
Integrating external deduction tools with ACL2. Zbl 1183.68558
Kaufmann, Matt; Moore, J Strother; Ray, Sandip; Reeber, Erik |
|
2009
|
Effect of stress exponent on creep in an isotropic rotating disc of \(AI-SiC_p\). Zbl 1425.74443
Rattan, Minto; Singh, S. B.; Ray, S. |
|
2009
|
Efficient execution in an automated reasoning environment. Zbl 1128.68090
Greve, David A.; Kaufmann, Matt; Manolios, Panagiotis; Moore, J. Strother; Ray, Sandip; Ruiz-Reina, José Luis; Sumners, Rob; Vroon, Daron; Wilding, Matthew |
|
2008
|
Matching edges and faces in polygonal partitions. Zbl 1135.52005
Aichholzer, O.; Aurenhammer, F.; Gonzalez-Nava, P.; Hackl, T.; Huemer, C.; Hurtado, F.; Krasser, H.; Ray, S.; Vogtenhuber, B. |
|
2008
|
Verification condition generation via theorem proving. Zbl 1165.68410
Matthews, John; Moore, J. Strother; Ray, Sandip; Vroon, Daron |
|
2006
|
Steady state creep and material parameters in a rotating disc of Al–SiC\(_{P}\) composite. Zbl 1058.74529
Gupta, V. K.; Singh, S. B.; Chandrawat, H. N.; Ray, S. |
|
2004
|
Deductive verification of pipelined machines using first-order quantification. Zbl 1103.68634
Ray, Sandip; Hunt, Warren A. jun. |
|
2004
|
Proof styles in operational semantics. Zbl 1117.68419
Ray, Sandip; Moore, J. Strother |
|
2004
|
Friction and heat transfer characteristics of flow through square duct with twisted tape insert. Zbl 1018.76531
Ray, S.; Date, A. W. |
|
2003
|
Boolean structure of triangular norms. Zbl 0957.06014
Ziaie, S. A.; Ray, S.; Mashinchi, M.; Kamran, R. |
|
1999
|