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 × Cyprus
1 × Italy
1 × Portugal
1 × South Africa
1 × Sweden
1 × USA
1 × United Kingdom
1 × Vietnam
2 × France
Collaborated with:
C.A.Mezzina G.Zavattaro A.Schmitt E.Giachino J.A.Pérez D.Sangiorgi L.Bedogni M.D.Felice C.Vaz C.Ferreira F.Tiezzi C.Guidi F.Montesi F.Martins V.T.Vasconcelos A.Ravara M.D.Preda S.Giallorenzo J.Mauro M.Gabbrielli M.Lienhardt J.Stefani
Talks about:
process (4) express (3) revers (3) synchron (2) consist (2) calculi (2) orient (2) higher (2) causal (2) order (2)

Person: Ivan Lanese

DBLP DBLP: Lanese:Ivan

Contributed to:

PDP 20152015
FASE 20142014
SLE 20142014
ESOP 20132013
SAC 20132013
ESOP 20102010
ICALP (2) 20102010
SEFM 20092009
LICS 20082008
SEFM 20082008
SEFM 20072007
GT-VMT 20062008

Wrote 12 papers:

Causal-Consistent Reversibility in a Tuple-Based Language (EG, IL, CAM, FT), pp. 467–475.
FASE-2014-GiachinoLM #debugging
Causal-Consistent Reversible Debugging (EG, IL, CAM), pp. 370–384.
SLE-2014-PredaGLMG #adaptation #distributed #framework #named
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
ESOP-2013-LaneseLMSS #concurrent #flexibility
Concurrent Flexible Reversibility (IL, ML, CAM, AS, JBS), pp. 370–390.
SAC-2013-LaneseBF #approach #calculus #internet #process
Internet of things: a process calculus approach (IL, LB, MDF), pp. 1339–1346.
ESOP-2010-LaneseVF #on the #power of
On the Expressive Power of Primitives for Compensation Handling (IL, CV, CF), pp. 366–386.
ICALP-v2-2010-LanesePSS #calculus #communication #higher-order #on the #process
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 442–453.
SEFM-2009-LaneseZ #programming
Programming Sagas in SOCK (IL, GZ), pp. 189–198.
LICS-2008-LanesePSS #calculus #decidability #higher-order #on the #process
On the Expressiveness and Decidability of Higher-Order Process Calculi (IL, JAP, DS, AS), pp. 145–155.
Bridging the Gap between Interaction- and Process-Oriented Choreographies (IL, CG, FM, GZ), pp. 323–332.
SEFM-2007-LaneseMVR #distributed
Disciplining Orchestration and Conversation in Service-Oriented Computing (IL, FM, VTV, AR), pp. 305–314.
GT-VMT-2006-Lanese08 #graph transformation
Exploiting User-definable Synchronizations in Graph Transformation (IL), pp. 27–38.

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.