Publication list


I have updated my publication list [1] to include recently published and accepted papers, and some ongoing work. Most of the papers are collaborative, reflecting the work of our ETH and ITMO groups on verification, concurrency and methodology.



[1] Publication list, available here (in various formats).

VN:F [1.9.10_1130]
Rating: 8.8/10 (5 votes cast)
VN:F [1.9.10_1130]
Rating: +2 (from 2 votes)
Publication list, 8.8 out of 10 based on 5 ratings
Be Sociable, Share!

Leave a Reply

You must be logged in to post a comment.