Conference paperTrue 3-D displays for avionics and mission crewstationsElizabeth A. Sholler, Frederick M. Meyer, et al.SPIE AeroSense 1997
Conference paperFailure diagnosis with incomplete information in cable networksYun Mao, Hani Jamjoom, et al.CoNEXT 2006
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science