PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
PaperA Brief Introduction to Quantum Network ControlVictor Valls, Panagiotis Promponas, et al.IEEE Communications Magazine
Workshop paperMulticoreSDK: A practical and efficient data race detector for real-world applicationsYao Qi, Raja Das, et al.ISSTA 2009
PaperA global spatial similarity optimization scheme to track large numbers of dendritic spines in time-lapse confocal microscopyQing Li, Zhigang Deng, et al.IEEE T-MI
