«
»

Publication list

5 December 2012, 10:56

 

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.

 

Reference

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

VN:F [1.9.10_1130]
Rating: 9.0/10 (6 votes cast)
VN:F [1.9.10_1130]
Rating: +3 (from 3 votes)
Publication list, 9.0 out of 10 based on 6 ratings
Be Sociable, Share!
Tags:
Category: Administrative, Publications, Software engineering  |  Comment (RSS)

Leave a Reply

You must be logged in to post a comment.