Statistics
Publications
32
Citations
8.6K
H-Index
25
Active since
1978
Nicolas Halbwachs is an author at Verimag specializing in computer science, computing, and computer engineering.
Publications per year
1978–2013
32
32
The algorithmic analysis of hybrid systems
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text
Automatic discovery of linear restraints among variables of a program
Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations
The synchronous data flow programming language LUSTRE
Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text
The synchronous languages 12 years later
Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 932 citations · Full text
LUSTRE: a declarative language for real-time programming
P. Caspi, D. Pilaud, Nicolas Halbwachs et al. · 1987 · 557 citations · Full text
1–5 of 32