作 者:Anselm Haak ;Juha Kontinen ;Fabian M{"u}ller 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.19
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891969
作 者:Juha Kontinen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:1:1-1:1.doi:10.4230/LIPIcs.STACS.2017.1
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:191698330
作 者:Miika Hannula ;Juha Kontinen ;Lück, Martin 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:27:1-27:22.doi:10.4230/LIPIcs.CSL.2021.27
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:258514189
作 者:Johannes Ebbing ;Juha Kontinen ;Julian-Steffen Müller 等
出 处:Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:3)2014
出 版 社:Technical University of Braunschweig
文 章 ID:264692134
作 者:Arnaud Durand ;Johannes Ebbing ;Juha Kontinen 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:252-263.doi:10.4230/LIPIcs.FSTTCS.2011.252
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845883
作 者:Pietro Galliani ;Miika Hannula ;Juha Kontinen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:263-280.doi:10.4230/LIPIcs.CSL.2013.263
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846343
作 者:Juha Kontinen ;Julian-Steffen M{\"u}ller ;Henning Schnoor 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:277-291.doi:10.4230/LIPIcs.CSL.2015.277
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847052
作 者:Juha Kontinen ;Antti Kuusisto ;Jonni Virtema
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:60:1-60:14.doi:10.4230/LIPIcs.MFCS.2016.60
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847887
作 者:Arnaud Durand ;Anselm Haak ;Juha Kontinen 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:20:1-20:16.doi:10.4230/LIPIcs.CSL.2016.20
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847937