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: 2.

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 Sun Jul 23 20:25:57 2017 BST.