作 者:Artem Khyzha ;Hagit Attiya ;Alexey Gotsman
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;146:1-17.doi:10.4230/LIPIcs.DISC.2019.24
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:240116420
作 者:Alexey Gotsman ;Sebastian Burckhardt
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;91:23:1-23:16.doi:10.4230/LIPIcs.DISC.2017.23
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:202421956
作 者:Andrea Cerone ;Alexey Gotsman ;Hongseok Yang
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:26:1-26:18.doi:10.4230/LIPIcs.CONCUR.2017.26
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735192
作 者:Manuel Bravo ;Gregory Chockler ;Alexey Gotsman
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;179:1-17.doi:10.4230/LIPIcs.DISC.2020.23
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:256859591
作 者:Alexey Gotsman ;Hongseok Yang
出 处:Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:12)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692033
作 者:Andrea Cerone ;Giovanni Bernardi ;Alexey Gotsman
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:58-71.doi:10.4230/LIPIcs.CONCUR.2015.58
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847000
作 者:Giovanni Bernardi ;Alexey Gotsman
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:7:1-7:15.doi:10.4230/LIPIcs.CONCUR.2016.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847566
作 者:Gregory Chockler ;Alexey Gotsman
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;121:1-18.doi:10.4230/LIPIcs.DISC.2018.14
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213212
作 者:Álvaro Garc{'i}a-Prez ;Alexey Gotsman
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;125:1-16.doi:10.4230/LIPIcs.OPODIS.2018.17
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230438619