Citation Impact

3 standout
Sub-graph 1 of 2

Citing Papers

Prognostics and health management: A review from the perspectives of design, development and decision
2021 Standout
A Survey on Access Control in the Age of Internet of Things
2020 Standout
2 intermediate papers

Works of Thomas Kröpf being referenced

Introduction to Formal Hardware Verification: Methods and Tools for Designing Correct Circuits and Systems
1999

Author Peers

Author CTM HA Software Last Decade Papers Cites
Thomas Kröpf 83 52 40 28 123
Simon Hatch 3 9 445
Anne Kunath 2 18 462
Fevzi Polat 4 6 330
Janett Göhring 17 423
Joan Malmstrøm 4 36 830

All Works

Loading papers...

Rankless by CCL
2026