Ximeng Li
发表
Flemming Nielson,
Hanne Riis Nielson,
Ximeng Li,
2016,
PLAS@CCS.
Heiko Mantel,
Ximeng Li,
Markus Tasch,
2017,
APLAS.
Hanne Riis Nielson,
Alberto Lluch-Lafuente,
Xi Wu,
2016,
Log. Methods Comput. Sci..
Hanne Riis Nielson,
Alberto Lluch-Lafuente,
Xi Wu,
2015,
COORDINATION.
Ximeng Li,
Ximeng Li,
2016
.
Heiko Mantel,
Iva Toteva,
Ximeng Li,
2017
.
Flemming Nielson,
Xinyu Feng,
Hanne Riis Nielson,
2015,
TGC.
Flemming Nielson,
Hanne Riis Nielson,
Ximeng Li,
2015,
Programming Languages with Applications to Biology and Security.
Heiko Mantel,
Mihai Herda,
Simon Greiner,
2017
.
Flemming Nielson,
Hanne Riis Nielson,
Ximeng Li,
2019,
J. Comput. Lang..
Flemming Nielson,
Hanne Riis Nielson,
Ximeng Li,
2015,
ESORICS.
Ximeng Li,
Brendan Choat,
B. Choat,
2018,
Plant, cell & environment.