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
https://portal.mardi4nfdi.de/entity/Q3205212	1979-01-01	Paper
Minimal and Optimal Computations of Recursive Programs	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4160405	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gérard Berry