On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Smart Cities in Europe

Andrea Caragliu, Chiara Del Bo, Peter Nijkamp · Journal of Urban Technology · 2011 · 3.3K citations

Social Sciences, Geography, Human Geography +14

Fluctuations in the Abundance of a Species considered Mathematically1

VITO VOLTERRA · Nature · 1926 · 2K citations · Full text

Life Sciences, Biology, Ecology +9

The power of two choices in randomized load balancing

Michael Mitzenmacher · IEEE Transactions on Parallel and Distributed Systems · 2001 · 1.4K citations

Business, Decision Sciences, Distributed Systems +16

Elements of Mathematical Biology

Herbert A. Simon, Alfred J. Lotka · Econometrica · 1959 · 1.4K citations

Natural Sciences, Biology, Mathematics +8