Thorsten Wißmann
发表
Ichiro Hasuo,
Shin-ya Katsumata,
Thorsten Wißmann,
2019,
FoSSaCS.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2018,
Log. Methods Comput. Sci..
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2018,
ArXiv.
Dirk Pattinson,
Daniel Gorín,
Lutz Schröder,
2014,
IJCAR.
Daniel Gorín,
Lutz Schröder,
Thorsten Wißmann,
2013,
Description Logics.
Stefan Milius,
Thorsten Wißmann,
2015,
CALCO.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2016,
Appl. Categorical Struct..
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2018,
CMCS.
Thorsten Wißmann,
2020
.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2017,
ArXiv.
Stefan Milius,
Dirk Pattinson,
Thorsten Wißmann,
2016,
FoSSaCS.
Stefan Milius,
Dirk Pattinson,
Thorsten Wißmann,
2018,
Inf. Comput..
Stefan Milius,
Dirk Pattinson,
Thorsten Wißmann,
2016,
ArXiv.
Stefan Milius,
Dexter Kozen,
Lutz Schröder,
2017,
FoSSaCS.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2017,
CONCUR.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2020,
Formal Aspects of Computing.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2018,
FM.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2021,
CONCUR.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2021,
Formal Aspects Comput..
Stefan Milius,
Thorsten Wißmann,
Jiří Adámek,
2019
.