Algorithms
Publication
Principles and Applications of Refinement Types
Video
Growth and Phase Transitions in Isolated and Interacting Networks
Networks with complex structures and functions are pervasive in the modern world, spanning social, biological and technological systems. One feature common to many such networks is a broad variation in the number of edges incident…
Publication
Free-Riding and Free-Labor in Combinatorial
Publication
Bounded Independence fools halfspaces
Publication