PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Workshop paperOntologies for specifying and reconciling contexts of web servicesS. Sattanathan, N.C. Narendra, et al.CONTEXT 2005
Conference paperFailure diagnosis with incomplete information in cable networksYun Mao, Hani Jamjoom, et al.CoNEXT 2006