Pascal Raymond
Active 1991–2025
- Affiliations
- Centre Inria de l'Université Grenoble AlpesVerimagUniversité Grenoble AlpesThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0003-3876-9125
- 51
- Papers
- 3,354
- Citations
- 20
- h-index
- 31
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science88%
- Biochemistry, Genetics and Molecular Biology7.2%
- Engineering2.4%
- Decision Sciences0.7%
- Business, Management and Accounting0.4%
- Environmental Science0.3%
- Other0.9%
Topics
- Formal Methods in Verification24.5%
- Embedded Systems Design Techniques19.4%
- Real-Time Systems Scheduling11.4%
- Parallel Computing and Optimization Techniques8.1%
- Software Testing and Debugging Techniques6.7%
- Logic, programming, and type systems5.8%
- Other24.1%
Frequent coauthors
- Nicolas Halbwachs19
- Erwan Jahier10
- Claire Maiza7
- Matthieu Moy6
- Paul Caspi6
- Bruno Ferres4
- Catherine Parent-Vigouroux4
- Fabienne Carrier4
- Oussama Oulkaid4
- Yvan Roux4
- Benoît Dupont de Dinechin3
- Christophe Ratel3
- Daniel Zenklusen3
- David Lesens3
- Fabienne Lagnier3
- Gabriel Radanne3
- Ludovic Henrio3
- Marc Pouzet3
- Mihail Asavoae3
- Xavier Nicollin3
- Amaury Graillat2
- Anissa Lamani2
- Daniel Pilaud2
- Florence Maraninchi2
All papers
Loading papers…
