On-line verification of initial-state opacity by Petri nets and integer linear programming
Distribution of the number of citations over years.