Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ximeng Li 0001

> Home > Persons

Person information

affiliation: TU Darmstadt, Department of Computer Science, Germany
affiliation: Technical University of Denmark, DTU Compute, Copenhagen, Denmark

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/LiNN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/LiNN19
Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Enforcing globally dependent flow policies in message-passing systems. J. Comput. Lang. 54 (2019)
2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/LiMT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/LiMT17
Ximeng Li, Heiko Mantel, Markus Tasch:
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. APLAS 2017: 45-66
2016
[b1]
- view
  - electronic edition @ dtu.dk
  - no references & citations available
- export record
  dblp key:
  - phd/dk/Li16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dk/Li16
Ximeng Li:
Fine-grained Information Flow for Concurrent Computation. Technical University of Denmark, 2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Li0LNN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Li0LNN16
Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
A Coordination Language for Databases. Log. Methods Comput. Sci. 13(1) (2016)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LiNN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LiNN16
Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Future-dependent Flow Policies with Prophetic Variables. PLAS@CCS 2016: 29-42
2015
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NielsonNL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NielsonNL15
Hanne Riis Nielson, Flemming Nielson, Ximeng Li:
Hoare Logic for Disjunctive Information Flow. Programming Languages with Applications to Biology and Security 2015: 47-65
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/WuLLNN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/WuLLNN15
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson:
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION 2015: 197-212
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/LiNN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/LiNN15
Ximeng Li, Flemming Nielson, Hanne Riis Nielson:
Factorization of Behavioral Integrity. ESORICS (2) 2015: 500-519
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/LiNNF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/LiNNF15
Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng:
Disjunctive Information Flow for Communicating Processes. TGC 2015: 95-111

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.