作　　者：Julien Cristau ;Claire David ;Florian Horn

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;25:30-39.doi:10.4204/EPTCS.25.7

出 版 社：Open Publishing Association

文 章 ID：83119902

作　　者：Hugo Gimbert ;Florian Horn

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

出 版 社：Technical University of Braunschweig

文 章 ID：47208407

作　　者：Florian Horn ;Martino Leghissa ;Sebastian Kaeppler 等

出　　处：Scientific Reports. 2018 ;8(1):2325.doi:10.1038/s41598-018-19482-z

出 版 社：Springer Nature

文 章 ID：230254257

作　　者：Florian Horn ;Arnaud Sangnier

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

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

文 章 ID：255822905

作　　者：Florian Horn

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:235-243.doi:10.4230/LIPIcs.FSTTCS.2008.1756

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

文 章 ID：186845508

作　　者：Julien Cristau ;Florian Horn

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:143-154.doi:10.4230/LIPIcs.FSTTCS.2008.1748

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

文 章 ID：186845509

作　　者：Florian Horn

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:541-552.doi:10.4230/LIPIcs.STACS.2009.1848

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

文 章 ID：186845570

作　　者：Thomas Colcombet ;Nathanael Fijalkow ;Florian Horn

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:379-390.doi:10.4230/LIPIcs.FSTTCS.2014.379

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

文 章 ID：186846620

作　　者：Eugene Asarin ;Julien Cervelle ;Aldric Degorre 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:11:1-11:14.doi:10.4230/LIPIcs.STACS.2016.11

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

文 章 ID：186847225