Travelled to:1 × Finland
1 × Italy
Collaborated with:V.Auletta P.Penna G.Persiano S.Davtyan C.Georgiou A.A.Shvartsman C.Ventre
Talks about:verif (2) processor (1) construct (1) broadcast (1) undepend (1) paramet (1) coordin (1) unreli (1) mechan (1) cooper (1)
Person: Roberto De Prisco
DBLP: Prisco:Roberto_De
Contributed to:
2014
20062004Wrote 3 papers:
- PDP-2014-DavtyanPGS #coordination #using
- Coordinated Cooperative Work Using Undependable Processors with Unreliable Broadcast (SD, RDP, CG, AAS), pp. 17–26.
- ICALP-v1-2006-AulettaPPPV #verification
- New Constructions of Mechanisms with Verification (VA, RDP, PP, GP, CV), pp. 596–607.
- ICALP-2004-AulettaPPP #power of #verification
- The Power of Verification for One-Parameter Agents (VA, RDP, PP, GP), pp. 171–182.