×

zbMATH — the first resource for mathematics

Chaudhuri, Swarat

Compute Distance To:
Author ID: chaudhuri.swarat Recent zbMATH articles by "Chaudhuri, Swarat"
Published as: Chaudhuri, S.; Chaudhuri, Swarat
External Links: MGP · Wikidata
Documents Indexed: 28 Publications since 1997, including 2 Books

Publications by Year

Citations contained in zbMATH

18 Publications have been cited 81 times in 73 Documents Cited by Year
Harvesting as a disease control measure in an eco-epidemiological system – a theoretical study. Zbl 1157.92030
Bairagi, N.; Chaudhuri, S.; Chattopadhyay, J.
23
2009
Model checking on trees with path equivalences. Zbl 1186.68273
Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat
8
2007
A fixpoint calculus for local and global program flows. Zbl 1370.68051
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Languages of nested trees. Zbl 1188.68167
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Epidemics spreading in predator–prey systems. Zbl 1255.92018
Chaudhuri, S.; Costamagna, A.; Venturino, E.
5
2012
Continuity analysis of programs. Zbl 1312.68056
Chaudhuri, Swarat; Gulwani, Sumit; Lublinerman, Roberto
5
2010
A constraint-based approach to solving games on infinite graphs. Zbl 1284.91009
Beyene, Tewodros; Chaudhuri, Swarat; Popeea, Corneliu; Rybalchenko, Andrey
4
2014
Temporal reasoning for procedural programs. Zbl 1273.68078
Alur, Rajeev; Chaudhuri, Swarat
4
2010
On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P.
4
2005
Subcubic algorithms for recursive state machines. Zbl 1295.68142
Chaudhuri, Swarat
3
2008
Regular real analysis. Zbl 1366.03217
Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y.
2
2013
Consistency analysis of decision-making programs. Zbl 1284.68386
Chaudhuri, Swarat; Farzan, Azadeh; Kincaid, Zachary
1
2014
Bridging Boolean and quantitative synthesis using smoothed proof search. Zbl 1284.68169
Chaudhuri, Swarat; Clochard, Martin; Solar-Lezama, Armando
1
2014
Robustness analysis of networked systems. Zbl 1426.68186
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat
1
2013
Ecoepidemics overcoming the species barrier and being subject to harvesting. Zbl 1402.92385
Chaudhuri, S.; Costamagna, A.; Venturino, E.
1
2013
Compression of partially ordered strings. Zbl 1274.68118
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Guha, Sudipto; Yannakakis, Mihalis
1
2003
MRF model-based identification of shift-variant point spread function for a class of imaging systems. Zbl 1023.94509
Rajagopalan, A. N.; Chaudhuri, S.
1
1999
Two-soliton solutions of axially symmetric metrics. Zbl 0867.35108
Chaudhuri, S.; Das, K. C.
1
1997
A constraint-based approach to solving games on infinite graphs. Zbl 1284.91009
Beyene, Tewodros; Chaudhuri, Swarat; Popeea, Corneliu; Rybalchenko, Andrey
4
2014
Consistency analysis of decision-making programs. Zbl 1284.68386
Chaudhuri, Swarat; Farzan, Azadeh; Kincaid, Zachary
1
2014
Bridging Boolean and quantitative synthesis using smoothed proof search. Zbl 1284.68169
Chaudhuri, Swarat; Clochard, Martin; Solar-Lezama, Armando
1
2014
Regular real analysis. Zbl 1366.03217
Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y.
2
2013
Robustness analysis of networked systems. Zbl 1426.68186
Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat
1
2013
Ecoepidemics overcoming the species barrier and being subject to harvesting. Zbl 1402.92385
Chaudhuri, S.; Costamagna, A.; Venturino, E.
1
2013
Epidemics spreading in predator–prey systems. Zbl 1255.92018
Chaudhuri, S.; Costamagna, A.; Venturino, E.
5
2012
Continuity analysis of programs. Zbl 1312.68056
Chaudhuri, Swarat; Gulwani, Sumit; Lublinerman, Roberto
5
2010
Temporal reasoning for procedural programs. Zbl 1273.68078
Alur, Rajeev; Chaudhuri, Swarat
4
2010
Harvesting as a disease control measure in an eco-epidemiological system – a theoretical study. Zbl 1157.92030
Bairagi, N.; Chaudhuri, S.; Chattopadhyay, J.
23
2009
Subcubic algorithms for recursive state machines. Zbl 1295.68142
Chaudhuri, Swarat
3
2008
Model checking on trees with path equivalences. Zbl 1186.68273
Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat
8
2007
A fixpoint calculus for local and global program flows. Zbl 1370.68051
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
Languages of nested trees. Zbl 1188.68167
Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.
8
2006
On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P.
4
2005
Compression of partially ordered strings. Zbl 1274.68118
Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Guha, Sudipto; Yannakakis, Mihalis
1
2003
MRF model-based identification of shift-variant point spread function for a class of imaging systems. Zbl 1023.94509
Rajagopalan, A. N.; Chaudhuri, S.
1
1999
Two-soliton solutions of axially symmetric metrics. Zbl 0867.35108
Chaudhuri, S.; Das, K. C.
1
1997
all top 5

