Hoare Logic for Disjunctive Information Flow. - Hanne Riis Nielson; Flemming Nielson; Ximeng Li 001 (Programming Languages with Applications to Biology and Security, 2015)

Klaim-DB: A Modeling Language for Distributed Database Applications. - Xi Wu 005; Ximeng Li 001; Alberto Lluch-Lafuente; Flemming Nielson; Hanne Riis Nielson (COORDINATION, 2015)

Factorization of Behavioral Integrity. - Ximeng Li 001; Flemming Nielson; Hanne Riis Nielson (ESORICS (2), 2015)

Disjunctive Information Flow for Communicating Processes. - Ximeng Li 001; Flemming Nielson; Hanne Riis Nielson; Xinyu Feng 001 (TGC, 2015)

Future-dependent Flow Policies with Prophetic Variables. - Ximeng Li 001; Flemming Nielson; Hanne Riis Nielson (PLAS@CCS, 2016)

A Coordination Language for Databases. - Ximeng Li 001; Xi Wu 005; Alberto Lluch-Lafuente; Flemming Nielson; Hanne Riis Nielson (Log. Methods Comput. Sci., 2016)

Fine-grained Information Flow for Concurrent Computation. - Ximeng Li 001 (2016)

Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. - Ximeng Li 001; Heiko Mantel; Markus Tasch (APLAS, 2017)

Enforcing globally dependent flow policies in message-passing systems. - Ximeng Li 001; Flemming Nielson; Hanne Riis Nielson (J. Comput. Lang., 2019)