作　　者：Benjamin Bordais ;Shibashis Guha ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-15.doi:10.4230/LIPIcs.FSTTCS.2019.32

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

文 章 ID：241519886

作　　者：Emmanuel Filiot ;Shibashis Guha ;Nicolas Mazzocchi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-14.doi:10.4230/LIPIcs.FSTTCS.2019.40

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

文 章 ID：241519894

作　　者：Guy Avni ;Shibashis Guha ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:37:1-37:16.doi:10.4230/LIPIcs.MFCS.2017.37

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

文 章 ID：205510085

作　　者：Shibashis Guha ;Shankara Narayanan Krishna ;Lakshmi Manasa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:261-277.doi:10.4230/LIPIcs.FSTTCS.2015.261

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

文 章 ID：186847190

作　　者：Shibashis Guha ;Marcin Jurdzinski ;Shankara Narayanan Krishna 等

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

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

文 章 ID：186848164

作　　者：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

作　　者：Guy Avni ;Shibashis Guha ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-18.doi:10.4230/LIPIcs.MFCS.2018.23

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

文 章 ID：230213378