169 citations · 371 across the 16 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.CR2016★ 8 cited
Optimizing Governed Blockchains for Financial Process Authentications
Leif-Nissen Lundbaek, Andrea Callia D'Iddio, Michael Huth
We propose the formal study of governed blockchains that are owned and controlled by organizations and that neither create cryptocurrencies nor provide any incentives to solvers of…
cs.LO2016★ 1 cited
Partial Solvers for Parity Games: Effective Polynomial-Time Composition
Patrick Ah-Fat, Michael Huth
Partial methods play an important role in formal methods and beyond. Recently such methods were developed for parity games, where polynomial-time partial solvers decide the winners…