Dejan Nickovic
Active 2004–2026
- Affiliations
- VerimagAustrian Institute of TechnologyThis 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-5468-0396
- Also published as
- Dejan Ničković
- 129
- Papers
- 3,982
- Citations
- 28
- h-index
- 53
- 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 Science81.2%
- Engineering12.4%
- Biochemistry, Genetics and Molecular Biology2%
- Decision Sciences1.4%
- Social Sciences0.5%
- Medicine0.5%
- Other2%
Topics
- Formal Methods in Verification35.2%
- Software Testing and Debugging Techniques10.8%
- Model-Driven Software Engineering Techniques7.7%
- Logic, programming, and type systems7%
- Software Reliability and Analysis Research6.5%
- Embedded Systems Design Techniques4.7%
- Other28.1%
Frequent coauthors
- Ezio Bartocci46
- Oded Maler22
- Radu Grosu21
- Cristinel Mateis19
- Thomas Ferrère15
- Thomas A. Henzinger13
- Roderick Bloem11
- Stefan Jaksic10
- Niveditha Manjunath9
- Jyotirmoy Deshmukh8
- Leonardo Mariani8
- Amir Pnueli7
- Edgar A. Aguilar7
- Alessio Gambi6
- Ana Oliveira da Costa6
- Dogan Ulus6
- Thang Nguyen 00076
- Alexandre Donzé5
- Bernhard K. Aichernig5
- Christoph Schmittner5
- Eleonora Nesterini5
- Eugene Asarin5
- Florian Lorber5
- Jyotirmoy V. Deshmukh5
All papers
Loading papers…
