Travelled to:1 × Finland
1 × Hungary
1 × Italy
Collaborated with:G.Persiano R.D.Prisco P.Penna D.Parente C.Ventre
Talks about:verif (2) construct (1) algorithm (1) resourc (1) paramet (1) static (1) mechan (1) power (1) place (1) dynam (1)
Person: Vincenzo Auletta
DBLP: Auletta:Vincenzo
Contributed to:
200620041995Wrote 3 papers:
- 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.
- ICALP-1995-AulettaPP #algorithm
- Placing Resources in a Tree: Dynamic and Static Algorithms (VA, DP, GP), pp. 232–243.