Thierry Gautier

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formal verification of synchronous data-flow program transformations toward certified compilers Frontiers of Computer Science	2019-05-28	Paper
Compositional design of isochronous systems Science of Computer Programming	2012-10-24	Paper
LinBox founding scope allocation, parallel building blocks, and separate compilation Mathematical Software – ICMS 2010	2010-09-14	Paper
scientific article; zbMATH DE number 5722792 (Why is no real title available?)	2010-06-17	Paper
Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications Communications in Computer and Information Science	2009-05-13	Paper
A metamodel for the design of polychronous systems The Journal of Logic and Algebraic Programming	2009-04-29	Paper
Re-scheduling invocations of services for RPC grids Computer Languages, Systems & Structures	2007-04-16	Paper
scientific article; zbMATH DE number 2151219 (Why is no real title available?)	2005-04-04	Paper
scientific article; zbMATH DE number 1860706 (Why is no real title available?)	2003-01-28	Paper
scientific article; zbMATH DE number 1760146 (Why is no real title available?)	2002-11-06	Paper
Design of a multi-formalism application and distribution in a data-flow context: An example	2002-03-25	Paper
scientific article; zbMATH DE number 1487494 (Why is no real title available?)	2000-10-23	Paper
scientific article; zbMATH DE number 1254018 (Why is no real title available?)	1999-05-30	Paper
scientific article; zbMATH DE number 4013999 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3970103 (Why is no real title available?)	1986-01-01	Paper

Research outcomes over time

This page was built for person: Thierry Gautier