1.Sequentializing Parameterized Programs

作　　者：Salvatore La Torre ;P. Madhusudan ;Gennaro Parlato

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;87:34-47.doi:10.4204/EPTCS.87.4

出版社：Open Publishing Association

文章 ID：83120512

文章详细全文下载
2.HIV Infection and Host Genetic Mutation among Injecting Drug-users of Northeastern States of India

作　　者：Kamalesh Sarkar ;Santa Sabuj Das ;Reshmi Pal 等

出　　处：The Journal of Health, Population and Nutrition. 2010 ;28(2):130-136.

出版社：International Centre for Diarrhoeal Disease Research Bangladesh

文章 ID：183210875

文章详细
3.HIV Infection and Host Genetic Mutation among Injecting Drug-users of Northeastern States of India

作　　者：Kamalesh Sarkar ;Santa Sabuj Das ;Reshmi Pal 等

出　　处：Journal of Health, Population and Nutrition. 2010 ;28(2):130-136.doi:10.3329/jhpn.v28i2.4882

出版社：

文章 ID：225771121

文章详细
4.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

文章详细全文下载
5.A Decidable Fragment of Second Order Logic With Applications to Synthesis

作　　者：P. Madhusudan ;Umang Mathur ;Shambwaditya Saha 等

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

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

文章 ID：230213306

文章详细全文下载
6.Lagrange's Theorem for Binary Squares

作　　者：P. Madhusudan ;Dirk Nowotka ;Aayush Rajasekaran 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-14.doi:10.4230/LIPIcs.MFCS.2018.18

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

文章 ID：230213373

文章详细全文下载

	有本地全文	4篇
	有全文链接	2篇

	P. Madhusudan	5篇
	Baishali Bal	2篇
	Kamalesh Sarkar	2篇
	Mahesh Viswanathan	2篇
	Reshmi Pal	2篇

	Santa Sabuj Das	2篇
	Sekhar Chakraborti	2篇
	Aayush Rajasekaran	1篇
	Dirk Nowotka	1篇
	Gennaro Parlato	1篇
	Jeffrey Shallit	1篇
	P Madhusudan	1篇
	Remi Bonnet	1篇
	Rohit Chadha	1篇
	Salvatore La Torre	1篇
	Shambwaditya Saha	1篇
	Umang Mathur	1篇

	计算技术、计算机技术	4篇
	预防医学、卫生学	2篇

	德国	3篇
	英国	2篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("P. Madhusudan")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Journal of Health, Population and Nutrition	1篇
	Logical Methods in Computer Science	1篇
	The Journal of Health, Population and Nutrition	1篇

	2018	2篇
	2013	1篇
	2012	1篇
	2010	2篇