Clément Aubert
Active 2011–2026
- Affiliations
- Augusta University HealthAugusta UniversityCentre National de la Recherche ScientifiqueUniversité Paris CitéEmbedded Systems (United States)Laboratoire d'Algorithmique, Complexité et LogiqueThis 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-0001-6346-3043
- 45
- Papers
- 189
- Citations
- 7
- h-index
- 6
- 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.5%
- Biochemistry, Genetics and Molecular Biology4.9%
- Engineering3.3%
- Arts and Humanities1.6%
- Environmental Science1.6%
Topics
- Logic, programming, and type systems27%
- Formal Methods in Verification18.2%
- Logic, Reasoning, and Knowledge11.5%
- Distributed systems and fault tolerance10.8%
- Computability, Logic, AI Algorithms9.5%
- semigroups and automata theory4.1%
- Other18.9%
Frequent coauthors
- Thomas Seiller13
- Neea Rusch7
- Thomas Rubiano7
- Ioana Cristescu5
- Marc Bagnol5
- Christian Johansen3
- Cinzia Di Giusto3
- Iain Phillips 00013
- Irek Ulidowski3
- Ross Horne3
- Doriana Medic2
- Larisa Safina2
- Simon Fowler 00012
- Aix Marseille Université1
- Alceste Scalas1
- C. J. Tran1
- Christophe Galkowski1
- Cyril Berquier1
- Daniele Varacca1
- E. Andrew Balas1
- Jean Krivine1
- Luca Roversi1
- Marie-Cecile ANDREI-RUIZ1
- Noah Sleeper1
All papers
Loading papers…
