Abhik Roychoudhury

Associate Professor
School of Computing
National University of Singapore

abhik at comp dot nus dot edu dot sg

 

 

 


 

Selected Publications

 


 

Full Publication List

 


 

Publications categorized by topics

Software Modeling and Validation

 

Design Tools for Embedded Systems (mostly Timing Analysis)

 

PhD Work on combining Model Checking and Induction


Other Relevant Data

Partial Citations from Google Scholar

Partial Publication List from DBLP Bibliography Server

My h-index is 18; h-index is the max h, such that h papers with at least h citations.


 

Last updated 21 June 2008.