首页期刊浏览 2024年11月23日星期六

登录注册

全文

	有本地全文	18篇
	有全文链接	6篇

出版年度

	2021	2篇
	2020	3篇
	2019	3篇
	2018	4篇
	2017	2篇

	2016	1篇
	2015	4篇
	2013	1篇
	2011	1篇
	2010	1篇
	2008	2篇

作者

	Rupak Majumdar	24篇
	Javier Esparza	3篇
	Pierre Ganty	3篇
	Sadegh Esmaeil Zadeh Soudjani	3篇
	Sadegh Soudjani	3篇

	Anne-Kathrin Schmuck	2篇
	Ivan Gavran	2篇
	J{\'e}r{\^o}me Leroux	2篇
	Krishnendu Chatterjee	2篇
	Luca de Alfaro	2篇
	Rayna Dimitrova	2篇
	Viktor Vafeiadis	2篇
	Vinayak S. Prabhu	2篇
	Vishwanath Raman	2篇
	Adam Meyerson	1篇
	Aditya Kanade	1篇
	Alessandro Abate	1篇
	Amaury Pouly	1篇
	Anthony W. Lin	1篇
	Arpan Gujarati	1篇
	Bj{"o}rn B. Brandenburg	1篇
	Carlos Ocampo-Martinez	1篇
	Chana Weil-Kennedy	1篇
	Damien Zufferey	1篇
	Egor Derevenetc	1篇
	Filip Niksic	1篇
	Georg Zetzsche	1篇
	Georgel Calin	1篇
	Gunes Ercal	1篇
	James Worrell	1篇
	Johannes Kloos	1篇
	Jo{"e}l Ouaknine	1篇
	Kaushik Mallik	1篇
	Mahmoud Salamati	1篇
	Marcus Pirron	1篇
	Mariëlle Stoelinga	1篇
	Mitra Nasri	1篇
	Nobuko Yoshida	1篇
	Pascal Baumann	1篇
	Rafit Izhak-Ratzin	1篇

文章类型

Research Article

4篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	15篇
	IFAC PapersOnLine	4篇
	Electronic Proceedings in Theoretical Computer Science	2篇
	Logical Methods in Computer Science	2篇
	International Journal of Distributed Sensor Networks	1篇

学科主题

	计算技术、计算机技术	19篇
	计算机网络	1篇

语种

英文

24篇

国别/地区

	德国	17篇
	澳大利亚	2篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Rupak Majumdar")))) )) ) )"

共 24 条记录

排序：全选导出：

1.Discounting in Games across Time Scales

作　　者：Krishnendu Chatterjee ;Rupak Majumdar

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;25:22-29.doi:10.4204/EPTCS.25.6

出版社：Open Publishing Association

文章 ID：83119901

文章详细全文下载
2.VCG with Communities on Random Ad Hoc Networks

作　　者：Gunes Ercal ;Rafit Izhak-Ratzin ;Rupak Majumdar 等

出　　处：International Journal of Distributed Sensor Networks. 2011 ;2011.doi:10.1155/2011/895398

出版社：Hindawi Publishing Corporation

文章 ID：79862973

文章详细全文下载
3.Game Refinement Relations and Metrics

作　　者：Luca de Alfaro ;Rupak Majumdar ;Vishwanath Raman 等

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:7)2008

出版社：Technical University of Braunschweig

文章 ID：47109801

文章详细全文下载
4.Motion Session Types for Robotic Interactions (Brave New Idea Paper)

作　　者：Rupak Majumdar ;Marcus Pirron ;Nobuko Yoshida 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;134:1-27.doi:10.4230/LIPIcs.ECOOP.2019.28

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

文章 ID：238892106

文章详细全文下载
5.From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems

作　　者：Arpan Gujarati ;Mitra Nasri ;Rupak Majumdar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;133:1-23.doi:10.4230/LIPIcs.ECRTS.2019.9

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

文章 ID：238892116

文章详细全文下载
6.The Robot Routing Problem for Collecting Aggregate Stochastic Rewards

作　　者：Rayna Dimitrova ;Ivan Gavran ;Rupak Majumdar 等

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

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

文章 ID：200735179

文章详细全文下载
7.Algebraic Invariants for Linear Hybrid Automata

作　　者：Rupak Majumdar ;Jo{"e}l Ouaknine ;Amaury Pouly 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:32:1-32:17.doi:10.4230/LIPIcs.CONCUR.2020.32

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

文章 ID：255822891

文章详细全文下载
8.The Complexity of Bounded Context Switching with Dynamic Thread Creation

作　　者：Pascal Baumann ;Rupak Majumdar ;Ramanathan S. Thinniyam 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:111:1-111:16.doi:10.4230/LIPIcs.ICALP.2020.111

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

文章 ID：255823146

文章详细全文下载
9.On Decidability of Time-Bounded Reachability in CTMDPs

作　　者：Rupak Majumdar ;Mahmoud Salamati ;Sadegh Soudjani

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:133:1-133:19.doi:10.4230/LIPIcs.ICALP.2020.133

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

文章 ID：255823168

文章详细全文下载
10.Algorithms for Game Metrics

作　　者：Krishnendu Chatterjee ;Luca de Alfaro ;Rupak Majumdar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:107-118.doi:10.4230/LIPIcs.FSTTCS.2008.1745

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

文章 ID：186845498

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有