1.Program Invariants (Invited Talk)

作　　者：Jo{"e}l Ouaknine

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

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

文章 ID：238891911

文章详细全文下载

2.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

文章详细全文下载

3.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

文章详细全文下载

4.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

文章详细全文下载

5.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

文章详细全文下载

6.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

文章详细全文下载

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.On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems

作　　者：Toghrul Karimov ;Jo{"e}l Ouaknine ;James Worrell

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

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

文章 ID：255822964

文章详细全文下载

9.Invariants for Continuous Linear Dynamical Systems

作　　者：Shaull Almagor ;Edon Kelmendi ;Jo{"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:107:1-107:15.doi:10.4230/LIPIcs.ICALP.2020.107

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

文章 ID：255823142

文章详细全文下载

10.How Fast Can You Escape a Compact Polytope?

作　　者：Julian D'Costa ;Engel Lefaucheux ;Jo{"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:49:1-49:11.doi:10.4230/LIPIcs.STACS.2020.49

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

文章 ID：255823588

文章详细全文下载

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

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

	2015	1篇
	2011	1篇
	2010	1篇
	2008	1篇

	Mehran Hosseini	2篇
	Nicolas Markey	2篇
	Patricia Bouyer	2篇
	Alexander Rabinovich	1篇
	Antonia Lechner	1篇
	Brynmor Chapman	1篇
	Dmitry Chistikov	1篇
	Edon Kelmendi	1篇
	Eike Neumann	1篇
	Engel Lefaucheux	1篇
	Esther Galby	1篇
	Julian D'Costa	1篇
	Maria Bruna	1篇
	Mark Jenkins	1篇
	Nathana{\"e}l Fijalkow	1篇
	Paul Hunter	1篇
	Pavel Semukhin	1篇
	Philippe Schnoebelen	1篇
	Pierre Ohlmann	1篇
	Radu Grigore	1篇
	Richard Mayr	1篇
	Rupak Majumdar	1篇
	Stefan Kiefer	1篇
	Thomas Colcombet	1篇
	Toghrul Karimov	1篇
	Ventsislav Chonev	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Jo{\"e}l Ouaknine")))) )) ) )"

	James Worrell	18篇
	Jo{\"e}l Ouaknine	11篇
	Jo{"e}l Ouaknine	8篇
	Shaull Almagor	4篇
	Amaury Pouly	3篇