University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 2311–2340 of 4,491 items
Thumbnail for 2015 IGB Annual Report
2015 IGB Annual Report
University of Illinois. Carl R. Woese Institute for Genomic Biology. Communications Department

Thumbnail for Automated Inference of Atomic Sets for Safe Concurrent Execution
Automated Inference of Atomic Sets for Safe Concurrent Execution
Dinges, Peter; Charalambides, Minas; Agha, Gul A.

Thumbnail for The Rewriting Logic Semantics Project
The Rewriting Logic Semantics Project
Meseguer, José; Rosu, Grigore

Thumbnail for A Rewriting Logic Approach to Operational Semantics
A Rewriting Logic Approach to Operational Semantics
Serbanuta, Traian Florin; Rosu, Grigore; Meseguer, José

Thumbnail for 2019 CURES Connections Workshop: New Voices and Paths to Urban Sustainability
2019 CURES Connections Workshop: New Voices and Paths to Urban Sustainability
Ando, Amy; Hanson, Anne-Marie; Kocs, Elizabeth; Klein-Banai, Cynthia; Massey, Dean; Rigsbee, Carolee; Sharma, Ashish; Donald, Wuebbles; Moira, Zellner; Lei, Zhao