Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(340)
Georges Gonthier
10
Ellen M. Sentovich
8
Howard K. Geyer
6
Michael Kishinevsky
5
Albert Benveniste
5
Conferences
(31)
DAC
5
ICCAD
3
POPL
3
CAV
3
ICCAD
3
Journals
(32)
SCP
6
PIEEE
4
Wear
3
ITA
2
FMSD
2
Keywords
(352)
Embed
Subscribe
Academic
Authors
Gerard Berry
Gerard Berry (Gérard Berry),Collège de France,Software Engineering,Hardware & Architecture,Algorithms & Theory
Edit
Gerard Berry (Gérard Berry)
Collège de France
Publications:
161
|
Citations:
4748
Fields:
Software Engineering
,
Hardware & Architecture
,
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
340 co-authors
from 1964 to 2011
|
Cited by
3803 authors
Cumulative
Annual
Sort by:
Publications
(161)
BibTeX
|
RIS
|
RefWorks
Download
Hiphop: a synchronous reactive extension for hop
Gérard Berry
,
Cyprien Nicolas
,
Manuel Serrano
Published in 2011.
Challenges and potential solutions for complex embedded systems
Gerard Berry
Published in 2011.
Le -calcul : réductions, causalité et déterminisme
Gérard Berry
Published in 2009.
Advances in ESL Design
Rajesh Gupta
,
Arvind
,
Gérard Berry
,
Forrest Brewer
Journal:
IEEE Design & Test of Computers - IEEE D&ToC
, vol. 25, no. 6, pp. 520-526, 2008
Esterel Language & Tools Bibliography
Dumitru Potop-Butucaru
,
Stephen A. Edwards
,
Gérard Berry
Published in 2008.
Sort by:
Citations
(4748 times by 3469 publications)
Behavioral interface specification languages
(
Citations: 3
)
John Hatcliff
,
Gary T. Leavens
,
K. Rustan M. Leino
,
Peter Müller
,
Matthew Parkinson
Journal:
ACM Computing Surveys - CSUR
, pp. 1-58, 2012
Life cycle assessment of natural gas combined cycle power plant with post-combustion carbon capture, transport and storage
(
Citations: 4
)
Bhawna Singh
,
Anders H. Strømman
,
Edgar Hertwich
Journal:
International Journal of Greenhouse Gas Control - INT J GREENH GAS CONTROL
, vol. 5, no. 3, pp. 457-466, 2011
Asymptotic properties of sample quantiles of discrete distributions
(
Citations: 2
)
Yanyuan Ma
,
Marc G. Genton
,
Emanuel Parzen
Journal:
Annals of The Institute of Statistical Mathematics - ANN INST STATIST MATH
, vol. 63, no. 2, pp. 227-243, 2011
The F# Asynchronous Programming Model
(
Citations: 3
)
Donald Syme
,
Tomas Petricek
,
Dmitry Lomov
Conference:
Practical Aspects of Declarative Languages - PADL
, pp. 175-189, 2011
Synchronous Game Semantics via Round Abstraction
(
Citations: 2
)
Dan R. Ghica
,
Mohamed N. Menaa
Conference:
Foundations of Software Science and Computation Structure - FoSSaCS
, pp. 350-364, 2011
Comments