1.IO vs OI in Higher-Order Recursion Schemes

作　　者：Axel Haddad

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;77:23-30.doi:10.4204/EPTCS.77.4

出版社：Open Publishing Association

文章 ID：83120465

文章详细全文下载
2.Model Checking and Functional Program Transformations

作　　者：Axel Haddad

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:115-126.doi:10.4230/LIPIcs.FSTTCS.2013.115

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

文章 ID：186846401

文章详细全文下载
3.To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:297-310.doi:10.4230/LIPIcs.CONCUR.2015.297

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

文章 ID：186847017

文章详细全文下载
4.Simple Priced Timed Games are not That Simple

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:278-292.doi:10.4230/LIPIcs.FSTTCS.2015.278

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

文章 ID：186847191

文章详细全文下载
5.Quantitative Games under Failures

作　　者：Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:293-306.doi:10.4230/LIPIcs.FSTTCS.2015.293

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

文章 ID：186847192

文章详细全文下载

	Axel Haddad	5篇
	Benjamin Monmege	3篇
	Gilles Geeraerts	3篇
	Thomas Brihaye	3篇
	Engel Lefaucheux	1篇

	Gabriel Renault	1篇
	Guillermo A. P{\'e}rez	1篇

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Axel Haddad")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Electronic Proceedings in Theoretical Computer Science	1篇

	2015	3篇
	2013	1篇
	2012	1篇