Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,857,590 papers from all fields of science
Search
Sign In
Create Free Account
Alloy Analyzer
Known as:
Alloy language
In computer science and software engineering, the Alloy Analyzer is a software tool which can be used to analyze specifications written in the Alloy…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
Alloy (specification language)
Boolean satisfiability problem
Computer science
Menthor Editor
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Thermodynamic controlled synthesis of intermetallic Au3Cu alloy nanocrystals from Cu microparticles
Wengao Zhao
,
Lini Yang
,
Yadong Yin
,
Mingshang Jin
2014
Corpus ID: 86867443
This communication reports a remarkably simple approach for the preparation of Au3Cu alloy nanocrystals via phase-stabilized…
Expand
2013
2013
Theoretical and experimental study on ultrasonic dispersion of nanoparticles for strengthening cast Aluminum Alloy A356
Xiaochun Li
,
Yong Yang
,
D. Weiss
2013
Corpus ID: 137340750
Aluminum alloy A356 is of significance for numerous applications. The mechanical properties of A356 would be enhanced…
Expand
2013
2013
Compression properties of Al/Al-Si-Cu alloy functionally graded aluminum foam fabricated by friction stir processing route
Y. Hangai
,
Kousuke Saito
,
T. Utsunomiya
,
Soichiro Kitahara
,
O. Kuwazuru
,
N. Yoshikawa
2013
Corpus ID: 73560458
Al foam is a promising material for automobile components to improve both fuel efficiency and the safety of passengers owing to…
Expand
2011
2011
Enhanced corrosion resistance and cellular behavior of ultrafine-grained biomedical NiTi alloy with a novel SrO-SiO2-TiO2 sol-gel coating
C. Zheng
,
F. Nie
,
+4 authors
R. Valiev
2011
Corpus ID: 54174272
Highly Cited
2002
Highly Cited
2002
Thermal Stability and Mechanical Strength of Bulk Glassy Ni-Nb-Ti-Zr Alloys
A. Inoue
,
Wei Zhang
,
Tao Zhang
2002
Corpus ID: 56439317
Bulk glassy Ni-based alloys with high fracture strength exceeding 2700 MPa were prepared in Ni60Nb40−x−yTix Zry system by copper…
Expand
1999
1999
Implementation of a self-resetting CMOS 64-bit parallel adder with enhanced testability
W. Hwang
,
G. Gristede
,
P. Sanda
,
Shao-Yu Wang
,
D. Heidel
IEEE J. Solid State Circuits
1999
Corpus ID: 17535052
This paper presents a fast, low-power, binary carry-lookahead, 64-bit dynamic parallel adder architecture for high-frequency…
Expand
1998
1998
A three-dimensional model of the spray forming method
H. Seok
,
K. Oh
,
H. Ra
,
D. Yeo
,
Ho-In Lee
1998
Corpus ID: 135684109
A three-dimensional model has been formulated to calculate the shape of the general preform, using vector calculus. The shape of…
Expand
Review
1996
Review
1996
Carbon and Alloy Steels
Joseph R. Davis
1996
Corpus ID: 137393823
Carbon and alloy steels are the workhorse of structural materials in modern engineering because of their very reasonable costs…
Expand
1979
1979
The capabilities of the NASA charging analyzer program
I. Katz
,
J. Cassidy
,
M. Mandell
,
G. W. Schnuelle
,
P. Steen
,
J. C. Roche
1979
Corpus ID: 109565101
Desirable features in a spacecraft modeling code are enumerated. The NASCAP is discussed in terms of its approach to the problem…
Expand
Highly Cited
1978
Highly Cited
1978
Diffusion modeling of the carburization process
J. I. Goldstein
,
A. Moren
1978
Corpus ID: 18934465
Mathematical models have been developed for simulating the carburization process. One model simulates carburization in low alloy…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE