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

登录注册

全文

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

出版年度

	2020	4篇
	2019	2篇
	2018	5篇
	2017	2篇
	2016	3篇

	2015	4篇
	2014	2篇
	2013	1篇
	2011	2篇
	2010	1篇
	1998	1篇

作者

	Orna Kupferman	27篇
	Gal Vardi	6篇
	Shaull Almagor	5篇
	Guy Avni	4篇
	Moshe Y. Vardi	4篇

	Denis Kuperberg	2篇
	Seth Fogarty	2篇
	Shibashis Guha	2篇
	Tami Tamir	2篇
	Thomas Wilke	2篇
	Udi Boker	2篇
	Amir Lellouche	1篇
	Avital Steinitz	1篇
	Ayrat Khalimov	1篇
	Bader Abu Radi	1篇
	Dan Hefetz	1篇
	Gili Bielous	1篇
	Isma{"e}l Jecker	1篇
	Michal Skrzypczak	1篇
	Mihalis Yannakakis	1篇
	Moshe Vardi	1篇
	Nicolas Mazzocchi	1篇
	Noam Shenwald	1篇
	Ofer Leshkowitz	1篇
	Yaron Velner	1篇
	Yoad Lustig	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	25篇
	Chicago Journal of Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

27篇

语种

英文

27篇

国别/地区

	德国	26篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Orna Kupferman")))) )) ) )"

共 27 条记录

排序：全选导出：

1.Verification of Fair Transition Systems

作　　者：Orna Kupferman ;Moshe Y. Vardi

出　　处：Chicago Journal of Theoretical Computer Science. 1998 ;1998.

出版社：MIT Press ; University of Chicago, Department of Computer Science

文章 ID：85479219

文章详细全文下载
2.Coverage and Vacuity in Network Formation Games

作　　者：Gili Bielous ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-18.doi:10.4230/LIPIcs.CSL.2020.10

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

文章 ID：243494211

文章详细全文下载
3.Register-Bounded Synthesis

作　　者：Ayrat Khalimov ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.25

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

文章 ID：238891933

文章详细全文下载
4.Minimizing GFG Transition-Based Automata

作　　者：Bader Abu Radi ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-16.doi:10.4230/LIPIcs.ICALP.2019.100

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

文章 ID：238892235

文章详细全文下载
5.Flow Logic

作　　者：Orna Kupferman ;Gal Vardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:9:1-9:18.doi:10.4230/LIPIcs.CONCUR.2017.9

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

文章 ID：200735175

文章详细全文下载
6.Timed Network Games

作　　者：Guy Avni ;Shibashis Guha ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:37:1-37:16.doi:10.4230/LIPIcs.MFCS.2017.37

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

文章 ID：205510085

文章详细全文下载
7.Unary Prime Languages

作　　者：Isma{"e}l Jecker ;Orna Kupferman ;Nicolas Mazzocchi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:51:1-51:12.doi:10.4230/LIPIcs.MFCS.2020.51

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

文章 ID：255822961

文章详细全文下载
8.On Repetition Languages

作　　者：Orna Kupferman ;Ofer Leshkowitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:59:1-59:14.doi:10.4230/LIPIcs.MFCS.2020.59

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

文章 ID：255822969

文章详细全文下载
9.How Deterministic are Good-For-Games Automata?

作　　者：Udi Boker ;Orna Kupferman ;Michal Skrzypczak

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:18:1-18:14.doi:10.4230/LIPIcs.FSTTCS.2017.18

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

文章 ID：220015403

文章详细
10.Flow Games

作　　者：Orna Kupferman ;Gal Vardi ;Moshe Y. Vardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:38:38-38:16.doi:10.4230/LIPIcs.FSTTCS.2017.38

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

文章 ID：220015423

文章详细

1 2 3 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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