Ludovic Henrio

Home     |     Publications     |     Talks     |     Students     |     Projects      |     Formal proofs

Feb 2013: This web page has moved THERE

This page contains:

Selected Publications (by subject)

Distributed Objects and Components

Distributed Objects: Theory and Languages

       Distributed Components

Behavioural Specification

Algorithmic Skeletons


Distributed Systems

Fault Tolerance:

Static Analysis


The interested reader can also find an overview of my works since my PhD in my Habilitation thesis (HDR) Thesis manuscript.


Complete list of publications (by year)

2013


2012

 

2011



2010


2009


2008




2007


2006


2005


2004


2003



before ...