×

zbMATH — the first resource for mathematics

Chadha, Rohit

Compute Distance To:
Author ID: chadha.rohit Recent zbMATH articles by "Chadha, Rohit"
Published as: Chadha, R.; Chadha, Rohit
External Links: MGP · Wikidata
Documents Indexed: 33 Publications since 2003

Publications by Year

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.68128
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
9
2009
Power of randomization in automata on infinite strings. Zbl 1254.68131
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
8
2009
Automated verification of equivalence properties of cryptographic protocols. Zbl 1352.68148
Chadha, Rohit; Ciobâcă, Ştefan; Kremer, Steve
7
2012
A counterexample-guided abstraction-refinement framework for Markov decision processes. Zbl 1351.68154
Chadha, Rohit; Viswanathan, Mahesh
7
2010
Contract signing, optimism, and advantage. Zbl 1274.94132
Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly
7
2003
Formal analysis of multiparty contract signing. Zbl 1134.94372
Chadha, Rohit; Kremer, Steve; Scedrov, Andre
6
2006
Quantum computation tree logic – model checking and complete calculus. Zbl 1151.81305
Baltazar, P.; Chadha, R.; Mateus, P.
5
2008
Reasoning about probabilistic sequential programs. Zbl 1121.68028
Chadha, R.; Cruz-Filipe, L.; Mateus, P.; Sernadas, A.
5
2007
Reasoning about imperative quantum programs. Zbl 1273.03104
Chadha, R.; Mateus, P.; Sernadas, A.
5
2006
Automated verification of equivalence properties of cryptographic protocols. Zbl 1367.68184
Chadha, Rohit; Cheval, Vincent; Ciobâcă, Ştefan; Kremer, Steve
4
2016
Probabilistic Büchi automata with non-extremal acceptance thresholds. Zbl 1317.68091
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
4
2011
Least upper bounds for probability measures and their applications to abstractions. Zbl 1160.68436
Chadha, Rohit; Viswanathan, Mahesh; Viswanathan, Ramesh
4
2008
Emptiness under isolation and the value problem for hierarchical probabilistic automata. Zbl 06720993
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
3
2017
Extending classical logic for reasoning about quantum systems. Zbl 1273.03172
Chadha, Rohit; Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
3
2009
Reasoning about states of probabilistic sequential programs. Zbl 1225.68112
Chadha, R.; Mateus, P.; Sernadas, A.
3
2006
A hybrid intuitionistic logic: semantics and decidability. Zbl 1107.03015
Chadha, Rohit; Macedonio, Damiano; Sassone, Vladimiro
3
2006
Decidable and expressive classes of probabilistic automata. Zbl 06487993
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue
2
2015
Computing information flow using symbolic model-checking. Zbl 1360.68359
Chadha, Rohit; Mathur, Umang; Schwoon, Stefan
2
2014
Probabilistic automata with isolated cut-points. Zbl 1398.68304
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
2
2013
Reachability under contextual locking. Zbl 1352.68059
Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh
2
2012
Power of randomization in automata on infinite strings. Zbl 1237.68111
Chadha, Rohit; Sistla Prasad, A.; Viswanathan, Mahesh
2
2011
Decidability results for well-structured transition systems with auxiliary storage. Zbl 1151.68515
Chadha, R.; Viswanathan, M.
2
2007
Reachability under contextual locking. Zbl 1274.68064
Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P.
1
2013
The complexity of quantitative information flow in recursive programs. Zbl 1354.68055
Chadha, Rohit; Ummels, Michael
1
2012
Model checking concurrent programs with nondeterminism and randomization. Zbl 1245.68132
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
1
2010
Contract signing, optimism, and advantage. Zbl 1078.68029
Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly
1
2005
Emptiness under isolation and the value problem for hierarchical probabilistic automata. Zbl 06720993
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
3
2017
Automated verification of equivalence properties of cryptographic protocols. Zbl 1367.68184
Chadha, Rohit; Cheval, Vincent; Ciobâcă, Ştefan; Kremer, Steve
4
2016
Decidable and expressive classes of probabilistic automata. Zbl 06487993
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh; Ben, Yue
2
2015
Computing information flow using symbolic model-checking. Zbl 1360.68359
Chadha, Rohit; Mathur, Umang; Schwoon, Stefan
2
2014
Probabilistic automata with isolated cut-points. Zbl 1398.68304
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
2
2013
Reachability under contextual locking. Zbl 1274.68064
Bonnet, Remi; Chadha, Rohit; Viswanathan, Mahesh; Madhusudan, P.
1
2013
Automated verification of equivalence properties of cryptographic protocols. Zbl 1352.68148
Chadha, Rohit; Ciobâcă, Ştefan; Kremer, Steve
7
2012
Reachability under contextual locking. Zbl 1352.68059
Chadha, Rohit; Madhusudan, P.; Viswanathan, Mahesh
2
2012
The complexity of quantitative information flow in recursive programs. Zbl 1354.68055
Chadha, Rohit; Ummels, Michael
1
2012
Probabilistic Büchi automata with non-extremal acceptance thresholds. Zbl 1317.68091
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
4
2011
Power of randomization in automata on infinite strings. Zbl 1237.68111
Chadha, Rohit; Sistla Prasad, A.; Viswanathan, Mahesh
2
2011
A counterexample-guided abstraction-refinement framework for Markov decision processes. Zbl 1351.68154
Chadha, Rohit; Viswanathan, Mahesh
7
2010
Model checking concurrent programs with nondeterminism and randomization. Zbl 1245.68132
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
1
2010
On the expressiveness and complexity of randomization in finite state monitors. Zbl 1325.68128
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
9
2009
Power of randomization in automata on infinite strings. Zbl 1254.68131
Chadha, Rohit; Sistla, A. Prasad; Viswanathan, Mahesh
8
2009
Extending classical logic for reasoning about quantum systems. Zbl 1273.03172
Chadha, Rohit; Mateus, Paulo; Sernadas, Amílcar; Sernadas, Cristina
3
2009
Quantum computation tree logic – model checking and complete calculus. Zbl 1151.81305
Baltazar, P.; Chadha, R.; Mateus, P.
5
2008
Least upper bounds for probability measures and their applications to abstractions. Zbl 1160.68436
Chadha, Rohit; Viswanathan, Mahesh; Viswanathan, Ramesh
4
2008
Reasoning about probabilistic sequential programs. Zbl 1121.68028
Chadha, R.; Cruz-Filipe, L.; Mateus, P.; Sernadas, A.
5
2007
Decidability results for well-structured transition systems with auxiliary storage. Zbl 1151.68515
Chadha, R.; Viswanathan, M.
2
2007
Formal analysis of multiparty contract signing. Zbl 1134.94372
Chadha, Rohit; Kremer, Steve; Scedrov, Andre
6
2006
Reasoning about imperative quantum programs. Zbl 1273.03104
Chadha, R.; Mateus, P.; Sernadas, A.
5
2006
Reasoning about states of probabilistic sequential programs. Zbl 1225.68112
Chadha, R.; Mateus, P.; Sernadas, A.
3
2006
A hybrid intuitionistic logic: semantics and decidability. Zbl 1107.03015
Chadha, Rohit; Macedonio, Damiano; Sassone, Vladimiro
3
2006
Contract signing, optimism, and advantage. Zbl 1078.68029
Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly
1
2005
Contract signing, optimism, and advantage. Zbl 1274.94132
Chadha, Rohit; Mitchell, John C.; Scedrov, Andre; Shmatikov, Vitaly
7
2003
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

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.