BibTeX records: Ximeng Li

download as .bib file

@article{DBLP:journals/corr/Li0LNN16,
  author    = {Ximeng Li and
               Xi Wu and
               Alberto Lluch{-}Lafuente and
               Flemming Nielson and
               Hanne Riis Nielson},
  title     = {A Coordination Language for Databases},
  journal   = {Logical Methods in Computer Science},
  volume    = {13},
  number    = {1},
  year      = {2016},
  url       = {https://doi.org/10.23638/LMCS-13(1:10)2017},
  doi       = {10.23638/LMCS-13(1:10)2017},
  timestamp = {Wed, 03 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Li0LNN16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NielsonNL15,
  author    = {Hanne Riis Nielson and
               Flemming Nielson and
               Ximeng Li},
  title     = {Hoare Logic for Disjunctive Information Flow},
  booktitle = {Programming Languages with Applications to Biology and Security -
               Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
  pages     = {47--65},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015degano},
  url       = {https://doi.org/10.1007/978-3-319-25527-9_6},
  doi       = {10.1007/978-3-319-25527-9_6},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/NielsonNL15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coordination/WuLLNN15,
  author    = {Xi Wu and
               Ximeng Li and
               Alberto Lluch{-}Lafuente and
               Flemming Nielson and
               Hanne Riis Nielson},
  title     = {Klaim-DB: {A} Modeling Language for Distributed Database Applications},
  booktitle = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2015, Held as Part of the 10th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2015, Grenoble, France, June 2-4, 2015, Proceedings},
  pages     = {197--212},
  year      = {2015},
  crossref  = {DBLP:conf/coordination/2015},
  url       = {https://doi.org/10.1007/978-3-319-19282-6_13},
  doi       = {10.1007/978-3-319-19282-6_13},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/WuLLNN15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/esorics/LiNN15,
  author    = {Ximeng Li and
               Flemming Nielson and
               Hanne Riis Nielson},
  title     = {Factorization of Behavioral Integrity},
  booktitle = {Computer Security - {ESORICS} 2015 - 20th European Symposium on Research
               in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings,
               Part {II}},
  pages     = {500--519},
  year      = {2015},
  crossref  = {DBLP:conf/esorics/2015-2},
  url       = {https://doi.org/10.1007/978-3-319-24177-7_25},
  doi       = {10.1007/978-3-319-24177-7_25},
  timestamp = {Tue, 23 May 2017 01:07:16 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/esorics/LiNN15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tgc/LiNNF15,
  author    = {Ximeng Li and
               Flemming Nielson and
               Hanne Riis Nielson and
               Xinyu Feng},
  title     = {Disjunctive Information Flow for Communicating Processes},
  booktitle = {Trustworthy Global Computing - 10th International Symposium, {TGC}
               2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
               Papers},
  pages     = {95--111},
  year      = {2015},
  crossref  = {DBLP:conf/tgc/2015},
  url       = {https://doi.org/10.1007/978-3-319-28766-9_7},
  doi       = {10.1007/978-3-319-28766-9_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tgc/LiNNF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/snpd/Li09,
  author    = {Ximeng Li},
  title     = {Research on E-government Initiatives and Enabling {IT}},
  booktitle = {10th {ACIS} International Conference on Software Engineering, Artificial
               Intelligences, Networking and Parallel/Distributed Computing, {SNPD}
               2009, in conjunction with 3rd International Workshop on e-Activity,
               {IWEA} 2009, 1st International Workshop on Enterprise Architecture
               Challenges and Responses, {WEACR} 2009, Catholic University of Daegu,
               Daegu, Korea, 27-29 May 2009},
  pages     = {59--62},
  year      = {2009},
  crossref  = {DBLP:conf/snpd/2009},
  url       = {https://doi.org/10.1109/SNPD.2009.56},
  doi       = {10.1109/SNPD.2009.56},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/snpd/Li09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015degano,
  editor    = {Chiara Bodei and
               Gian Luigi Ferrari and
               Corrado Priami},
  title     = {Programming Languages with Applications to Biology and Security -
               Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9465},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25527-9},
  doi       = {10.1007/978-3-319-25527-9},
  isbn      = {978-3-319-25526-2},
  timestamp = {Tue, 23 May 2017 01:06:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2015degano},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coordination/2015,
  editor    = {Tom Holvoet and
               Mirko Viroli},
  title     = {Coordination Models and Languages - 17th {IFIP} {WG} 6.1 International
               Conference, {COORDINATION} 2015, Held as Part of the 10th International
               Federated Conference on Distributed Computing Techniques, DisCoTec
               2015, Grenoble, France, June 2-4, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9037},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19282-6},
  doi       = {10.1007/978-3-319-19282-6},
  isbn      = {978-3-319-19281-9},
  timestamp = {Wed, 24 May 2017 08:27:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esorics/2015-2,
  editor    = {G{\"{u}}nther Pernul and
               Peter Y. A. Ryan and
               Edgar R. Weippl},
  title     = {Computer Security - {ESORICS} 2015 - 20th European Symposium on Research
               in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings,
               Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9327},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24177-7},
  doi       = {10.1007/978-3-319-24177-7},
  isbn      = {978-3-319-24176-0},
  timestamp = {Tue, 23 May 2017 01:07:16 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/esorics/2015-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tgc/2015,
  editor    = {Pierre Ganty and
               Michele Loreti},
  title     = {Trustworthy Global Computing - 10th International Symposium, {TGC}
               2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9533},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-28766-9},
  doi       = {10.1007/978-3-319-28766-9},
  isbn      = {978-3-319-28765-2},
  timestamp = {Sun, 21 May 2017 00:19:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tgc/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/snpd/2009,
  editor    = {Haeng{-}Kon Kim and
               Roger Y. Lee},
  title     = {10th {ACIS} International Conference on Software Engineering, Artificial
               Intelligences, Networking and Parallel/Distributed Computing, {SNPD}
               2009, in conjunction with 3rd International Workshop on e-Activity,
               {IWEA} 2009, 1st International Workshop on Enterprise Architecture
               Challenges and Responses, {WEACR} 2009, Catholic University of Daegu,
               Daegu, Korea, 27-29 May 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5286584},
  isbn      = {978-0-7695-3642-2},
  timestamp = {Tue, 11 Aug 2015 15:15:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/snpd/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier