litlas
Log inCreate account

Dimitri Ara

Active 2011–2025

Affiliations
Institut de Mathématiques de MarseilleThis 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-0002-8025-9236
5
Papers
160
Citations
4
h-index
2
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Dimitri Ara2011: 3 citations2012: 5 citations2013: 1 citations2014: 6 citations2015: 8 citations2016: 4 citations2017: 1 citations2018: 3 citations2019: 1 citations2020: 2 citations2023: 1 citations2024: 1 citations2025: 2 citations2021–2022: no citations, so these years are not shown
  • 19 years (60 citations) are 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 Science85.6%
  • Biochemistry, Genetics and Molecular Biology5.2%
  • Mathematics4.1%
  • Social Sciences2.1%
  • Agricultural and Biological Sciences1%
  • Arts and Humanities1%
  • Other1%

Topics

  • Logic, programming, and type systems27.3%
  • Formal Methods in Verification18.6%
  • Logic, Reasoning, and Knowledge12.7%
  • Model-Driven Software Engineering Techniques8.6%
  • Parallel Computing and Optimization Techniques5%
  • semigroups and automata theory4.1%
  • Other23.6%

Frequent coauthors

All papers

Open in search

Loading papers…