T. Kropf - Citegraph

Author Info

Name	Affiliation	Papers
T. KROPF	Dept. of Comput. Eng., Tubingen Univ., Germany	3
Collaborators	Citations	PageRank
8	4	1.06
Referers	Referees	References
14	72	33

Publications (3 rows)

Collaborators (8 rows)

Referers (14 rows)

Referees (72 rows)

Title	Citations	PageRank	Year
Overlap reduction in symbolic system traversal	1	0.35	2005
Dynamic guiding of bounded property checking	3	0.37	2004
A hardware implementation of a modified DES-algorithm	0	0.34	1990

1