2 papers
cs.CR2020
Stabilizing Congestion in Decentralized Record-Keepers
Assimakis Kattis, Fabian Trottner
We argue that recent developments in proof-of-work consensus mechanisms can be used in accordance with advancements in formal verification techniques to build a distributed payment…
q-bio.QM2015
Modeling epidemics on adaptively evolving networks: a data-mining perspective
Assimakis A. Kattis, Alexander Holiday, Ana-Andreea Stoica +1
The exploration of epidemic dynamics on dynamically evolving ("adaptive") networks poses nontrivial challenges to the modeler, such as the determination of a small number of inform…