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 × 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 DBLP: Prisco:Roberto_De

Contributed to:

PDP 20142014
ICALP (1) 20062006
ICALP 20042004

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

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.