Prizes
- 3 results
Search results
-
ACM SIGSOFT Distinguished Paper Award
Lin, S.-W. (Recipient), Sun, J. (Recipient), Xiao, H. (Recipient), Liu, Y. (Recipient), Sanán, D. (Recipient) & Hansen, H. (Recipient), 2017
Prize: Award or honor granted for a specific work
-
Awards: "Can Stubborn Sets Be Optimal?" by Antti Valmari, Henri Hansen was selected as the Outstanding Paper
Hansen, H. (Recipient), 2010
Prize: Award or honor granted for a specific work
-
Awards: "Old and New Algorithms for Minimal Coverability Sets" by Antti Valmari and Henri Hansen was selected as the Outstanding Paper
Hansen, H. (Recipient), 2012
Prize: Award or honor granted for a specific work