Edit Profile Chadha, Rohit Compute Distance To: Compute Author ID: chadha.rohit Published as: Chadha, R.; Chadha, Rohit External Links: MGP · Wikidata Documents Indexed: 33 Publications since 2003 all top 5 Co-Authors 0 single-authored 17 Viswanathan, Mahesh 7 Sistla, Aravinda Prasad 3 Kremer, Steve 3 Mateus, Paulo C. 3 Scedrov, Andre 2 Ben, Yue 2 Bonnet, Remi 2 Ciobâcă, Ştefan 2 Madhusudan, Parthasarathy 2 Mitchell, John C. 2 Prasad Sistla, A. 2 Sernadas, Amilcar C. 2 Shmatikov, Vitaly 2 Viswanathan, Ramesh 1 Baltazar, Pedro 1 Bana, Gergei 1 Cheval, Vincent 1 Cruz-Filipe, Luís 1 Eeralla, Ajay Kumar 1 Legay, Axel 1 Macedonio, Damiano 1 Mathur, Umang 1 Okada, Mitsuhiro 1 Prabhakar, Pavithra 1 Sassone, Vladimiro 1 Schwoon, Stefan 1 Sernadas, Cristina S. 1 Sistla Prasad, A. 1 Ummels, Michael all top 5 Serials 3 ACM Transactions on Computational Logic 2 Theoretical Computer Science 2 Logical Methods in Computer Science 1 Journal of Computer and System Sciences 1 Information and Computation 1 Journal of Automated Reasoning 1 Journal of Logic and Computation 1 Journal of the ACM 1 The Journal of Logic and Algebraic Programming 1 International Journal of Quantum Information all top 5 Fields 26 Computer science (68-XX) 7 Information and communication theory, circuits (94-XX) 5 Mathematical logic and foundations (03-XX) 2 Quantum theory (81-XX) 2 Operations research, mathematical programming (90-XX) 1 Probability theory and stochastic processes (60-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 26 Publications have been cited 99 times in 73 Documents Cited by ▼ Year ▼ On the expressiveness and complexity of randomization in finite state monitors. Zbl 1325.68128Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 9 2009 Power of randomization in automata on infinite strings. Zbl 1254.68131Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 8 2009 Automated verification of equivalence properties of cryptographic protocols. Zbl 1352.68148Chadha, Rohit; Ciobâcă, Ştefan; Kremer, Steve 7 2012 A counterexample-guided abstraction-refinement framework for Markov decision processes. Zbl 1351.68154Chadha, Rohit; Viswanathan, Mahesh 7 2010 Contract signing, optimism, and advantage. Zbl 1274.94132Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly 7 2003 Formal analysis of multiparty contract signing. Zbl 1134.94372Chadha, Rohit; Kremer, Steve; Scedrov, Andre 6 2006 Quantum computation tree logic – model checking and complete calculus. Zbl 1151.81305Baltazar, P.; Chadha, R.; Mateus, P. 5 2008 Reasoning about probabilistic sequential programs. Zbl 1121.68028Chadha, R.; Cruz-Filipe, L.; Mateus, P.; Sernadas, A. 5 2007 Reasoning about imperative quantum programs. Zbl 1273.03104Chadha, R.; Mateus, P.; Sernadas, A. 5 2006 Automated verification of equivalence properties of cryptographic protocols. Zbl 1367.68184Chadha, Rohit; Cheval, Vincent; Ciobâcă, Ştefan; Kremer, Steve 4 2016 Probabilistic Büchi automata with non-extremal acceptance thresholds. Zbl 1317.68091Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 4 2011 Least upper bounds for probability measures and their applications to abstractions. Zbl 1160.68436Chadha, Rohit; Viswanathan, Mahesh; Viswanathan, Ramesh 4 2008 Emptiness under isolation and the value problem for hierarchical probabilistic automata. Zbl 06720993Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 3 2017 Extending classical logic for reasoning about quantum systems. Zbl 1273.03172Chadha, Rohit; Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina 3 2009 Reasoning about states of probabilistic sequential programs. Zbl 1225.68112Chadha, R.; Mateus, P.; Sernadas, A. 3 2006 A hybrid intuitionistic logic: semantics and decidability. Zbl 1107.03015Chadha, Rohit; Macedonio, Damiano; Sassone, Vladimiro 3 2006 Decidable and expressive classes of probabilistic automata. Zbl 06487993Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue 2 2015 Computing information flow using symbolic model-checking. Zbl 1360.68359Chadha, Rohit; Mathur, Umang; Schwoon, Stefan 2 2014 Probabilistic automata with isolated cut-points. Zbl 1398.68304Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 2 2013 Reachability under contextual locking. Zbl 1352.68059Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh 2 2012 Power of randomization in automata on infinite strings. Zbl 1237.68111Chadha, Rohit; Sistla Prasad, A.; Viswanathan, Mahesh 2 2011 Decidability results for well-structured transition systems with auxiliary storage. Zbl 1151.68515Chadha, R.; Viswanathan, M. 2 2007 Reachability under contextual locking. Zbl 1274.68064Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P. 1 2013 The complexity of quantitative information flow in recursive programs. Zbl 1354.68055Chadha, Rohit; Ummels, Michael 1 2012 Model checking concurrent programs with nondeterminism and randomization. Zbl 1245.68132Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 1 2010 Contract signing, optimism, and advantage. Zbl 1078.68029Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly 1 2005 Emptiness under isolation and the value problem for hierarchical probabilistic automata. Zbl 06720993Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 3 2017 Automated verification of equivalence properties of cryptographic protocols. Zbl 1367.68184Chadha, Rohit; Cheval, Vincent; Ciobâcă, Ştefan; Kremer, Steve 4 2016 Decidable and expressive classes of probabilistic automata. Zbl 06487993Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue 2 2015 Computing information flow using symbolic model-checking. Zbl 1360.68359Chadha, Rohit; Mathur, Umang; Schwoon, Stefan 2 2014 Probabilistic automata with isolated cut-points. Zbl 1398.68304Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 2 2013 Reachability under contextual locking. Zbl 1274.68064Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P. 1 2013 Automated verification of equivalence properties of cryptographic protocols. Zbl 1352.68148Chadha, Rohit; Ciobâcă, Ştefan; Kremer, Steve 7 2012 Reachability under contextual locking. Zbl 1352.68059Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh 2 2012 The complexity of quantitative information flow in recursive programs. Zbl 1354.68055Chadha, Rohit; Ummels, Michael 1 2012 Probabilistic Büchi automata with non-extremal acceptance thresholds. Zbl 1317.68091Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 4 2011 Power of randomization in automata on infinite strings. Zbl 1237.68111Chadha, Rohit; Sistla Prasad, A.; Viswanathan, Mahesh 2 2011 A counterexample-guided abstraction-refinement framework for Markov decision processes. Zbl 1351.68154Chadha, Rohit; Viswanathan, Mahesh 7 2010 Model checking concurrent programs with nondeterminism and randomization. Zbl 1245.68132Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 1 2010 On the expressiveness and complexity of randomization in finite state monitors. Zbl 1325.68128Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 9 2009 Power of randomization in automata on infinite strings. Zbl 1254.68131Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh 8 2009 Extending classical logic for reasoning about quantum systems. Zbl 1273.03172Chadha, Rohit; Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina 3 2009 Quantum computation tree logic – model checking and complete calculus. Zbl 1151.81305Baltazar, P.; Chadha, R.; Mateus, P. 5 2008 Least upper bounds for probability measures and their applications to abstractions. Zbl 1160.68436Chadha, Rohit; Viswanathan, Mahesh; Viswanathan, Ramesh 4 2008 Reasoning about probabilistic sequential programs. Zbl 1121.68028Chadha, R.; Cruz-Filipe, L.; Mateus, P.; Sernadas, A. 5 2007 Decidability results for well-structured transition systems with auxiliary storage. Zbl 1151.68515Chadha, R.; Viswanathan, M. 2 2007 Formal analysis of multiparty contract signing. Zbl 1134.94372Chadha, Rohit; Kremer, Steve; Scedrov, Andre 6 2006 Reasoning about imperative quantum programs. Zbl 1273.03104Chadha, R.; Mateus, P.; Sernadas, A. 5 2006 Reasoning about states of probabilistic sequential programs. Zbl 1225.68112Chadha, R.; Mateus, P.; Sernadas, A. 3 2006 A hybrid intuitionistic logic: semantics and decidability. Zbl 1107.03015Chadha, Rohit; Macedonio, Damiano; Sassone, Vladimiro 3 2006 Contract signing, optimism, and advantage. Zbl 1078.68029Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly 1 2005 Contract signing, optimism, and advantage. Zbl 1274.94132Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly 7 2003 all cited Publications top 5 cited Publications all top 5 Cited by 142 Authors 9 Chadha, Rohit 6 Chatterjee, Krishnendu 6 Viswanathan, Mahesh 5 Ying, Mingsheng 4 Cheval, Vincent 4 Kremer, Steve 3 Baier, Christel 3 Baltazar, Pedro 3 Delaune, Stéphanie 3 Doyen, Laurent 3 Feng, Yuan 3 Katoen, Joost-Pieter 3 Mateus, Paulo C. 3 Rasga, João 3 Sernadas, Amilcar C. 3 Sernadas, Cristina S. 3 Sistla, Aravinda Prasad 3 Yu, Nengkun 2 Ábrahám, Erika 2 Becker, Bernd 2 Bertrand, Nathalie 2 Dehnert, Christian 2 Desharnais, Josée 2 Größer, Marcus 2 Jansen, Nils 2 Laviolette, François 2 Li, Yangjia 2 Nagarajan, Rajagopal 2 Raman, Vishwanath 2 Touili, Tayssir 2 Turgeon, Amélie 2 Wimmer, Ralf D. 1 Arapinis, Myrto 1 Atig, Mohamed Faouzi 1 Babel, Kushal 1 Backes, Michael 1 Ben, Yue 1 Biondi, Fabrizio 1 Braüner, Torben 1 Bruno-Castañeda, C. 1 Caballero-Gil, Pino 1 Carayol, Arnaud 1 Cassez, Franck 1 Chatzieleftheriou, George 1 Chen, Jianxin 1 Chmelík, Martin 1 Ciobâcă, Ştefan 1 Clarke, Edmund Melson jun. 1 Comon-Lundh, Hubert 1 Cortier, Véronique 1 Cruz-Filipe, Luís 1 Daca, Przemysław 1 Datta, Anupam 1 de Vink, Erik P. 1 Debbabi, Mourad 1 Derek, Ante 1 Devries, Edsko 1 Do Nascimento, José Cláudio 1 Dreier, Jannik 1 Duan, Runyao 1 Duménil, Charles 1 Erbatur, Serdar 1 Fijalkow, Nathanaël 1 Filiot, Emmanuel 1 Galmiche, Didier 1 Gay, Simon J. 1 Gebler, Daniel E. 1 Gimbert, Hugo 1 Gupta, Aarti 1 Guttman, Joshua D. 1 Haddad, Axel 1 Hamadou, Sardaouna 1 Henández-Goya, C. 1 Henzinger, Thomas A. 1 Hirschi, Lucca 1 Horne, Ross 1 Jansen, David N. 1 Kahlon, Vineet 1 Katsaros, Panagiotis 1 Kattenbelt, Mark 1 Kawamoto, Yusuke 1 Kelmendi, Edon 1 Klink, Daniel 1 Klüppelholz, Sascha 1 Koutavas, Vasileios 1 Kwiatkowska, Marta Z. 1 Legay, Axel 1 Liu, Jia 1 Ma, Jianfeng 1 Manna, Zohar 1 Marshall, Andrew M. 1 Meseguer, José 1 Mitchell, John C. 1 Muscholl, Anca 1 Neuhäußer, Martin R. 1 Nguyen, Nam Tuan 1 Norman, Gethin 1 Orzan, Simona 1 Palamidessi, Catuscia 1 Papanikolaou, Nikolaos I. ...and 42 more Authors all top 5 Cited in 18 Serials 8 Theoretical Computer Science 7 Information and Computation 5 Formal Aspects of Computing 4 Formal Methods in System Design 4 ACM Transactions on Computational Logic 3 Journal of Computer and System Sciences 3 Studia Logica 2 Journal of Automated Reasoning 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Information Processing Letters 1 Information Sciences 1 Science of Computer Programming 1 Mathematical and Computer Modelling 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Quantum Information Processing 1 Logica Universalis all top 5 Cited in 10 Fields 58 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 18 Information and communication theory, circuits (94-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Operations research, mathematical programming (90-XX) 4 Probability theory and stochastic processes (60-XX) 4 Quantum theory (81-XX) 2 Statistics (62-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-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.