1.Reachability under Contextual Locking

作　　者：Remi Bonnet ;Rohit Chadha ;Mahesh Viswanathan 等

出　　处：Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:21)2013

出版社：Technical University of Braunschweig

文章 ID：264692012

文章详细全文下载
2.Model Checking Concurrent Programs with Nondeterminism and Randomization

作　　者：Rohit Chadha ;A. Prasad Sistla ;Mahesh Viswanathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:364-375.doi:10.4230/LIPIcs.FSTTCS.2010.364

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845785

文章详细全文下载
3.The Complexity of Quantitative Information Flow in Recursive Programs

作　　者：Rohit Chadha ;Michael Ummels

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:534-545.doi:10.4230/LIPIcs.FSTTCS.2012.534

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846230

文章详细全文下载
4.Computing Information Flow Using Symbolic Model-Checking

作　　者：Rohit Chadha ;Umang Mathur ;Stefan Schwoon

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:505-516.doi:10.4230/LIPIcs.FSTTCS.2014.505

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846629

文章详细全文下载
5.Approximating Probabilistic Automata by Regular Languages

作　　者：Rohit Chadha ;A. Prasad Sistla ;Mahesh Viswanathan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-23.doi:10.4230/LIPIcs.CSL.2018.14

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：230213289

文章详细全文下载

	Rohit Chadha	5篇
	Mahesh Viswanathan	3篇
	A. Prasad Sistla	2篇
	Michael Ummels	1篇
	P. Madhusudan	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Rohit Chadha")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Logical Methods in Computer Science	1篇

	2018	1篇
	2014	1篇
	2013	1篇
	2012	1篇
	2010	1篇

	Remi Bonnet	1篇
	Stefan Schwoon	1篇
	Umang Mathur	1篇