About
In recent decades, authors affiliated with Verimag have published 423 papers, which have received a total of 7.2k indexed citations.
Scholars at this organization have produced 250 papers in Computational Theory and Mathematics, 159 papers in Hardware and Architecture and 135 papers in Artificial Intelligence on the topics of Formal Methods in Verification (229 papers), Embedded Systems Design Techniques (110 papers) and Real-Time Systems Scheduling (85 papers). Their work is cited by papers focused on Computational Theory and Mathematics (4.6k citations), Artificial Intelligence (2.3k citations) and Hardware and Architecture (2.1k citations). Authors at Verimag collaborate with scholars in
France,
United States and
Germany and have published in prestigious journals including
PLoS ONE,
IEEE Transactions on Automatic Control and
Proceedings of the IEEE. Some of Verimag's most productive authors include
Joseph Sifakis,
Sergio Yovine,
Stavros Tripakis,
Oded Maler,
Marius Bozga,
Xavier Nicollin,
Eugène Asarin,
Thomas A. Henzinger,
Nicolas Halbwachs and
Thao Dang.
This network shows the impact of papers affiliated with Verimag at the time of their publication. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers affiliated with Verimag at the time of their publication.
This map shows the geographic impact of research produced by authors working at Verimag. 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 papers produced at Verimag with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Verimag more than expected).
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.
Explore institutions with similar magnitude of impact
Breakdown of academic impact, for scholars at ABB (Germany) Breakdown of academic impact, for scholars at U.S. Geological Survey, Wetland and Aquatic Research Center Breakdown of academic impact, for scholars at Nagoya Municipal Industrial Research Institute Breakdown of academic impact, for scholars at Yonsei University Dental Hospital Breakdown of academic impact, for scholars at École Nationale de la Statistique et de l'Analyse de l'Information Breakdown of academic impact, for scholars at Central Scientific Research Institute of Tuberculosis Russian Academy of Medical Sciences Breakdown of academic impact, for scholars at Siberian Research Institute of Geology, Geophysics and Mineral Resources Breakdown of academic impact, for scholars at Santissima Trinità