1.A Few Considerations on Structural and Logical Composition in Specification Theories

作　　者：Axel Legay ;Andrzej Wąsowski

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;46:49-54.doi:10.4204/EPTCS.46.4

出版社：Open Publishing Association

文章 ID：83120107

文章详细全文下载

2.Distributed Parametric and Statistical Model Checking

作　　者：Peter Bulychev ;Alexandre David ;Kim Guldstrand Larsen 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;72:30-42.doi:10.4204/EPTCS.72.4

出版社：Open Publishing Association

文章 ID：83120350

文章详细全文下载

3.Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

作　　者：Peter Bulychev ;Alexandre David ;Kim G. Larsen 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;78:1-14.doi:10.4204/EPTCS.78.1

出版社：Open Publishing Association

文章 ID：83120470

文章详细全文下载

4.UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

作　　者：Peter Bulychev ;Alexandre David ;Kim Gulstrand Larsen 等

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

出版社：Open Publishing Association

文章 ID：83120499

文章详细全文下载

5.A Robust Specification Theory for Modal Event-Clock Automata

作　　者：Uli Fahrenberg ;Axel Legay

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;87:5-16.doi:10.4204/EPTCS.87.2

出版社：Open Publishing Association

文章 ID：83120510

文章详细全文下载

6.Statistical Model Checking for Stochastic Hybrid Systems

作　　者：Alexandre David ;Dehui Du ;Kim G. Larsen 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;92:122-136.doi:10.4204/EPTCS.92.9

出版社：Open Publishing Association

文章 ID：83120564

文章详细全文下载

7.Qualitative Logics and Equivalences for Probabilistic Systems

作　　者：Luca de Alfaro ;Krishnendu Chatterjee ;Marco Faella 等

出　　处：Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:7)2009

出版社：Technical University of Braunschweig

文章 ID：47208404

文章详细全文下载

8.Refinement and Difference for Probabilistic Automata

作　　者：Benoît Delahaye ;Uli Fahrenberg ;Kim Larsen 等

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

出版社：Technical University of Braunschweig

文章 ID：264692135

文章详细全文下载

9.Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms

作　　者：Antoine Aspeel ;Axel Legay ;Raphaël M. Jungers 等

出　　处：EURASIP Journal on Advances in Signal Processing. 2021 ;2021(1):1.doi:10.1186/s13634-021-00732-8

出版社：Hindawi Publishing Corporation

文章 ID：266495142

文章详细全文下载

10.On Timed Alternating Simulation for Concurrent Timed Games

作　　者：Laura Bozzelli ;Axel Legay ;Sophie Pinchinat

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:85-96.doi:10.4230/LIPIcs.FSTTCS.2009.2309

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

文章 ID：186845592

文章详细全文下载

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

	2022	1篇
	2021	1篇
	2015	4篇
	2014	3篇
	2012	4篇

	2011	2篇
	2010	1篇
	2009	2篇
	2006	1篇

	Axel Legay	19篇
	Alexandre David	5篇
	Uli Fahrenberg	5篇
	Marius Mikučionis	4篇
	Danny Bøgsted Poulsen	3篇

	Kim G. Larsen	3篇
	Peter Bulychev	3篇
	Sean Sedwards	3篇
	Louis-Marie Traonouez	2篇
	Luca de Alfaro	2篇
	Marco Faella	2篇
	Andrzej Wasowski	1篇
	Andrzej Wąsowski	1篇
	Antoine Aspeel	1篇
	Benoit Macq	1篇
	Benoît Delahaye	1篇
	Bo Friis Nielsen	1篇
	Claus Thrane	1篇
	Cyrille Jegourel	1篇
	David Cachera	1篇
	Dehui Du	1篇
	Dror Fried	1篇
	Fabrizio Biondi	1篇
	Joël Ouaknine	1篇
	Kim Guldstrand Larsen	1篇
	Kim Gulstrand Larsen	1篇
	Kim Larsen	1篇
	Krishnendu Chatterjee	1篇
	Laura Bozzelli	1篇
	Moshe Y. Vardi	1篇
	Pasquale Malacaria	1篇
	Raphaël M. Jungers	1篇
	Sophie Pinchinat	1篇
	Zheng Wang	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

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

	Electronic Proceedings in Theoretical Computer Science	6篇
	LIPIcs : Leibniz International Proceedings in Informatics	5篇
	Electronic Communications of the EASST	3篇
	Logical Methods in Computer Science	3篇
	EURASIP Journal on Advances in Signal Processing	1篇

	计算技术、计算机技术	18篇
	电子计算机的应用	1篇

	德国	12篇
	澳大利亚	6篇
	英国	1篇