Search results for: Rajeev Alur
Formal Methods in System Design > 2012 > 40 > 2 > 117-120
Formal Methods in System Design > 2012 > 41 > 1 > 1-2
IEEE Transactions on Automatic Control > 2011 > 56 > 10 > 2345 - 2357
Formal Methods in System Design > 2008 > 32 > 3 > 207-234
Journal of Computer and System Sciences > 2007 > 73 > 2 > 156-170
Journal of Logic and Algebraic Programming > 2006 > 68 > 1-2 > 105-128
Theoretical Computer Science > 2006 > 354 > 2 > 230-249
Theoretical Computer Science > 2006 > 354 > 2 > 250-271
Theoretical Computer Science > 2005 > 331 > 1 > 97-114
Formal Methods in System Design > 2005 > 26 > 1 > 7-25
International Journal on Software Tools for Technology Transfer > 2005 > 7 > 2 > 118-128
Theoretical Computer Science > 2004 > 318 > 3 > 297-322
Formal Methods in System Design > 2004 > 24 > 3 > 261-280
International Journal on Software Tools for Technology Transfer > 2004 > 5 > 4 > 308-319
Electronic Notes in Theoretical Computer Science > 2003 > 89 > 4 > 578-592