作 者:Jose Espirito Santo ;Ralph Matthes ;Luis Pinto
出 处:Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:11)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47208397
作 者:Ulrich Berger ;Ralph Matthes ;Anton Setzer
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;130:1-22.doi:10.4230/LIPIcs.TYPES.2018.1
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:241520019
作 者:Benedikt Ahrens ;Ralph Matthes
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:2:1-2:23.doi:10.4230/LIPIcs.TYPES.2015.2
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015477
作 者:Ralph Matthes ;Celia Picard
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;19:55-69.doi:10.4230/LIPIcs.TYPES.2011.55
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846237
作 者:Ralph Matthes ;Aleksy Schubert
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:i-x.doi:10.4230/LIPIcs.TYPES.2013.i
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846494
作 者:Celia Picard ;Ralph Matthes
出 处:Electronic Communications of the EASST. 2011 ;39.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:185436388