作　　者：Parosh Aziz Abdulla ;Mohamed Faouzi Atig ;Jari Stenman

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;103:1-16.doi:10.4204/EPTCS.103.1

出版社：Open Publishing Association

文章 ID：83120656

文章详细全文下载

作　　者：Parosh Aziz Abdulla ;C. Aiswarya ;Mohamed Faouzi Atig

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:38:1-38:17.doi:10.4230/LIPIcs.CONCUR.2017.38

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

文章 ID：200735204

文章详细全文下载

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.On the Separability Problem of String Constraints

作　　者：Parosh Aziz Abdulla ;Mohamed Faouzi Atig ;Vrunda Dave 等

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

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

文章 ID：255822875

文章详细全文下载

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

文章详细

6.Model-Checking of Ordered Multi-Pushdown Automata

作　　者：Mohamed Faouzi Atig

出　　处：Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:20)2012

出版社：Technical University of Braunschweig

文章 ID：264691965

文章详细全文下载

7.Analyzing Asynchronous Programs with Preemption

作　　者：Mohamed Faouzi Atig ;Ahmed Bouajjani ;Tayssir Touili

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:37-48.doi:10.4230/LIPIcs.FSTTCS.2008.1739

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

文章 ID：186845501

文章详细全文下载

8.Global Model Checking of Ordered Multi-Pushdown Systems

作　　者：Mohamed Faouzi Atig

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:216-227.doi:10.4230/LIPIcs.FSTTCS.2010.216

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

文章 ID：186845772

文章详细全文下载

9.Approximating Petri Net Reachability Along Context-free Traces

作　　者：Mohamed Faouzi Atig ;Pierre Ganty

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:152-163.doi:10.4230/LIPIcs.FSTTCS.2011.152

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

文章 ID：186845875

文章详细全文下载

10.Timed Lossy Channel Systems

作　　者：Parosh Aziz Abdulla ;Mohamed Faouzi Atig ;Jonathan Cederberg

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:374-386.doi:10.4230/LIPIcs.FSTTCS.2012.374

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

文章 ID：186846217

文章详细全文下载

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

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

	2014	2篇
	2012	3篇
	2011	1篇
	2010	1篇
	2008	1篇

	Mohamed Faouzi Atig	17篇
	Parosh Aziz Abdulla	9篇
	Ahmed Bouajjani	5篇
	Prakash Saivasan	4篇
	K. Narayan Kumar	3篇

	Roland Meyer	2篇
	Shankara Narayanan Krishna	2篇
	Ahmet Kara	1篇
	C. Aiswarya	1篇
	Jari Stenman	1篇
	Jonathan Cederberg	1篇
	Mehdi Seyed Salehi	1篇
	Othmane Rezine	1篇
	Patrick Totzke	1篇
	Pierre Ganty	1篇
	Radu Ciobanu	1篇
	Richard Mayr	1篇
	Sebastian Muskalla	1篇
	Shaan Vaidya	1篇
	Tayssir Touili	1篇
	Tuan Phong Ngo	1篇
	Vrunda Dave	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Mohamed Faouzi Atig")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	15篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇

	德国	16篇
	澳大利亚	1篇