Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.


Zhang, Xin and Grigore, Radu and Si, Xujie and Naik, Mayur (2017) Effective Interactive Resolution of Static Analysis Alarms. Proceedings of the ACM on Programming Languages, 1 (1). E-ISSN 2475-1421. (In press) (Full text available)

Conference or workshop item

Zhang, Xin and Mangal, Ravi and Grigore, Radu and Naik, Mayur and Yang, Hongseok (2014) On abstraction refinement for program analyses in Datalog. In: Programming Language Design and Implementation, 9 June 2014 - 11 June 2014, Edinburgh, UK. (doi: (Full text available)

Wang, Xinming and Zhao, Gansen and Zhang, Xin and Jin, Beihong (2005) An Agent-Based Model For Web Services Transaction Processing. In: 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05). (doi: (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Tue Sep 26 15:29:03 2017 BST.