Alexandre David
Active 2000–2025
- 111
- Papers
- 7,866
- Citations
- 41
- h-index
- 81
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 citations) is not shown (dated before this author's first paper)
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 Science68.4%
- Biochemistry, Genetics and Molecular Biology16.9%
- Medicine5.1%
- Engineering4.7%
- Decision Sciences1%
- Business, Management and Accounting1%
- Other2.9%
Topics
- Formal Methods in Verification29.1%
- Real-Time Systems Scheduling8.7%
- Software Testing and Debugging Techniques8.4%
- Model-Driven Software Engineering Techniques7.8%
- Petri Nets in System Modeling7.3%
- Software Reliability and Analysis Research6.8%
- Other32%
Frequent coauthors
- Kim Guldstrand Larsen36
- Kim G. Larsen32
- Axel Legay30
- Marius Mikucionis26
- Gerd Behrmann13
- Ulrik Nyman13
- Danny Bøgsted Poulsen12
- Paul Pettersson11
- Arne Skou10
- Andrzej Wasowski8
- Didier Lime8
- Jonathan W. Yewdell8
- Peter E. Bulychev8
- Brian Nielsen7
- Abdeldjalil Boudjadar6
- Aurore Attina6
- Christophe Hirtz6
- Jin Hyun Kim6
- Shuhao Li6
- Wang Yi6
- Wang Yi 00016
- Éric Rivals6
- Amandine Bastide5
- Franck Cassez5
All papers
Loading papers…
