作 者:Patricia Bouyer ;Serge Haddad ;Vincent Jug{\'e
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:31:1-31:16.doi:10.4230/LIPIcs.CONCUR.2017.31
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735197
作 者:B{\'e}atrice B{\'e}rard ;Serge Haddad ;Engel Lefaucheux
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:13:1-13:14.doi:10.4230/LIPIcs.FSTTCS.2017.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015398
作 者: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
作 者:Nathalie Bertrand ;Serge Haddad ;Engel Lefaucheux
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:417-429.doi:10.4230/LIPIcs.FSTTCS.2014.417
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846622
作 者:Nathalie Bertrand ;Serge Haddad ;Engel Lefaucheux
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:37:1-37:15.doi:10.4230/LIPIcs.CONCUR.2016.37
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847595