University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 6391–6420 of 14,761 items
Thumbnail for Longer Time Steps for Molecular Dynamics
Longer Time Steps for Molecular Dynamics
Izaguirre Paz, Jesus Antonio

Thumbnail for Hyperproperties in Matching Logic
Hyperproperties in Matching Logic
Tusil, Jan; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Interfacial processes in Li-ion batteries
Interfacial processes in Li-ion batteries
Tavassol Farahi, Mohammad Hadi

Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José

Thumbnail for Effect of Weld Flaws on the Fatigue Behavior of Butt-Welded Joints in HY-80 Steel
Effect of Weld Flaws on the Fatigue Behavior of Butt-Welded Joints in HY-80 Steel
Hartmann, A.J.; Bruckner, Walter Herbert; Mooney, J.L.; Munse, W.H.

Thumbnail for Faculty publications and doctoral dissertations. 1968-1970
Faculty publications and doctoral dissertations. 1968-1970
University of Illinois at Urbana-Champaign