Algebraic graph theory methods in quantum information theory and extremal combinat...
Genericity in the context of theorem proving: a cloud based proof assistant for fl...
Quasi-random hypergraphs and spanning subhypergraph containment
Synchrony in coupled systems: a connection between graphs and singularities
Analysis and simulation of random walks and exclusion processes over graphs