Ludovic Henrio

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


This page contains:

Selected Publications (by subject)

Programming languages

Active objects

Futures

Components and application composition

       Distributed Components

Behavioural Specification

Algorithmic Skeletons


Distributed Systems

Fault Tolerance:

Static Analysis and Typing


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


Complete list of publications (by year)

2021


2020



2019

2018



2017




2016


2015


2014



2013


2012

 

2011



2010


2009


2008


2007


2006


2005


2004


2003



before ...