Travelled to:1 × Taiwan
1 × USA
Collaborated with:L.Xu N.Li F.Mo J.Hickey A.Nogin A.Kopylov
Talks about:represent (1) stochast (1) reflect (1) program (1) reason (1) mechan (1) length (1) hybrid (1) consid (1) bruijn (1)
Person: Xin Yu
DBLP: Yu:Xin
Contributed to:
2014
2006Wrote 2 papers:
- CASE-2014-XuLYM #integer #probability #programming
- A mixed integer programming model for Bed planning considering stochastic length of stay (LX, NL, XY, FM), pp. 1069–1074.
- ICFP-2006-HickeyNYK #hybrid #representation #using
- Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection (JH, AN, XY, AK), pp. 172–183.