University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–23 of 23 items
Thumbnail for In search of better proximity
In search of better proximity
Kumar, Nirman

Thumbnail for Fast Compaction Algorithms for NoSQL Databases
Fast Compaction Algorithms for NoSQL Databases
Ghosh, Mainak; Gupta, Indranil; Gupta, Shalmoli; Kumar, Nirman

Thumbnail for PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Agha, Gul A.; Meseguer, José; Sen, Koushik

Thumbnail for Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies
Statistical Model Checking of RANDAO’s Resilience Against Pre-computed Reveal Strategies
Alturki, Musab A.; Roşu, Grigore

Thumbnail for Reframing citizenship by decentralizing development under India's National Rural Employment Guarantee Act
Reframing citizenship by decentralizing development under India's National Rural Employment Guarantee Act
Fischer, Harry

Thumbnail for Approximation algorithms for clustering and facility location problems
Approximation algorithms for clustering and facility location problems
Gupta, Shalmoli

Thumbnail for Cryptographic agents
Cryptographic agents
Agrawal, Shashank

Thumbnail for Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude
Olveczky, Peter C.; Meseguer, José; Talcott, Carolyn L.

Thumbnail for Efficient data reconfiguration for today's cloud systems
Efficient data reconfiguration for today's cloud systems
Ghosh, Mainak

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems
Probabilistic Modeling and Verification of Large Scale Systems
Kwon, YoungMin

Thumbnail for Scalable Automated Methods for Dynamic Program Analysis
Scalable Automated Methods for Dynamic Program Analysis
Sen, Koushik

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects
An Equational Logic and a Coordination Language for Distributed Objects
Ziaei, Mahmood Reza

Thumbnail for Probabilistic Modeling and Verification of Large Scale Systems
Probabilistic Modeling and Verification of Large Scale Systems
Kwon, YoungMin

Thumbnail for Fast algorithms for surface embedded graphs via homology
Fast algorithms for surface embedded graphs via homology
Fox, Kyle J.

Thumbnail for An Equational Logic and a Coordination Language for Distributed Objects
An Equational Logic and a Coordination Language for Distributed Objects
Ziaei, Mahmood Reza

Thumbnail for Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Jang, Myeong-Wuk

Thumbnail for Combinatorial optimization on embedded curves
Combinatorial optimization on embedded curves
Nayyeri, Amir

Thumbnail for Tightening curves and graphs on surfaces
Tightening curves and graphs on surfaces
Chang, Hsien-Chih

Thumbnail for In pursuit of linear complexity in discrete and computational geometry
In pursuit of linear complexity in discrete and computational geometry
Raichel, Benjamin A.

Thumbnail for On approximability and LP formulations for multicut and feedback set problems
On approximability and LP formulations for multicut and feedback set problems
Madan, Vivek

Thumbnail for Learning to Verify Systems
Learning to Verify Systems
Vardhan, Abhay

Thumbnail for Approximation algorithms for submodular optimization and graph problems
Approximation algorithms for submodular optimization and graph problems
Ene, Alina

Thumbnail for Approximation Algorithms for Network Design and Orienteering
Approximation Algorithms for Network Design and Orienteering
Korula, Nitish J.