University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 451–480 of 14,086 items
Thumbnail for Model-checking Parameterized Concurrent Programs using Linear Interfaces
Model-checking Parameterized Concurrent Programs using Linear Interfaces
Madhusudan, P. Parthasarathy; La Torre, Salvatore; Parlato, Gennaro

Thumbnail for Technical Report: Decidable Fragments of Matching Logic
Technical Report: Decidable Fragments of Matching Logic
Rodrigues, Nishant; Chen, Xiaohong; Rosu, Grigore

Thumbnail for Unveiling Polarization in Social Networks: A Matrix Factorization Approach
Unveiling Polarization in Social Networks: A Matrix Factorization Approach
Amin, Md Tanvir Al; Aggarwal, Charu; Yao, Shuochao; Abdelzaher, Tarek F.; Kaplan, Lance