BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Germany
1 × Norway
3 × USA
Collaborated with:
L.Zhang J.C.Godskesen J.Katoen F.Nielson B.F.Nielsen X.Li J.Ni A.Lim B.Rodrigues Y.Chen Z.Wu C.Eisentraut H.Hermanns
Talks about:
schedul (2) bisimul (2) time (2) probabilist (1) framework (1) discoveri (1) character (1) broadcast (1) transduc (1) stochast (1)

Person: Lei Song


Contributed to:

FM 20152015
CSL-LICS 20142014
VMCAI 20142014
QAPL 20112011
ICEIS v4 20052005
SAC 20032003
CAV (2) 20162016

Wrote 7 papers:

FM-2015-EisentrautGHS0 #bisimulation #probability
Probabilistic Bisimulation for Realistic Schedulers (CE, JCG, HH, LS, LZ), pp. 248–264.
Probably safe or live (JPK, LS, LZ), p. 10.
VMCAI-2014-Song0G #bisimulation #logic #markov #process
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (LS, LZ, JCG), pp. 98–117.
QAPL-2011-SongNN #probability #π-calculus
A Stochastic Broadcast π-Calculus (LS, FN, BFN), pp. 74–88.
ICEIS-v4-2005-SongLN #database #mobile
A new Model for Database Service Discovery in Mobile Agent System (LS, XL, JN), pp. 214–219.
SAC-2003-LimRS #scheduling
Manpower Scheduling with Time Windows (AL, BR, LS), pp. 741–746.
CAV-2016-ChenSW #approach #commutative #framework #pipes and filters #problem #transducer
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach (YFC, LS, ZW), pp. 91–111.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.