1.On Petri Nets with Hierarchical Special Arcs

作　　者：S. Akshay ;Supratik Chakraborty ;Ankush Das 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:40:1-40:17.doi:10.4230/LIPIcs.CONCUR.2017.40

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

文章 ID：200735206

文章详细全文下载
2.Session Types with Arithmetic Refinements

作　　者：Ankush Das ;Frank Pfenning

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:13:1-13:18.doi:10.4230/LIPIcs.CONCUR.2020.13

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

文章 ID：255822872

文章详细全文下载
3.Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)

作　　者：Ankush Das ;Frank Pfenning

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:33:1-33:17.doi:10.4230/LIPIcs.FSCD.2020.33

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

文章 ID：255823210

文章详细全文下载
4.Survey on Vehicle Tracking Services

作　　者：Ankush Das ;Nisarg Gandhewar ;Devendra Singh Nehra 等

出　　处：Information Technology & Software Engineering. 2018 ;8(1).doi:10.4172/2165-7866.1000224

出版社：OMICS Group

文章 ID：218563012

文章详细
5.RAST: A LANGUAGE FOR RESOURCE-AWARE SESSION TYPES

作　　者：Ankush Das ;Frank Pfenning

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-36.doi:10.46298/lmcs-18(1:9)2022

出版社：Technical University of Braunschweig

文章 ID：1038046953

文章详细

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

	Ankush Das	5篇
	Frank Pfenning	3篇
	Devendra Singh Nehra	1篇
	Mayank Baraskar	1篇
	Mubbshir Khan	1篇

	Nisarg Gandhewar	1篇
	S. Akshay	1篇
	Sai Sandeep	1篇
	Shubham Gurjar	1篇
	Supratik Chakraborty	1篇
	Vishal Jagannath	1篇

	德国	4篇
	美国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ankush Das")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Information Technology & Software Engineering	1篇
	Logical Methods in Computer Science	1篇

	2022	1篇
	2020	2篇
	2018	1篇
	2017	1篇