Daniel Gebler

Active 2012–2025

26
Papers
293
Citations
12
h-index
14
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Daniel Gebler2012: 1 citations2013: 1 citations2014: 15 citations2015: 15 citations2016: 22 citations2017: 37 citations2018: 37 citations2019: 42 citations2020: 21 citations2021: 20 citations2022: 10 citations2023: 17 citations2024: 2 citations2025: 1 citations2026: 2 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.

Fields

  • Computer Science90.6%
  • Engineering3.9%
  • Physics and Astronomy1.6%
  • Biochemistry, Genetics and Molecular Biology0.8%
  • Business, Management and Accounting0.8%
  • Earth and Planetary Sciences0.8%
  • Other1.6%

Topics

  • Formal Methods in Verification25.4%
  • Logic, Reasoning, and Knowledge19%
  • Logic, programming, and type systems17.2%
  • Advanced Software Engineering Methodologies5.6%
  • Advanced Algebra and Logic5.6%
  • Semantic Web and Ontologies3.4%
  • Other23.9%

Frequent coauthors

All papers

Loading papers…

Daniel Gebler | Litlas