Luca de Alfaro: Publications (by topic)

Crowdsourcing, Reputation Systems, Collaboration

Game Theory

Theory of Components

Embedded Software

Quantitative Systems Theory

System Control and Verification

Verification of Probabilistic Systems

Deductive Methods for Verification

Error Correcting Codes