127
Publications
14.3K
Citations
49
H-Index
1980
Active since
Albert Benveniste is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringSystems EngineeringComputer ScienceSignal ProcessingFormal MethodsFormal VerificationComputer EngineeringSystem IdentificationSystem SoftwareDistributed Systems
Publications per year
1980–2020
127
127
The synchronous languages 12 years later
Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 922 citations · Full text
Rows per page
1–5 of 127