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
DBLP: Song:Lei
Contributed to:
2015
2014
2014
2011
2005
2003
2016Wrote 7 papers:
- FM-2015-EisentrautGHS0 #bisimulation #probability
- Probabilistic Bisimulation for Realistic Schedulers (CE, JCG, HH, LS, LZ), pp. 248–264.
- LICS-CSL-2014-KatoenSZ
- 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.