| https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/journals/corr/abs-2008-00425 +
, https://dblp.org/rec/journals/iandc/Huang0K19 +
, https://dblp.org/rec/journals/pacmpl/Huang0CG19 +
, https://dblp.org/rec/journals/corr/abs-1901-06087 +
, https://dblp.org/rec/conf/aplas/HuangFC18 +
, https://dblp.org/rec/journals/corr/abs-1806-06683 +
, https://dblp.org/rec/conf/concur/HuangY17 +
, https://dblp.org/rec/journals/corr/YinHH17 +
, https://dblp.org/rec/conf/lics/HeH15 +
, https://dblp.org/rec/journals/corr/HeH15 +
, https://dblp.org/rec/conf/icalp/YinFHHT14 +
, https://dblp.org/rec/journals/corr/YinFHHT14 +
|
| https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/92/5602 +
, https://dblp.org/pid/19/7123 +
, https://dblp.org/pid/27/6047 +
, https://dblp.org/pid/169/9728 +
, https://dblp.org/pid/16/8737 +
, https://dblp.org/pid/k/JoostPieterKatoen +
, https://dblp.org/pid/254/1865 +
, https://dblp.org/pid/66/10313 +
, https://dblp.org/pid/66/2479 +
, https://dblp.org/pid/20/9622-2 +
|
| https://dblp.org/rdf/schema#creatorName
|
Mingzhang Huang
|
| https://dblp.org/rdf/schema#creatorOf
|
https://dblp.org/rec/journals/corr/abs-2008-00425 +
, https://dblp.org/rec/journals/iandc/Huang0K19 +
, https://dblp.org/rec/journals/pacmpl/Huang0CG19 +
, https://dblp.org/rec/journals/corr/abs-1901-06087 +
, https://dblp.org/rec/conf/aplas/HuangFC18 +
, https://dblp.org/rec/journals/corr/abs-1806-06683 +
, https://dblp.org/rec/conf/concur/HuangY17 +
, https://dblp.org/rec/journals/corr/YinHH17 +
, https://dblp.org/rec/conf/lics/HeH15 +
, https://dblp.org/rec/journals/corr/HeH15 +
, https://dblp.org/rec/conf/icalp/YinFHHT14 +
, https://dblp.org/rec/journals/corr/YinFHHT14 +
|
| https://dblp.org/rdf/schema#primaryCreatorName
|
Mingzhang Huang
|
| rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
| rdfs:label |
Mingzhang Huang
|
