Thibaut Balabonski

Available identifiers

zbMath Open balabonski.thibautMaRDI QIDQ1683461

List of research outcomes

Publication	Date of Publication	Type
A strong call-by-need calculus	2023-08-26	Paper
A strong call-by-need calculus	2023-06-23	Paper
On the semantics of polychronous polytimed specifications	2021-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q5111898	2020-05-27	Paper
Synchronous gathering without multiplicity detection: a certified algorithm	2019-11-22	Paper
Synchronous gathering without multiplicity detection: a certified algorithm	2019-06-21	Paper
A symbolic operational semantics for TESL -- with an application to heterogeneous system testing	2017-12-01	Paper
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it	2016-09-29	Paper
A unified approach to fully lazy sharing	2015-09-11	Paper
Weak optimality, and the meaning of sharing	2015-03-30	Paper
Type Soundness and Race Freedom for Mezzo	2014-07-24	Paper
A Geometric Approach to the Problem of Unique Decomposition of Processes	2010-08-31	Paper

Research outcomes over time

This page was built for person: Thibaut Balabonski