Henning Urbat
发表
S. Goncharov,
Stelios Tsampas,
S. Milius,
2022,
ArXiv.
S. Goncharov,
Stelios Tsampas,
S. Milius,
2022,
FSCD.
J. Adámek,
S. Milius,
Henning Urbat,
2021,
ACM Trans. Comput. Log..
S. Milius,
Henning Urbat,
Fabian Birkmann,
2022,
Information and Computation.
S. Milius,
Henning Urbat,
2018
.
Henning Urbat,
Lutz Schröder,
Lutz Schröder,
2019,
LICS.
Stefan Milius,
Henning Urbat,
Henning Urbat,
2018,
FoSSaCS.
Jirí Adámek,
Stefan Milius,
Henning Urbat,
2016,
MFCS.
Stefan Milius,
Henning Urbat,
Jiří Adámek,
2015,
FoSSaCS.
Stefan Milius,
Henning Urbat,
Robert S. R. Myers,
2021,
FoSSaCS.
Henning Urbat,
Florian Frank,
Stefan Milius,
2022,
CMCS.
Henning Urbat,
J. Ad'amek,
Stefan Milius,
2019,
J. Log. Comput..
Jirí Adámek,
Stefan Milius,
Henning Urbat,
2018,
CMCS.