1.Dense-choice Counter Machines revisited

作　　者：Florent Bouchy ;Alain Finkel ;Pierluigi San Pietro

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;10:3-22.doi:10.4204/EPTCS.10.1

出版社：Open Publishing Association

文章 ID：83119767

文章详细全文下载

2.Bounded Parikh Automata

作　　者：Michaël Cadilhac ;Alain Finkel ;Pierre McKenzie

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;63:93-102.doi:10.4204/EPTCS.63.13

出版社：Open Publishing Association

文章 ID：83120254

文章详细全文下载

3.Verification of Flat FIFO Systems

作　　者：Alain Finkel ;M. Praveen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.12

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

文章 ID：238891920

文章详细全文下载

4.The Well Structured Problem for Presburger Counter Machines

作　　者：Alain Finkel ;Ekanshdeep Gupta

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

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

文章 ID：241519895

文章详细全文下载

5.Synchronizability of Communicating Finite State Machines is not Decidable

作　　者：Alain Finkel ;Etienne Lozes

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

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

文章 ID：198372076

文章详细全文下载

6.Bounded Reachability Problems Are Decidable in FIFO Machines

作　　者：Benedikt Bollig ;Alain Finkel ;Amrita Suresh

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:49:1-49:17.doi:10.4230/LIPIcs.CONCUR.2020.49

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

文章 ID：255822908

文章详细全文下载

7.Forward Analysis for WSTS, Part III: Karp-Miller Trees

作　　者：Michael Blondin ;Alain Finkel ;Jean Goubault-Larrecq

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:16:1-16:15.doi:10.4230/LIPIcs.FSTTCS.2017.16

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

文章 ID：220015401

文章详细

8.Forward Analysis for WSTS, Part II: Complete WSTS

作　　者：Alain Finkel ;Jean Goubault-Larrecq

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

出版社：Technical University of Braunschweig

文章 ID：264691969

文章详细全文下载

9.Model Checking Vector Addition Systems with one zero-test

作　　者：Rémi Bonnet ;Alain FInkel ;Jérôme Leroux 等

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

出版社：Technical University of Braunschweig

文章 ID：264691990

文章详细全文下载

10.Forward Analysis for WSTS, Part I: Completions

作　　者：Alain Finkel ;Jean Goubault-Larrecq

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:433-444.doi:10.4230/LIPIcs.STACS.2009.1844

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

文章 ID：186845561

文章详细全文下载

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

	2022	1篇
	2020	1篇
	2019	2篇
	2018	2篇
	2017	1篇

	2012	3篇
	2011	1篇
	2010	1篇
	2009	2篇

	Alain Finkel	13篇
	Jean Goubault-Larrecq	3篇
	Amrita Suresh	2篇
	Benedikt Bollig	2篇
	J{\'e}r{\^o}me Leroux	2篇

	M. Praveen	2篇
	Marc Zeitoun	2篇
	R{\'e}mi Bonnet	2篇
	Alain FInkel	1篇
	Ekanshdeep Gupta	1篇
	Etienne Lozes	1篇
	Florent Bouchy	1篇
	Gr{\'e}goire Sutre	1篇
	Jérôme Leroux	1篇
	Michael Blondin	1篇
	Michaël Cadilhac	1篇
	Pierluigi San Pietro	1篇
	Pierre McKenzie	1篇
	Rémi Bonnet	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Alain FInkel")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	9篇
	Logical Methods in Computer Science	3篇
	Electronic Proceedings in Theoretical Computer Science	2篇

	德国	12篇
	澳大利亚	2篇