作 者:Thomas Brihaye ;Gilles Geeraerts ;Marion Hallet 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-14.doi:10.4230/LIPIcs.FSTTCS.2019.35
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:241519889
作 者:Nicolas Basset ;Gilles Geeraerts ;Jean-Fran{\c{c}}ois Raskin 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:123:1-123:14.doi:10.4230/LIPIcs.ICALP.2017.123
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:198372077
作 者:Thomas Brihaye ;Gilles Geeraerts ;Hsi-Ming Ho 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:7:1-7:19.doi:10.4230/LIPIcs.TIME.2017.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:202422000
作 者:Gilles Geeraerts ;Eythan Levy ;Fr{\'e}d{\'e}ric Pluquet
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:13:1-13:18.doi:10.4230/LIPIcs.TIME.2017.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:202422006
作 者:Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:297-310.doi:10.4230/LIPIcs.CONCUR.2015.297
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847017
作 者:Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:278-292.doi:10.4230/LIPIcs.FSTTCS.2015.278
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847191
作 者:Thomas Brihaye ;Gilles Geeraerts ;Axel Haddad 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:293-306.doi:10.4230/LIPIcs.FSTTCS.2015.293
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847192
作 者:Gilles Geeraerts ;Shibashis Guha ;Jean-Fran{\c{c}}ois Raskin
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-22.doi:10.4230/LIPIcs.FSTTCS.2018.36
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213185