Ximeng Li

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 4

Top Topics

Sum Product Algorithm

Multi Context Systems

Information Flows

Top Venues

J. Comput. Lang.

Programming Languages with Applications to Biology and Security

Publications

Ximeng Li, Flemming Nielson, Hanne Riis Nielson
Enforcing globally dependent flow policies in message-passing systems. J. Comput. Lang. 54 (2019)
Ximeng Li, Heiko Mantel, Markus Tasch
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. APLAS (2017)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson
Future-dependent Flow Policies with Prophetic Variables. PLAS@CCS (2016)
Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
A Coordination Language for Databases. Log. Methods Comput. Sci. 13 (1) (2016)
Hanne Riis Nielson, Flemming Nielson, Ximeng Li
Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security (2015)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson
Factorization of Behavioral Integrity. ESORICS (2) (2015)
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION (2015)
Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng
Disjunctive Information Flow for Communicating Processes. TGC (2015)