Statistics
Publications
10
Citations
3.7K
H-Index
10
Active since
1990
Affiliations
Verimag(Current)
Xavier Nicollin is an author at Verimag specializing in computer science, timed automata, and computing.
Publications per year
1990–2007
10
10
The algorithmic analysis of hybrid systems
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text
Symbolic Model Checking for Real-Time Systems
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text
Symbolic model checking for real-time systems
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · 2003 · 300 citations
1–5 of 10