PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperSocial networks and discovery in the enterprise (SaND)Inbal Ronen, Elad Shahar, et al.SIGIR 2009
Conference paperPIRE: A global living laboratory for cyberinfrastructure application enablementS.M. Sadjadi, S. Chen, et al.TAPIA 2009
Conference paperFPGA-based coprocessor for text string extractionN.K. Ratha, A.K. Jain, et al.Workshop CAMP 2000