papers
Publications (18)
math.AG2017
Singularities of secant varieties
Chih-Chi Chou, Lei Song
math.AG2016
On the projective normality of double coverings over a rational surface
Biswajit Rajaguru, Lei Song
cs.LO2016
Verify LTL with Fairness Assumptions Efficiently
Yong Li, Lei Song, Yuan Feng +1
math.AG2019
On the projective normality of cyclic coverings over a rational surface
Lei Song
cs.LO2014
Probably Safe or Live
Joost-Pieter Katoen, Lei Song, Lijun Zhang
cs.IT2013
Locating Multiple Ultrasound Targets in Chorus
Lei Song, Yongcai Wang
cs.LO2013
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Lei Song, Lijun Zhang, Jens Chr. Godskesen +1
cs.FL2016
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach
Yu-Fang Chen, Lei Song, Zhilin Wu
cs.FL2015
Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata
Yuan Feng, Lei Song, Lijun Zhang
math.AG2015
On the universal family of Hilbert schemes of points on a surface
Lei Song
cs.LO2015
A Simple Probabilistic Extension of Modal Mu-calculus
Wanwei Liu, Lei Song, Ji Wang +1
cs.PF2011
A Stochastic Broadcast Pi-Calculus
Lei Song, Flemming Nielson, Bo Friis Nielsen
math.AG2014
On the singularities of effective loci of line bundles
Lei Song
cs.LO2013
Bisimulations and Logical Characterizations on Continuous-time Markov Decision Processes
Lei Song, Lijun Zhang, Jens Chr. Godskesen
cs.DC2015
Design and optimization of DBSCAN Algorithm based on CUDA
Bingchen Wang, Chenglong Zhang, Lei Song +3
cs.FL2014
Late Weak Bisimulation for Markov Automata
Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns +2
math.AG2018
Kodaira vanishing for singular varieties revisited
Donu Arapura, Lei Song
physics.chem-ph2016
Formation of the prebiotic molecule NH$_2$CHO on astronomical amorphous solid water surfaces: accurate tunneling rate calculations
Lei Song, Johannes Kästner