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
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 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
- Simone Tini9
- Matias David Lee4
- Pedro R. D'Argenio4
- Valentina Castiglioni3
- Marco Bernardo 00012
- Michele Loreti2
- Wenjie Du 00012
- Yuxin Deng 00012
- Andrea Turrini1
- Catuscia Palamidessi1
- Christian Dehnert1
- David N. Jansen1
- Dennis Guck1
- Eugen-Ioan Goriac1
- Florian Arnold1
- Hassan Hatefi1
- Kim G. Larsen1
- Kim Guldstrand Larsen1
- Kirstin Peters1
- Konstantinos Chatzikokolakis 00011
- Krzysztof Szoszkiewicz1
- Lili Xu1
- Marek Gielczewski1
- Mateusz Grygoruk1
All papers
Loading papers…
