1.Ideal-Based Algorithms for the Symbolic Verification of Well-Structured Systems (Invited Talk)

作　　者：Philippe Schnoebelen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:85:1-85:4.doi:10.4230/LIPIcs.MFCS.2017.85

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

文章 ID：205510159

文章详细全文下载
2.On Flat Lossy Channel Machines

作　　者：Philippe Schnoebelen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:37:1-37:22.doi:10.4230/LIPIcs.CSL.2021.37

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

文章 ID：258514199

文章详细全文下载
3.The Power of Priority Channel Systems

作　　者：Christoph Haase ;Sylvain Schmitz ;Philippe Schnoebelen

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:4)2014

出版社：Technical University of Braunschweig

文章 ID：264692174

文章详细全文下载
4.On Reachability for Unidirectional Channel Systems Extended with Regular Tests

作　　者：Jancar Petr ;Prateek Karandikar ;Philippe Schnoebelen

出　　处：Logical Methods in Computer Science. 2015 ;11(2):1.doi:10.2168/LMCS-11(2:2)2015

出版社：Technical University of Braunschweig

文章 ID：264692230

文章详细全文下载
5.On Termination for Faulty Channel Machines

作　　者：Patricia Bouyer ;Nicolas Markey ;Jo{\"e}l Ouaknine 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:121-132.doi:10.4230/LIPIcs.STACS.2008.1339

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

文章 ID：186845442

文章详细全文下载
6.Decidability in the Logic of Subsequences and Supersequences

作　　者：Prateek Karandikar ;Philippe Schnoebelen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:84-97.doi:10.4230/LIPIcs.FSTTCS.2015.84

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

文章 ID：186847177

文章详细全文下载
7.The Height of Piecewise-Testable Languages with Applications in Logical Complexity

作　　者：Prateek Karandikar ;Philippe Schnoebelen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:37:1-37:22.doi:10.4230/LIPIcs.CSL.2016.37

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

文章 ID：186847953

文章详细全文下载

	Philippe Schnoebelen	7篇
	Prateek Karandikar	3篇
	Christoph Haase	1篇
	James Worrell	1篇
	Jancar Petr	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Philippe Schnoebelen")))) )) ) )"

	Jo{\"e}l Ouaknine	1篇
	Nicolas Markey	1篇
	Patricia Bouyer	1篇
	Sylvain Schmitz	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	5篇
	Logical Methods in Computer Science	2篇

	2021	1篇
	2017	1篇
	2016	1篇
	2015	2篇
	2014	1篇