Conference paperSemantic interoperability and transformation in enterprise integrationRaymond Wu, Jie LuITA Conference 2007
PaperStabilizer-based symmetry breaking constraints for mathematical programsLeo Liberti, James OstrowskiJournal of Global Optimization
Conference paperThe Pensieve project: A compiler infrastructure for memory modelsChi-Leung Wong, Zehra Sura, et al.I-SPAN 2002