University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 541–570 of 1,699 items
Thumbnail for Origins and evolution of modern biochemistry: insights from genomes and molecular structure.
Origins and evolution of modern biochemistry: insights from genomes and molecular structure.
Caetano-Anolles, Gustavo; Sun, Feng-Jie; Wang, Minglei; Yafremava, Liudmila S.; Harish, Ajith; Kim, Hee Shin; Knudsen, Vegeir; Caetano-Anolles, Derek; Mittenthal, Jay E.

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é