Bollobás has proved results on extremal graph theory, functional analysis, the theory of random graphs, graph polynomials and percolation. For example, with Paul Erdős he proved results about the structure of dense graphs; he was the first to prove detailed results about the phase transition in the evolution of random graphs; he proved that the chromatic number of the random graph on "n" vertices is asymptotically "n"/2 log "n"; with Imre Leader he proved basic discrete isoperimetric inequalities; with Richard Arratia and Gregory Sorkin he constructed the interlace polynomial; with Oliver Riordan he introduced the ribbon polynomial (now called the Bollobás–Riordan polynomial); with Andrew Thomason, József Balogh, Miklós Simonovits, Robert Morris and Noga Alon he studied monotone and hereditary graph properties; with Paul Smith and Andrew Uzzell he introduced and classified random cellular automata with general homogeneous monotone update rules; with József Balogh, Hugo Duminil-Copin and Robert Morris he studied bootstrap percolation; with Oliver Riordan he proved that the critical probability in random Voronoi percolation in the plane is 1/2; and with Svante Janson and Oliver Riordan he introduced a very general model of heterogeneous sparse random graphs.