Searching for authors named "Swarat Chaudhuri" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Languages of nested trees
- …Languages of Nested Trees ⋆ Rajeev Alur 1 , Swarat Chaudhuri 1 , and P. Madhusudan 2 1 University…
- Cited by 4 (0 self) – Add To MetaCart
-
Programming with Sociable Resources
- …Programming with Sociable Resources Swarat Chaudhuri Pennsylvania State University University Park…
- Add To MetaCart
-
R.: Instrumenting C programs with nested word monitors
- …Instrumenting C programs with Nested Word Monitors ⋆ 1 Introduction Swarat Chaudhuri and Rajeev…
- Cited by 3 (1 self) – Add To MetaCart
-
Model Checking on Trees with Path Equivalences ⋆
- …Model Checking on Trees with Path Equivalences ⋆ Rajeev Alur, Pavol Čern´y, and Swarat Chaudhuri…
- Cited by 1 (0 self) – Add To MetaCart
-
Graduate Group ChairpersonFor my parents, Drs. Asru and Jayasri Chaudhuri ii Acknowledgements
- …LOGICS AND ALGORITHMS FOR SOFTWARE MODEL CHECKING Swarat Chaudhuri A DISSERTATION in Computer…
- Add To MetaCart
-
Onthe-fly reachability and cycle detection for recursive state machines
- …On-the-Fly Reachability and Cycle Detection for Recursive State Machines ⋆ Rajeev Alur 1 , Swarat…
- Cited by 4 (0 self) – Add To MetaCart
-
Compression of partially ordered strings
- …Compression of Partially Ordered Strings Rajeev Alur 1 , Swarat Chaudhuri 1 , Kousha Etessami 2…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 7.
