Tristan Le Gall

Available identifiers

zbMath Open le-gall.tristanMaRDI QIDQ434468

List of research outcomes

Publication	Date of Publication	Type
Symbolic Supervisory Control of Distributed Systems With Communications	2017-05-16	Paper
Static Analysis of Communicating Processes Using Symbolic Transducers	2017-02-21	Paper
Safety Verification of Communicating One-Counter Machines	2017-01-26	Paper
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations	2014-07-22	Paper
A Completion Algorithm for Lattice Tree Automata	2013-08-07	Paper
Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation	2012-07-10	Paper
Decentralized control of infinite systems	2011-11-08	Paper
Lattice-Valued Binary Decision Diagrams	2010-10-04	Paper
Iterated Regret Minimization in Game Graphs	2010-09-03	Paper
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues	2009-04-28	Paper
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification	2009-03-03	Paper

Research outcomes over time

This page was built for person: Tristan Le Gall