Gérard Berry

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
Computer science thinking	2020-07-31	Paper
Constructive Boolean circuits and the exactness of timed ternary simulation Formal Methods in System Design	2012-09-27	Paper
SCADE: synchronous design and validation of embedded control software Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems	2010-06-02	Paper
Formal Methods in Computer-Aided Design Lecture Notes in Computer Science	2006-10-20	Paper
scientific article; zbMATH DE number 2080750 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1852153 (Why is no real title available?)	2003-01-09	Paper
scientific article; zbMATH DE number 1760143 (Why is no real title available?)	2002-11-06	Paper
The Esterel synchronous programming language: Design, semantics, implementation Science of Computer Programming	1992-12-16	Paper
The chemical abstract machine Theoretical Computer Science	1992-09-26	Paper
scientific article; zbMATH DE number 4082959 (Why is no real title available?)	1988-01-01	Paper
From regular expressions to deterministic automata Theoretical Computer Science	1986-01-01	Paper
scientific article; zbMATH DE number 3967898 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3976319 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 4005580 (Why is no real title available?)	1985-01-01	Paper
Sequential algorithms on concrete data structures Theoretical Computer Science	1982-01-01	Paper
scientific article; zbMATH DE number 3646848 (Why is no real title available?)	1979-01-01	Paper
Minimal and Optimal Computations of Recursive Programs Journal of the ACM	1979-01-01	Paper
scientific article; zbMATH DE number 3594646 (Why is no real title available?)	1978-01-01	Paper

Research outcomes over time

This page was built for person: Gérard Berry