作 者:Vasco Brattka ;Arno Pauly
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;24:41-55.doi:10.4204/EPTCS.24.9
出 版 社:Open Publishing Association
文 章 ID:83119884
作 者:Arno Pauly ;Dongseong Seon ;Martin Ziegler
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-17.doi:10.4230/LIPIcs.CSL.2020.34
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:243494235
作 者:St{\'e}phane Le Roux ;Arno Pauly ;Jean-Fran{\c{c}}ois Raskin
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:50:1-50:13.doi:10.4230/LIPIcs.STACS.2017.50
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:191698379
作 者:Matthew de Brecht ;Arno Pauly
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:16:1-16:17.doi:10.4230/LIPIcs.CSL.2017.16
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735082
作 者:Romain Brenguier ;Arno Pauly ;Jean-Fran{\c{c}}ois Raskin 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:2:1-2:23.doi:10.4230/LIPIcs.CONCUR.2017.2
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:200735168
作 者:Gaßner, Christine ;Arno Pauly ;Florian Steinberg
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:22:1-22:22.doi:10.4230/LIPIcs.CSL.2021.22
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:258514184
作 者:Kojiro Higuchi ;Arno Pauly
出 处:Logical Methods in Computer Science. 2013 ;9(2):1.doi:10.2168/LMCS-9(2:2)2013
出 版 社:Technical University of Braunschweig
文 章 ID:264692040
作 者:Stéphane Le Roux ;Arno Pauly
出 处:Logical Methods in Computer Science. 2015 ;11(4):1.doi:10.2168/LMCS-11(4:6)2015
出 版 社:Technical University of Braunschweig
文 章 ID:264692115
作 者:Takayuki Kihara ;Arno Pauly
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:58:1-58:14.doi:10.4230/LIPIcs.MFCS.2016.58
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847885
作 者:Arno Pauly
出 处:OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2271
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848319