PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperPIRE: A global living laboratory for cyberinfrastructure application enablementS.M. Sadjadi, S. Chen, et al.TAPIA 2009
PaperStabilizer-based symmetry breaking constraints for mathematical programsLeo Liberti, James OstrowskiJournal of Global Optimization