Please use a larger screen for a better visualization experience (iPad or desktop with width > 800px).
visualization type survey papers isolated papers #papers (nodes)
Question Icon Node filter: only display core nodes of current author (first author or more likely corresponding author).
#citations (edges)
Question Icon Edge filter: only display citation edges more likely to indicate research extensions.
topic similarity year grid node shape
≥0.5 prob.
≥0.5 prob.
≥0.5 prob.

Scholar Info

author Amir Pnueli
h-index 86
#citations 36245
#papers 353
#nodes
#edges
  • 0.5
    0-100
Visualization Guide

Paper List