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

文章详细全文下载
2.A Universal Ordinary Differential Equation

作　　者：Olivier Bournez ;Amaury Pouly

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

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

文章 ID：198372070

文章详细全文下载
3.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

文章详细全文下载
4.Reachability in Dynamical Systems with Rounding

作　　者：Christel Baier ;Florian Funke ;Simon Jantsch 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-17.doi:10.4230/LIPIcs.FSTTCS.2020.36

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

文章 ID：257805106

文章详细全文下载
5.Model Checking Flat Freeze LTL on One-Counter Automata

作　　者：Antonia Lechner ;Richard Mayr ;Jo{\"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:29:1-29:14.doi:10.4230/LIPIcs.CONCUR.2016.29

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

文章 ID：186847587

文章详细全文下载
6.Polynomial Time Corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length: The General Purpose Analog Computer and Computable Analysis Are Two Efficiently Equivalent Models of Computations

作　　者：Olivier Bournez ;Daniel S. Gra{\c{c}}a ;Amaury Pouly

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:109:1-109:15.doi:10.4230/LIPIcs.ICALP.2016.109

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

文章 ID：186847706

文章详细全文下载

	Amaury Pouly	6篇
	James Worrell	3篇
	Jo{\"e}l Ouaknine	2篇
	Olivier Bournez	2篇
	Antonia Lechner	1篇

	Christel Baier	1篇
	Daniel S. Gra{\c{c}}a	1篇
	David Purser	1篇
	Engel Lefaucheux	1篇
	Florian Funke	1篇
	Jo{"e}l Ouaknine	1篇
	Markus A. Whiteland	1篇
	Nathana{\"e}l Fijalkow	1篇
	Ouaknine, Joël	1篇
	Pierre Ohlmann	1篇
	Richard Mayr	1篇
	Rupak Majumdar	1篇
	Simon Jantsch	1篇
	Toghrul Karimov	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Amaury Pouly")))) )) ) )"

	2020	2篇
	2017	2篇
	2016	2篇