BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Auletta:Vincenzo

Contributed to:

ICALP (1) 20062006
ICALP 20042004
ICALP 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.