dblp.uni-trier.dewww.uni-trier.de

Rohit Chadha Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
18EERohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: Power of Randomization in Automata on Infinite Strings. CONCUR 2009: 229-243
17EERohit Chadha, Stéphanie Delaune, Steve Kremer: Epistemic Logic for the Applied Pi Calculus. FMOODS/FORTE 2009: 182-197
16EERohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: On the expressiveness and complexity of randomization in finite state monitors. J. ACM 56(5): (2009)
2008
15EERohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan: Least Upper Bounds for Probability Measures and Their Applications to Abstractions. CONCUR 2008: 264-278
14EERohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan: Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS 2008: 39-58
13EERohit Chadha, A. Prasad Sistla, Mahesh Viswanathan: On the Expressiveness and Complexity of Randomization in Finite State Monitors. LICS 2008: 18-29
12EERohit Chadha, Mahesh Viswanathan: A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes CoRR abs/0807.1173: (2008)
2007
11EERohit Chadha, Mahesh Viswanathan: Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. CONCUR 2007: 136-150
10EEPedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14
9EERohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas: Reasoning about probabilistic sequential programs. Theor. Comput. Sci. 379(1-2): 142-165 (2007)
2006
8EERohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About States of Probabilistic Sequential Programs. CSL 2006: 240-255
7EERohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About Imperative Quantum Programs. Electr. Notes Theor. Comput. Sci. 158: 19-39 (2006)
6EERohit Chadha, Steve Kremer, Andre Scedrov: Formal Analysis of Multiparty Contract Signing. J. Autom. Reasoning 36(1-2): 39-83 (2006)
5EERohit Chadha, Damiano Macedonio, Vladimiro Sassone: A Hybrid Intuitionistic Logic: Semantics and Decidability. J. Log. Comput. 16(1): 27-59 (2006)
2005
4EERohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov: Contract signing, optimism, and advantage. J. Log. Algebr. Program. 64(2): 189-218 (2005)
2004
3EERohit Chadha, Steve Kremer, Andre Scedrov: Formal Analysis of Multi-Party Contract Signing. CSFW 2004: 266-265
2003
2EERohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov: Contract Signing, Optimism, and Advantage. CONCUR 2003: 361-377
2001
1EERohit Chadha, Max I. Kanovich, Andre Scedrov: Inductive methods and contract-signing protocols. ACM Conference on Computer and Communications Security 2001: 176-185

Coauthor Index

1Pedro Baltazar [10]
2Luís Cruz-Filipe [9]
3Stéphanie Delaune [17]
4Carl A. Gunter [14]
5Max I. Kanovich [1]
6Steve Kremer [3] [6] [17]
7Damiano Macedonio [5]
8Paulo Mateus [7] [8] [9] [10]
9José Meseguer [14]
10John C. Mitchell [2] [4]
11Vladimiro Sassone [5]
12Andre Scedrov [1] [2] [3] [4] [6]
13Amílcar Sernadas [7] [8] [9] [10]
14Ravinder Shankesi [14]
15Vitaly Shmatikov [2] [4]
16A. Prasad Sistla [13] [16] [18]
17Mahesh Viswanathan [11] [12] [13] [14] [15] [16] [18]
18Ramesh Viswanathan [15]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)