PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperRouting and Wavelength Assignment in All-Optical NetworksRajiv Ramaswami, Kumar N. SivarajanIEEE/ACM Transactions on Networking
PaperGeoTran-HC: Geometric transformation of highly coupled variable topology multi-body problemsSai Zeng, Angran Xiao, et al.CAD Computer Aided Design