☰

Swarat Chaudhuri, Ph.D. - Publications

Affiliations: 
2007 University of Pennsylvania, Philadelphia, PA, United States 
Area:
Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and Complexity
Tree Info Similar researchers PubMed Report error

1 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2011 Alur R, Chaudhuri S, Madhusudan P. Software model checking using languages of nested trees Acm Transactions On Programming Languages and Systems. 33. DOI: 10.1145/2039346.2039347  0.419
Show low-probability matches.