| 2007 |
|---|
| 11 | EE | Rohit Chadha,
Mahesh Viswanathan:
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.
CONCUR 2007: 136-150 |
| 10 | EE | Pedro Baltazar,
Rohit Chadha,
Paulo Mateus,
Amílcar Sernadas:
Towards Model-Checking Quantum Security Protocols.
ICQNM 2007: 14 |
| 9 | EE | Rohit 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 |
|---|
| 8 | EE | Rohit Chadha,
Paulo Mateus,
Amílcar Sernadas:
Reasoning About States of Probabilistic Sequential Programs.
CSL 2006: 240-255 |
| 7 | EE | Rohit Chadha,
Paulo Mateus,
Amílcar Sernadas:
Reasoning About Imperative Quantum Programs.
Electr. Notes Theor. Comput. Sci. 158: 19-39 (2006) |
| 6 | EE | Rohit Chadha,
Steve Kremer,
Andre Scedrov:
Formal Analysis of Multiparty Contract Signing.
J. Autom. Reasoning 36(1-2): 39-83 (2006) |
| 5 | EE | Rohit Chadha,
Damiano Macedonio,
Vladimiro Sassone:
A Hybrid Intuitionistic Logic: Semantics and Decidability.
J. Log. Comput. 16(1): 27-59 (2006) |
| 2005 |
|---|
| 4 | EE | Rohit Chadha,
John C. Mitchell,
Andre Scedrov,
Vitaly Shmatikov:
Contract signing, optimism, and advantage.
J. Log. Algebr. Program. 64(2): 189-218 (2005) |
| 2004 |
|---|
| 3 | EE | Rohit Chadha,
Steve Kremer,
Andre Scedrov:
Formal Analysis of Multi-Party Contract Signing.
CSFW 2004: 266-265 |
| 2003 |
|---|
| 2 | EE | Rohit Chadha,
John C. Mitchell,
Andre Scedrov,
Vitaly Shmatikov:
Contract Signing, Optimism, and Advantage.
CONCUR 2003: 361-377 |
| 2001 |
|---|
| 1 | EE | Rohit Chadha,
Max I. Kanovich,
Andre Scedrov:
Inductive methods and contract-signing protocols.
ACM Conference on Computer and Communications Security 2001: 176-185 |
