Gérard Berry

Available identifiers

zbMath Open berry.gerardMaRDI QIDQ453538

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3304401	2020-07-31	Paper
Constructive Boolean circuits and the exactness of timed ternary simulation	2012-09-27	Paper
SCADE: Synchronous Design and Validation of Embedded Control Software	2010-06-02	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4473705	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4787220	2003-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4537129	2002-11-06	Paper
The Esterel synchronous programming language: Design, semantics, implementation	1992-12-16	Paper
The chemical abstract machine	1992-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q3813288	1988-01-01	Paper
From regular expressions to deterministic automata	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3735065	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3741042	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3756499	1985-01-01	Paper
Sequential algorithms on concrete data structures	1982-01-01	Paper
Minimal and Optimal Computations of Recursive Programs	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3205212	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4160405	1978-01-01	Paper

Research outcomes over time

This page was built for person: Gérard Berry