PaperStabilizer-based symmetry breaking constraints for mathematical programsLeo Liberti, James OstrowskiJournal of Global Optimization
Conference paperEvent matching using the transitive closure of dependency relationsDaniel M. Bikel, Vittorio CastelliACL 2008
Workshop paperMulticoreSDK: A practical and efficient data race detector for real-world applicationsYao Qi, Raja Das, et al.ISSTA 2009
Workshop paperOntologies for specifying and reconciling contexts of web servicesS. Sattanathan, N.C. Narendra, et al.CONTEXT 2005