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 × Canada
1 × Czech Republic
1 × Finland
1 × France
1 × Poland
2 × Austria
3 × United Kingdom
4 × Italy
Collaborated with:
A.Asperti L.Padovani E.Giachino G.Zavattaro V.Danos M.Lienhardt A.Vitale S.Carpineti B.Victor U.Montanari A.Garcia S.Pradalier L.Regnier L.Henrio Vincenzo Mastandrea C.A.Grazia P.Y.H.Wong
Talks about:
calculus (4) web (3) synchron (2) deadlock (2) contract (2) analysi (2) theori (2) servic (2) share (2) graph (2)

Person: Cosimo Laneve

DBLP DBLP: Laneve:Cosimo

Contributed to:

PPDP 20152015
SFM 20142014
IFM 20132013
LICS 20102010
QAPL 20092009
ESOP 20062006
FoSSaCS 20062006
FoSSaCS 20052005
ESOP 20032003
ICALP 19991999
ICALP 19971997
TLCA 19951995
LICS 19941994
RTA 19931993
ALP 19921992
PPDP 20162016

Wrote 18 papers:

PPDP-2015-GarciaLL #static analysis
Static analysis of cloud elasticity (AG, CL, ML), pp. 125–136.
SFM-2014-GiachinoL #concurrent #detection #linear #recursion #source code
Deadlock Detection in Linear Recursive Programs (EG, CL), pp. 26–64.
IFM-2013-GiachinoGLLW #analysis #concurrent #theory and practice
Deadlock Analysis of Concurrent Objects: Theory and Practice (EG, CAG, CL, ML, PYHW), pp. 394–411.
IFM-2013-LaneveP #algebra #contract #web #web service
An Algebraic Theory for Web Service Contracts (CL, LP), pp. 301–315.
LICS-2010-LaneveV #power of
The Expressive Power of Synchronizations (CL, AV), pp. 382–391.
QAPL-2009-LanevePZ #probability #process
From Biochemistry to Stochastic Processes (CL, SP, GZ), pp. 167–185.
ESOP-2006-CarpinetiL #contract #web #web service
A Basic Contract Language for Web Services (SC, CL), pp. 197–213.
Smooth Orchestrators (CL, LP), pp. 32–46.
FoSSaCS-2005-LaneveZ #transaction #web
Foundations of Web Transactions (CL, GZ), pp. 282–298.
ESOP-2003-DanosL #biology
Core Formal Molecular Biology (VD, CL), pp. 302–318.
Solos in Concert (CL, BV), pp. 513–523.
ICALP-1997-AspertiL #graph #on the
On the Dynamics of Sharing Graphs (AA, CL), pp. 259–269.
TLCA-1995-AspertiL #graph #λ-calculus
Comparing λ-calculus translations in Sharing Graphs (AA, CL), pp. 1–15.
LICS-1994-AspertiDLR #λ-calculus
Paths in the λ-calculus (AA, VD, CL, LR), pp. 426–436.
RTA-1993-AspertiL #λ-calculus
Paths, Computations and Labels in the λ-Calculus (AA, CL), pp. 152–167.
ALP-1992-LaneveM #axiom #equivalence #permutation #λ-calculus
Axiomatizing Permutation Equivalence in the λ-Calculus (CL, UM), pp. 350–363.
TAPSOFT-1993-AspertiL #interactive #reduction
Optimal Reductions in Interaction Systems (AA, CL), pp. 485–500.
PPDP-2016-GiachinoHLM #exclamation
Actors may synchronize, safely! (EG, LH, CL, VM), pp. 118–131.

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.