BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Egypt
1 × Portugal
1 × Spain
Collaborated with:
M.Panti S.Tacconi L.Penserini A.Giretti M.Benerecetti S.Valenti
Talks about:
protocol (2) payment (2) verif (2) base (2) infrastructur (1) enterpris (1) electron (1) approach (1) virtual (1) commerc (1)

Person: Luca Spalazzi

DBLP DBLP: Spalazzi:Luca

Contributed to:

ICEIS v4 20042004
CAiSE 20022002
ICEIS 20022002
VLDB 20002000

Wrote 4 papers:

ICEIS-v4-2004-PenseriniSP #framework
A P2P-Based Infrastructure for Virtual-Enterprise’s Supply-Chain Management (LP, LS, MP), pp. 316–321.
CAiSE-2002-BenerecettiPST #model checking #multi #protocol #verification
Verification of Payment Protocols via MultiAgent Model Checking (MB, MP, LS, ST), pp. 311–327.
ICEIS-2002-PantiSTV #automation #protocol #security #verification
Automatic Verification of Security in Payment Protocols for Electronic Commerce (MP, LS, ST, SV), pp. 968–974.
VLDB-2000-PantiSG #approach #integration
A Case-Based Approach to Information Integration (MP, LS, AG), pp. 557–565.
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.