Cited by 177 Authors

4 Khan, Qamar Jalil Ahmed
4 Samanta, Sudip K.
3 Chattopadhyay, Joydev
3 Das, Krishnapada
3 Gurov, Dilian
3 Huisman, Marieke
3 Rybalchenko, Andrey
2 Al-Kharousi, Fatma Ahmed
2 Bairagi, Nandadulal
2 Barthe, Gilles
2 Biswas, Santosh
2 Chatterjee, Krishnendu
2 Chen, Xi
2 Dima, Cătălin
2 Esparza, Javier
2 Finkbeiner, Bernd
2 Greenman, J. V.
2 Guelev, Dimitar P.
2 Gurfinkel, Arie
2 Hu, Zengyun
2 Kupferman, Orna
2 Pal, Nikhil Ranjan
2 Podelski, Andreas
2 Talbot, Jean-Marc
2 Teng, Zhi-dong
2 Venturino, Ezio
1 Abate, Alessandro
1 Abdulghafour, Ahmed Sami
1 Adams, Bryant
1 Al Harthi, Azza Hamood
1 Al-Lawatia, Mohamed
1 Alshomrani, Ali Saleh
1 Alur, Rajeev
1 Alzahrani, Abdullah Khames
1 Aminof, Benjamin
1 Arenas, Marcelo
1 Azgomi, Mohammad Abdollahi
1 Balakrishnan, Easwaran
1 Barceló, Pablo
1 Bessa, Iury
1 Best, Alex
1 Beyer, Dirk
1 Bhattacharyya, Rakhi
1 Biewer, Sebastian
1 Biswas, Santanu
1 Bjørner, Nikolaj S.
1 Bloem, Roderick
1 Bouajjani, Ahmed
1 Bozzelli, Laura
1 Brázdil, Tomáš
1 Chakraborty, Swapan Kumar
1 Chaudhuri, Sanjay
1 Chechik, Marsha
1 Chockler, Hana
1 Cook, Byron
1 Cordeiro, Lucas
1 Cortesi, Agostino
1 Costantini, Giulia
1 Crespo, Juan Manuel
1 Dabaghchian, Maryam
1 D’Argenio, Pedro Rubén
1 David, Cristina
1 Dechesne, Francien
1 Deutch, Daniel
1 Dimitrova, Rayna
1 Din, Qamar
1 Ebrahimi, Masoud
1 Enea, Constantin
1 Ferrara, Pietro
1 Filiot, Emmanuel
1 Fink, Stephen J.
1 Gao, Xubin
1 Gire, Françoise
1 Gorman, Alexi Block
1 Greenhalgh, David
1 Guanciale, Roberto
1 Gulwani, Sumit
1 Hague, Matthew
1 Hall, Peter Gavin
1 He, Mingfeng
1 Hermanns, Holger
1 Hieronymi, Philipp
1 Hong, Younghee
1 Iqbal, Muhammad Asad
1 Ishaque, Waqas
1 Jacobs, Swen
1 Jhala, Ranjit
1 Jia, Chaojun
1 Kanovich, Max Iosifovich
1 Kaplan, Elliot
1 Kartzow, Alexander
1 Kawamura, Akitoshi
1 Kesseli, Pascal
1 Kiefer, Stefan
1 Kim, Choongrak
1 King, Tim
1 Kovács, Máté
1 Kragl, Bernhard
1 Kröning, Daniel
1 Kucera, Antonin
...and 77 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.