作　　者：Stefan Haar ;Christian Kern ;Stefan Schwoon

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:31-44.doi:10.4204/EPTCS.54.3

出 版 社：Open Publishing Association

文 章 ID：83120157

作　　者：Stefan Haar ;Serge Haddad ;Stefan Schwoon 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-16.doi:10.4230/LIPIcs.FSTTCS.2020.48

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

文 章 ID：257805118

作　　者：Stefan Haar ;Serge Haddad ;Tarek Melliti 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:527-539.doi:10.4230/LIPIcs.FSTTCS.2013.527

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

文 章 ID：186846434

作　　者：B{\'e}atrice B{\'e}rard ;Stefan Haar ;Loic H{\'e}lou{\"e}t

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

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

文 章 ID：230213169

作　　者：Stefan Haar ;Simon Theissing

出　　处：IFAC PapersOnLine. 2015 ;48(27):236-241.doi:10.1016/j.ifacol.2015.11.181

出 版 社：Elsevier

文 章 ID：1019285459