1.Complexity of Liveness in Parameterized Systems

作　　者：Peter Chini ;Roland Meyer ;Prakash Saivasan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-15.doi:10.4230/LIPIcs.FSTTCS.2019.37

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

文章 ID：241519891

文章详细全文下载
2.On the Complexity of Bounded Context Switching

作　　者：Peter Chini ;Jonathan Kolberg ;Andreas Krebs 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;87:27:1-27:15.doi:10.4230/LIPIcs.ESA.2017.27

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

文章 ID：200735234

文章详细全文下载
3.On the Upward/Downward Closures of Petri Nets

作　　者：Mohamed Faouzi Atig ;Roland Meyer ;Sebastian Muskalla 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:49:1-49:14.doi:10.4230/LIPIcs.MFCS.2017.49

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

文章 ID：205510097

文章详细全文下载
4.Verification of Asynchronous Programs with Nested Locks

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;K. Narayan Kumar 等

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

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

文章 ID：220015396

文章详细
5.A Framework for Consistency Algorithms

作　　者：Peter Chini ;Prakash Saivasan

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

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

文章 ID：257805112

文章详细全文下载
6.On Bounded Reachability Analysis of Shared Memory Systems

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;K. Narayan Kumar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:611-623.doi:10.4230/LIPIcs.FSTTCS.2014.611

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

文章 ID：186846637

文章详细全文下载
7.Verifying Quantitative Temporal Properties of Procedural Programs

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;K. Narayan Kumar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.15

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

文章 ID：230213327

文章详细全文下载
8.Regular Separability of Well-Structured Transition Systems

作　　者：Wojciech Czerwinski ;Slawomir Lasota ;Roland Meyer 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-18.doi:10.4230/LIPIcs.CONCUR.2018.35

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

文章 ID：230213347

文章详细全文下载

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Prakash Saivasan")))) )) ) )"

	Prakash Saivasan	8篇
	K. Narayan Kumar	4篇
	Mohamed Faouzi Atig	4篇
	Roland Meyer	4篇
	Ahmed Bouajjani	3篇

	Peter Chini	3篇
	Sebastian Muskalla	2篇
	Andreas Krebs	1篇
	Jonathan Kolberg	1篇
	Slawomir Lasota	1篇
	Wojciech Czerwinski	1篇

	2020	1篇
	2019	1篇
	2018	3篇
	2017	2篇
	2014	1篇