PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperExposing and eliminating vulnerabilities to denial of service attacks in secure gossip-based multicastGal Badishi, Idit Keidar, et al.IEEE TDSC
Conference paperStrong and flexible domain typing for dynamic E-businessYigal Hoffner, Simon Field, et al.EDOC 2004
Conference paperThe Pensieve project: A compiler infrastructure for memory modelsChi-Leung Wong, Zehra Sura, et al.I-SPAN 2002