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

文章详细全文下载

2.Coverability in 1-VASS with Disequality Tests

作　　者：Shaull Almagor ;Nathann Cohen ;Guillermo A. Prez 等

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

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

文章 ID：255822897

文章详细全文下载

3.Parametrized Universality Problems for One-Counter Nets

作　　者：Shaull Almagor ;Udi Boker ;Piotr Hofman 等

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

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

文章 ID：255822906

文章详细全文下载

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

文章详细全文下载

5.O-Minimal Invariants for Linear Loops

作　　者：Shaull Almagor ;Dmitry Chistikov ;Jo{\"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:114:1-114:14.doi:10.4230/LIPIcs.ICALP.2018.114

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

文章 ID：220014905

文章详细

6.Process Symmetry in Probabilistic Transducers

作　　者：Shaull Almagor

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

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

文章 ID：257805105

文章详细全文下载

7.Regular Sensing

作　　者：Shaull Almagor ;Denis Kuperberg ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:161-173.doi:10.4230/LIPIcs.FSTTCS.2014.161

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

文章 ID：186846603

文章详细全文下载

8.Repairing Multi-Player Games

作　　者：Shaull Almagor ;Guy Avni ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:325-339.doi:10.4230/LIPIcs.CONCUR.2015.325

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

文章 ID：186847019

文章详细全文下载

9.The Sensing Cost of Monitoring and Synthesis

作　　者：Shaull Almagor ;Denis Kuperberg ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:380-393.doi:10.4230/LIPIcs.FSTTCS.2015.380

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

文章 ID：186847198

文章详细全文下载

10.High-Quality Synthesis Against Stochastic Environments

作　　者：Shaull Almagor ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:28:1-28:17.doi:10.4230/LIPIcs.CSL.2016.28

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

文章 ID：186847945

文章详细全文下载

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

	2020	4篇
	2019	1篇
	2018	2篇
	2017	1篇
	2016	2篇

	Brynmor Chapman	1篇
	Dmitry Chistikov	1篇
	Edon Kelmendi	1篇
	Guillermo A. Prez	1篇
	Guy Avni	1篇
	Jo{"e}l Ouaknine	1篇
	Joël Ouaknine	1篇
	Mahsa Shirmohammadi	1篇
	Mehran Hosseini	1篇
	Nathann Cohen	1篇
	Patrick Totzke	1篇
	Piotr Hofman	1篇
	Udi Boker	1篇
	Yaron Velner	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Shaull Almagor")))) )) ) )"

	Shaull Almagor	13篇
	James Worrell	6篇
	Orna Kupferman	5篇
	Jo{\"e}l Ouaknine	3篇
	Denis Kuperberg	2篇