University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 6,335 items
Thumbnail for ChemXSeer: An eScience Web Search Engine and Repository for Chemistry
ChemXSeer: An eScience Web Search Engine and Repository for Chemistry
Giles, C. Lee; Mitra, Prasenjit; Muller, Karl; Kubicki, James; Garrison, Barbara; Wang, James Z.; Sun, Bingjun; Liu, Ying; Tan, Qingzhao; Bolelli, Levent; Lu, Xiaonan; Jaiswal, Anuj; Bai, Kun; Councill, Isaac; Brouwer, William; Fernandez, Juan; Bandstra, Joel

Thumbnail for Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Liu, Si; Ölveczky, Peter; Zhang, Min; Wang, Qi; Meseguer, José