Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies
if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the
same subfield and year (this is the minimum needed to enter the top 1%, not the average
within it), or reaches the top citation threshold in at least one of its specific research
topics.
The algorithmic analysis of hybrid systems
1995991 citationsRajeev Alur, Costas Courcoubetis et al.Theoretical Computer Scienceprofile →
The synchronous data flow programming language LUSTRE
1991826 citationsNicolas Halbwachs, P. Caspi et al.Proceedings of the IEEEprofile →
Automatic discovery of linear restraints among variables of a program
1978682 citationsNicolas Halbwachs et al.profile →
The synchronous languages 12 years later
2003528 citationsAlbert Benveniste, P. Caspi et al.Proceedings of the IEEEprofile →
Peers — A (Enhanced Table)
Peers by citation overlap · career bar shows stage (early→late)
cites ·
hero ref
Countries citing papers authored by Nicolas Halbwachs
Since
Specialization
Citations
This map shows the geographic impact of Nicolas Halbwachs's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Nicolas Halbwachs with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Nicolas Halbwachs more than expected).
Fields of papers citing papers by Nicolas Halbwachs
This network shows the impact of papers produced by Nicolas Halbwachs. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Nicolas Halbwachs. The network helps show where Nicolas Halbwachs may publish in the future.
Co-authorship network of co-authors of Nicolas Halbwachs
This figure shows the co-authorship network connecting the top 25 collaborators of Nicolas Halbwachs.
A scholar is included among the top collaborators of Nicolas Halbwachs based on the total number of
citations received by their joint publications. Widths of edges
represent the number of papers authors have co-authored together.
Node borders
signify the number of papers an author published with Nicolas Halbwachs. Nicolas Halbwachs is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
All Works
20 of 20 papers shown
1.
Chakraborty, Samarjit & Nicolas Halbwachs. (2009). Proceedings of the seventh ACM international conference on Embedded software.1 indexed citations
2.
Halbwachs, Nicolas, et al.. (2008). Synchronous modeling and validation of schedulers dealing with shared resources 1.1 indexed citations
3.
Gonnord, Laure & Nicolas Halbwachs. (2006). Combining Widening and Acceleration in Linear Relation Analysis.6 indexed citations
4.
Halbwachs, Nicolas & Lenore D. Zuck. (2005). Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings. Springer eBooks.2 indexed citations
Halbwachs, Nicolas & Lenore D. Zuck. (2005). Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems.16 indexed citations
7.
Benveniste, Albert, P. Caspi, Stephen A. Edwards, et al.. (2003). The synchronous languages 12 years later. Proceedings of the IEEE. 91(1). 64–83.528 indexed citations breakdown →
8.
Halbwachs, Nicolas & Doron Peled. (1999). Proceedings of the 11th International Conference on Computer Aided Verification.37 indexed citations
9.
Halbwachs, Nicolas. (1998). Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography.11 indexed citations
Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, et al.. (1995). The algorithmic analysis of hybrid systems. Theoretical Computer Science. 138(1). 3–34.991 indexed citations breakdown →
12.
Halbwachs, Nicolas, et al.. (1993). An executable temporal logic to express safety properties and its connection with the language Lustre. SPIRE - Sciences Po Institutional REpository.2 indexed citations
13.
Halbwachs, Nicolas. (1993). A TUTORIAL OF LUSTRE.5 indexed citations
Bouajjani, Ahmed, J. C. Fernandez, Nicolas Halbwachs, Pascal Raymond, & Christophe Ratel. (1992). Minimal state graph generation. Science of Computer Programming. 18(3). 247–269.50 indexed citations
16.
Halbwachs, Nicolas, P. Caspi, Pascal Raymond, & D. Pilaud. (1991). The synchronous data flow programming language LUSTRE. Proceedings of the IEEE. 79(9). 1305–1320.826 indexed citations breakdown →
Caspi, Paul, et al.. (1985). Outline of a Real Time Data Flow Language.. OpenGrey (Institut de l'Information Scientifique et Technique). 33–42.20 indexed citations
19.
Caspi, Paul & Nicolas Halbwachs. (1985). An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. 40–46.4 indexed citations
20.
Caspi, Paul & Nicolas Halbwachs. (1982). Algebra of events: a model for parallel and real time systems.. Proceedings of the International Conference on Parallel Processing. 150–159.4 indexed citations
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive
bibliographic database. While OpenAlex provides broad and valuable coverage of the global
research landscape, it—like all bibliographic datasets—has inherent limitations. These include
incomplete records, variations in author disambiguation, differences in journal indexing, and
delays in data updates. As a result, some metrics and network relationships displayed in
Rankless may not fully capture the entirety of a scholar's output or impact.