Edit Profile Chaudhuri, Swarat Compute Distance To: Compute Author ID: chaudhuri.swarat Published as: Chaudhuri, S.; Chaudhuri, Swarat External Links: MGP · Wikidata Documents Indexed: 28 Publications since 1997, including 2 Books all top 5 Co-Authors 1 single-authored 8 Alur, Rajeev 3 Farzan, Azadeh 3 Madhusudan, Parthasarathy 2 Deshmukh, Jyotirmoy V. 2 Etessami, Kousha 2 Samanta, Roopsha 2 Vardi, Moshe Y. 1 Bansal, Suguman 1 Beyene, Tewodros 1 Černý, Pavol 1 Clochard, Martin 1 Guha, Sudipto 1 Gulwani, Sumit 1 Hasuo, Ichiro 1 Kido, Kengo 1 Kincaid, Zachary 1 Lublinerman, Roberto 1 Popeea, Corneliu Alexandru 1 Rybalchenko, Andrey 1 Sankaranarayanan, Sriram 1 Solar-Lezama, Armando 1 Yannakakis, Mihalis Serials 2 Lecture Notes in Computer Science Fields 19 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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.92030Bairagi, N.; Chaudhuri, S.; Chattopadhyay, J. 23 2009 Model checking on trees with path equivalences. Zbl 1186.68273Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat 8 2007 A fixpoint calculus for local and global program flows. Zbl 1370.68051Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 8 2006 Languages of nested trees. Zbl 1188.68167Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 8 2006 Epidemics spreading in predator–prey systems. Zbl 1255.92018Chaudhuri, S.; Costamagna, A.; Venturino, E. 5 2012 Continuity analysis of programs. Zbl 1312.68056Chaudhuri, Swarat; Gulwani, Sumit; Lublinerman, Roberto 5 2010 A constraint-based approach to solving games on infinite graphs. Zbl 1284.91009Beyene, Tewodros; Chaudhuri, Swarat; Popeea, Corneliu; Rybalchenko, Andrey 4 2014 Temporal reasoning for procedural programs. Zbl 1273.68078Alur, Rajeev; Chaudhuri, Swarat 4 2010 On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P. 4 2005 Subcubic algorithms for recursive state machines. Zbl 1295.68142Chaudhuri, Swarat 3 2008 Regular real analysis. Zbl 1366.03217Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. 2 2013 Consistency analysis of decision-making programs. Zbl 1284.68386Chaudhuri, Swarat; Farzan, Azadeh; Kincaid, Zachary 1 2014 Bridging Boolean and quantitative synthesis using smoothed proof search. Zbl 1284.68169Chaudhuri, Swarat; Clochard, Martin; Solar-Lezama, Armando 1 2014 Robustness analysis of networked systems. Zbl 1426.68186Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat 1 2013 Ecoepidemics overcoming the species barrier and being subject to harvesting. Zbl 1402.92385Chaudhuri, S.; Costamagna, A.; Venturino, E. 1 2013 Compression of partially ordered strings. Zbl 1274.68118Alur, 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.94509Rajagopalan, A. N.; Chaudhuri, S. 1 1999 Two-soliton solutions of axially symmetric metrics. Zbl 0867.35108Chaudhuri, S.; Das, K. C. 1 1997 A constraint-based approach to solving games on infinite graphs. Zbl 1284.91009Beyene, Tewodros; Chaudhuri, Swarat; Popeea, Corneliu; Rybalchenko, Andrey 4 2014 Consistency analysis of decision-making programs. Zbl 1284.68386Chaudhuri, Swarat; Farzan, Azadeh; Kincaid, Zachary 1 2014 Bridging Boolean and quantitative synthesis using smoothed proof search. Zbl 1284.68169Chaudhuri, Swarat; Clochard, Martin; Solar-Lezama, Armando 1 2014 Regular real analysis. Zbl 1366.03217Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. 2 2013 Robustness analysis of networked systems. Zbl 1426.68186Samanta, Roopsha; Deshmukh, Jyotirmoy V.; Chaudhuri, Swarat 1 2013 Ecoepidemics overcoming the species barrier and being subject to harvesting. Zbl 1402.92385Chaudhuri, S.; Costamagna, A.; Venturino, E. 1 2013 Epidemics spreading in predator–prey systems. Zbl 1255.92018Chaudhuri, S.; Costamagna, A.; Venturino, E. 5 2012 Continuity analysis of programs. Zbl 1312.68056Chaudhuri, Swarat; Gulwani, Sumit; Lublinerman, Roberto 5 2010 Temporal reasoning for procedural programs. Zbl 1273.68078Alur, Rajeev; Chaudhuri, Swarat 4 2010 Harvesting as a disease control measure in an eco-epidemiological system – a theoretical study. Zbl 1157.92030Bairagi, N.; Chaudhuri, S.; Chattopadhyay, J. 23 2009 Subcubic algorithms for recursive state machines. Zbl 1295.68142Chaudhuri, Swarat 3 2008 Model checking on trees with path equivalences. Zbl 1186.68273Alur, Rajeev; Černý, Pavol; Chaudhuri, Swarat 8 2007 A fixpoint calculus for local and global program flows. Zbl 1370.68051Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 8 2006 Languages of nested trees. Zbl 1188.68167Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P. 8 2006 On-the-fly reachability and cycle detection for recursive state machines. Zbl 1087.68581Alur, Rajeev; Chaudhuri, Swarat; Etessami, Kousha; Madhusudan, P. 4 2005 Compression of partially ordered strings. Zbl 1274.68118Alur, 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.94509Rajagopalan, A. N.; Chaudhuri, S. 1 1999 Two-soliton solutions of axially symmetric metrics. Zbl 0867.35108Chaudhuri, S.; Das, K. C. 1 1997 all cited Publications top 5 cited Publications 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 all top 5 Cited in 39 Serials 3 Acta Informatica 3 Formal Methods in System Design 3 Nonlinear Analysis. Real World Applications 3 International Journal of Biomathematics 2 Mathematical Methods in the Applied Sciences 2 Chaos, Solitons and Fractals 2 Journal of Computer and System Sciences 2 Theoretical Computer Science 2 Information and Computation 2 Theory of Computing Systems 2 Advances in Difference Equations 2 Journal of Theoretical Biology 2 Journal of Logical and Algebraic Methods in Programming 1 General Relativity and Gravitation 1 Information Processing Letters 1 Bulletin of Mathematical Biology 1 The Annals of Statistics 1 Applied Mathematics and Computation 1 Synthese 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Journal of Applied Non-Classical Logics 1 Computational and Applied Mathematics 1 Differential Equations and Dynamical Systems 1 Nonlinear Dynamics 1 Abstract and Applied Analysis 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Biological Systems 1 International Game Theory Review 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Computer Languages, Systems & Structures 1 Journal of the Korean Statistical Society 1 Computational & Mathematical Methods in Medicine 1 Logical Methods in Computer Science 1 Mathematical Modelling of Natural Phenomena 1 International Journal of Differential Equations 1 Journal of the Korean Society for Industrial and Applied Mathematics 1 Cogent Mathematics all top 5 Cited in 14 Fields 42 Computer science (68-XX) 25 Biology and other natural sciences (92-XX) 17 Ordinary differential equations (34-XX) 14 Mathematical logic and foundations (03-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Difference and functional equations (39-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) 1 Partial differential equations (35-XX) 1 Relativity and gravitational theory (83-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) 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.