PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperA hierarchical screening algorithm for reactive power optimization in distribution networksXinyi Su, Guangyu He, et al.Dianli Xitong Zidonghua/Automation of Electric Power Systems
Conference paperSelecting an optimal combination of storage & transmission assets with a non-dispatchable electricity supplyKhalid Abdulla, Andrew Wirth, et al.ICIAfS 2014
Conference paperAnomalous interface degradation of a-Si:H TFTs during LCD lifetimeFrank R. Libsch, Takatoshi TsujimuraActive Matrix Liquid Crystal Displays Technology and Applications 1997