University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 211–240 of 703 items
Thumbnail for A Decidable Class of Planar Linear Hybrid Systems
A Decidable Class of Planar Linear Hybrid Systems
Prabhakar, Pavithra; Vladimerou, Vladimeros; Viswanathan, Mahesh; Dullerud, Geir E.

Thumbnail for Essays on peer-to-peer lending
Essays on peer-to-peer lending
Arga, Desak Nyoman Filiadewi

Thumbnail for Complexity bounds for the verification of real-time software
Complexity bounds for the verification of real-time software
Chadha, Rohit; Legay, Axel; Prabhakar, Pavithra; Viswanathan, Mahesh

Thumbnail for Regression Test Selection for Distributed Software Histories: Appendix
Regression Test Selection for Distributed Software Histories: Appendix
Gligoric, Milos; Majumdar, Rupak; Sharma, Rohan; Eloussi, Lamyaa; Marinov, Darko