作 者:Kousha Etessami ;Alistair Stewart ;Mihalis Yannakakis
出 处:Electronic Colloquium on Computational Complexity. 2013 ;2013.
出 版 社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
文 章 ID:88774816
作 者:Rajeev Alur ;Marcelo Arenas ;Pablo Barcelo 等
出 处:Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:11)2008
出 版 社:Technical University of Braunschweig
文 章 ID:47109816
作 者:Kousha Etessami ;Marta Kwiatkowska ;Moshe Y. Vardi 等
出 处:Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:8)2008
出 版 社:Technical University of Braunschweig
文 章 ID:47109823
作 者:Kousha Etessami ;Mihalis Yannakakis
出 处:Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:7)2008
出 版 社:Technical University of Braunschweig
文 章 ID:47109825
作 者:Kousha Etessami ;Christos Papadimitriou ;Aviad Rubinstein 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;151:1-19.doi:10.4230/LIPIcs.ITCS.2020.18
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:243494256
作 者:Kousha Etessami ;Emanuel Martinov ;Alistair Stewart 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.115
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892250
作 者:Tom{\'a}s Br{\'a}zdil ;V{\'a}clav Brozek ;Kousha Etessami
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:108-119.doi:10.4230/LIPIcs.FSTTCS.2010.108
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845763
作 者:Kousha Etessami
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;20:1-2.doi:10.4230/LIPIcs.STACS.2013.1
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846239