作 者:Michael Sioutis ;Anastasia Paparrizou ;Tomi Janhunen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;147:1-17.doi:10.4230/LIPIcs.TIME.2019.14
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:240116389
作 者:Michael Sioutis ;Anastasia Paparrizou ;Jean-Fran{\c{c}}ois Condotta
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:19:1-19:17.doi:10.4230/LIPIcs.TIME.2017.19
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:202422012
作 者:Michael Sioutis ;Diedrich Wolter
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;178:12:1-12:15.doi:10.4230/LIPIcs.TIME.2020.12
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822670