×
Edit Profile (opens in new tab)

Ray, Sandip

Co-Author Distance
Author ID: ray.sandip Recent zbMATH articles by "Ray, Sandip"
Published as: Ray, Sandip
External Links: MGP
Documents Indexed: 23 Publications since 1996, including 1 Book
Co-Authors: 16 Co-Authors with 10 Joint Publications
323 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
5 Moore, J Strother
3 Kaufmann, Matt
2 Chandrawat, H. N.
2 Hao, Kecheng
2 Hunt, Warren A. jun.
2 Sumners, Rob
2 Vroon, Daron
2 Xie, Fei
1 Aichholzer, Oswin
1 Aurenhammer, Franz
1 Chamoli, Neeraj
1 Chen, Yan
1 Date, A. W.
1 Gonzalez-Nava, P.
1 Gordon, Michael J. C.
1 Greve, David A.
1 Hackl, Thomas
1 Huemer, Clemens
1 Hurtado, Ferran
1 Kamran, R.
1 Krasser, Hannes
1 Kumar, Vijay
1 Manolios, Panagiotis
1 Mashinchi, Mashallah
1 Puri, Disha
1 Rattan, Minto
1 Reeber, Erik
1 Ruiz-Reina, José-Luis
1 Sengupta, S. P.
1 Vogtenhuber, Birgit
1 Wilding, Matthew
1 Yang, Jin
1 Ziaie, S. A.
all top 5

Serials

3 Journal of Automated Reasoning
2 International Journal of Heat and Mass Transfer
2 Bulletin of the Calcutta Mathematical Society
2 Engineering Computations
1 Indian Journal of Pure & Applied Mathematics
1 Zeitschrift für Kristallographie
1 Computational Geometry
1 International Journal of Numerical Methods for Heat & Fluid Flow
1 Mathware & Soft Computing
1 Journal of Functional Programming
1 European Journal of Mechanics. A. Solids
1 Journal of Applied Logic
all top 5

Fields

11 Computer science (68-XX)
6 Mechanics of deformable solids (74-XX)
3 Fluid mechanics (76-XX)
2 Mathematical logic and foundations (03-XX)
2 Classical thermodynamics, heat transfer (80-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Group theory and generalizations (20-XX)
1 Geometry (51-XX)
1 Convex and discrete geometry (52-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

12 Publications have been cited 25 times in 20 Documents Cited by ▼ Year ▼
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.
11
2004
Verification condition generation via theorem proving. Zbl 1165.68410
Matthews, John; Moore, J. Strother; Ray, Sandip; Vroon, Daron
8
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
7
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.
3
2008
Integrating external deduction tools with ACL2. Zbl 1183.68558
Kaufmann, Matt; Moore, J Strother; Ray, Sandip; Reeber, Erik
3
2009
Deductive verification of pipelined machines using first-order quantification. Zbl 1103.68634
Ray, Sandip; Hunt, Warren A. jun.
3
2004
Proof styles in operational semantics. Zbl 1117.68419
Ray, Sandip; Moore, J. Strother
2
2004
Scalable techniques for formal verification. Zbl 1211.68253
Ray, Sandip
1
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
1
2011
Friction and heat transfer characteristics of flow through square duct with twisted tape insert. Zbl 1018.76531
Ray, S.; Date, A. W.
1
2003
Boolean structure of triangular norms. Zbl 0957.06014
Ziaie, S. A.; Ray, S.; Mashinchi, M.; Kamran, R.
1
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.
1
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
1
2011
Scalable techniques for formal verification. Zbl 1211.68253
Ray, Sandip
1
2010
Integrating external deduction tools with ACL2. Zbl 1183.68558
Kaufmann, Matt; Moore, J Strother; Ray, Sandip; Reeber, Erik
3
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.
1
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
7
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.
3
2008
Verification condition generation via theorem proving. Zbl 1165.68410
Matthews, John; Moore, J. Strother; Ray, Sandip; Vroon, Daron
8
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.
11
2004
Deductive verification of pipelined machines using first-order quantification. Zbl 1103.68634
Ray, Sandip; Hunt, Warren A. jun.
3
2004
Proof styles in operational semantics. Zbl 1117.68419
Ray, Sandip; Moore, J. Strother
2
2004
Friction and heat transfer characteristics of flow through square duct with twisted tape insert. Zbl 1018.76531
Ray, S.; Date, A. W.
1
2003
Boolean structure of triangular norms. Zbl 0957.06014
Ziaie, S. A.; Ray, S.; Mashinchi, M.; Kamran, R.
1
1999
all cited Publications top 5 cited Publications
all top 5

Cited by 41 Authors

4 Kaufmann, Matt
4 Moore, J Strother
4 Myreen, Magnus O.
3 Gordon, Michael J. C.
3 Ray, Sandip
1 Appel, Andrew W.
1 Bérard, Béatrice
1 Beringer, Lennart
1 Bierman, Gavin M.
1 Bockenek, Joshua A.
1 Bollig, Benedikt
1 Cao, Qinxiang
1 Chen, Yan
1 Davis, Jared
1 Dodds, Josiah
1 Falcone, Yliès
1 Gordon, Andrew D.
1 Grütter, Samuel
1 Hao, Kecheng
1 Harman, N. A.
1 Heule, Marijn J. H.
1 Hriţcu, Cătălin
1 Hunt, Warren A. jun.
1 Hunt, Warren jun.
1 Kassem, Ali
1 Krauss, Alexander
1 Lafourcade, Pascal
1 Langworthy, David E.
1 Lehaut, Mathieu
1 Medina-Bulo, Inmaculada
1 Owens, Scott
1 Palomo-Lozano, Francisco
1 Ravindran, Binoy
1 Reeber, Erik
1 Ruiz-Reina, José-Luis
1 Slind, Konrad
1 Sznajder, Nathalie
1 Verbeek, Freek
1 Wetzler, Nathan D.
1 Xie, Fei
1 Yang, Jin
all top 5

Cited in 9 Serials

5 Journal of Automated Reasoning
1 Science of Computer Programming
1 Journal of Symbolic Computation
1 Formal Methods in System Design
1 Journal of Functional Programming
1 Higher-Order and Symbolic Computation
1 The Journal of Logic and Algebraic Programming
1 Journal of Applied Logic
1 Philosophical Transactions A. Royal Society of London

Cited in 4 Fields

20 Computer science (68-XX)
3 Mathematical logic and foundations (03-XX)
1 History and biography (01-XX)
1 Commutative algebra (13-XX)

Citations by Year