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

登录注册

全文

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

出版年度

	2020	6篇
	2019	5篇
	2018	5篇
	2017	3篇
	2016	5篇

	2015	3篇
	2013	3篇
	2012	1篇
	2011	1篇
	2010	1篇
	2008	2篇

作者

	James Worrell	35篇
	Jo{\"e}l Ouaknine	11篇
	Jo{"e}l Ouaknine	7篇
	Shaull Almagor	6篇
	Stefan Kiefer	4篇

	Amaury Pouly	3篇
	Mahsa Shirmohammadi	3篇
	Dmitry Chistikov	2篇
	Joel Ouaknine	2篇
	Marta Kwiatkowska	2篇
	Mehran Hosseini	2篇
	Nathana{\"e}l Fijalkow	2篇
	Nicolas Markey	2篇
	Pascale Gourdeau	2篇
	Patricia Bouyer	2篇
	Varun Kanade	2篇
	A. Roscoe	1篇
	Alexander Rabinovich	1篇
	Andrzej Murawski	1篇
	Antonia Lechner	1篇
	Babita Sharma	1篇
	Bjoern Wachter	1篇
	Brynmor Chapman	1篇
	Cristian Riveros	1篇
	Edon Kelmendi	1篇
	Eike Neumann	1篇
	Engel Lefaucheux	1篇
	Esther Galby	1篇
	Filip Mazowiecki	1篇
	Franck van Breugel	1篇
	Guillermo A. Prez	1篇
	Guillermo A. P{\'e}rez	1篇
	Hristina Palikareva	1篇
	Igor Potapov	1篇
	Ines Marusic	1篇
	Joël Ouaknine	1篇
	Julian D'Costa	1篇
	Julio Rivera	1篇
	Laure Daviaud	1篇
	Mani Swaminathan	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	28篇
	Logical Methods in Computer Science	4篇
	Electronic Colloquium on Computational Complexity	2篇
	Issues in Information Systems	1篇

学科主题

计算技术、计算机技术

35篇

语种

英文

35篇

国别/地区

	德国	34篇
	美国	1篇

检索条件:"( ( 高级检索(( ((AU:(("James Worrell")))) )) ) )"

共 35 条记录

排序：全选导出：

1.Approximating a Behavioural Pseudometric without Discount forProbabilistic Systems

作　　者：Franck van Breugel ;Babita Sharma ;James Worrell

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

出版社：Technical University of Braunschweig

文章 ID：46838693

文章详细全文下载
2.GRADUATE STUDENT PERCEPTIONS OF PERSONAL SOCIAL MEDIA RISK: A COMPARISON STUDY

作　　者：Samuel Goh ;Paul Gangi ;Julio Rivera 等

出　　处：Issues in Information Systems. 2016 ;17(4):109-119.

出版社：International Association for Computer Information Systems

文章 ID：185268478

文章详细全文下载
3.On the Hardness of Robust Classification

作　　者：Pascale Gourdeau ;Varun Kanade ;Marta Kwiatkowska 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-19.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243029072

文章详细全文下载
4.On the Hardness of Robust Classification

作　　者：Pascale Gourdeau ;Varun Kanade ;Marta Kwiatkowska 等

出　　处：Electronic Colloquium on Computational Complexity. 2019 ;2019:1-19.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：243731479

文章详细全文下载
5.On Reachability Problems for Low-Dimensional Matrix Semigroups

作　　者：Thomas Colcombet ;Jo{"e}l Ouaknine ;Pavel Semukhin 等

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

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

文章 ID：238892179

文章详细全文下载
6.Termination of Linear Loops over the Integers

作　　者：Mehran Hosseini ;Jo{"e}l Ouaknine ;James Worrell

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

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

文章 ID：238892253

文章详细全文下载
7.Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

作　　者：Nathana{\"e}l Fijalkow ;Pierre Ohlmann ;Jo{\"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:29:1-29:13.doi:10.4230/LIPIcs.STACS.2017.29

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

文章 ID：191698358

文章详细全文下载
8.The Polytope-Collision Problem

作　　者：Shaull Almagor ;Jo{\"e}l Ouaknine ;James Worrell

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:24:1-24:14.doi:10.4230/LIPIcs.ICALP.2017.24

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

文章 ID：198371979

文章详细全文下载
9.Probabilistic Automata of Bounded Ambiguity

作　　者：Nathana{\"e}l Fijalkow ;Cristian Riveros ;James Worrell

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:19:1-19:14.doi:10.4230/LIPIcs.CONCUR.2017.19

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

文章 ID：200735185

文章详细全文下载
10.On Ranking Function Synthesis and Termination for Polynomial Programs

作　　者：Eike Neumann ;Jo{"e}l Ouaknine ;James Worrell

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

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

文章 ID：255822874

文章详细全文下载

1 2 3 4 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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