1.A Congruence-based Perspective on Automata Minimization Algorithms

作　　者：Pierre Ganty ;Elena Gutirrez ;Pedro Valero

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-14.doi:10.4230/LIPIcs.MFCS.2019.77

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

文章 ID：238892422

文章详细全文下载
2.A Quasiorder-Based Perspective on Residual Automata

作　　者：Pierre Ganty ;Elena Gutirrez ;Pedro Valero

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:40:1-40:14.doi:10.4230/LIPIcs.MFCS.2020.40

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

文章 ID：255822950

文章详细全文下载
3.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

文章详细全文下载
4.Verification of Population Protocols

作　　者：Javier Esparza ;Pierre Ganty ;J{\'e}r{\^o}me Leroux 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:470-482.doi:10.4230/LIPIcs.CONCUR.2015.470

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

文章 ID：186847029

文章详细全文下载
5.Model Checking Population Protocols

作　　者：Javier Esparza ;Pierre Ganty ;J{\'e}r{\^o}me Leroux 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:27:1-27:14.doi:10.4230/LIPIcs.FSTTCS.2016.27

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

文章 ID：186848147

文章详细全文下载
6.The Parikh Property for Weighted Context-Free Grammars

作　　者：Pierre Ganty ;Elena Guti{\'e}rrez

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-20.doi:10.4230/LIPIcs.FSTTCS.2018.32

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

文章 ID：230213181

文章详细全文下载
7.Verification of Immediate Observation Population Protocols

作　　者：Javier Esparza ;Pierre Ganty ;Rupak Majumdar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-16.doi:10.4230/LIPIcs.CONCUR.2018.31

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

文章 ID：230213343

文章详细全文下载

	Pedro Valero	2篇
	Chana Weil-Kennedy	1篇
	Elena Guti{\'e}rrez	1篇
	Mohamed Faouzi Atig	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Pierre Ganty")))) )) ) )"

	Pierre Ganty	7篇
	Javier Esparza	3篇
	Rupak Majumdar	3篇
	Elena Gutirrez	2篇
	J{\'e}r{\^o}me Leroux	2篇

	2020	1篇
	2019	1篇
	2018	2篇
	2016	1篇
	2015	1篇