Lei Song (IT University of Copenhagen

Identifiers

• name variant Lei Song (IT University of Copenhagen 0.60 · backfill

Papers (2)

1. A Stochastic Broadcast Pi-Calculus cs.PF · 2011 · author #1
2. Bisimulations Meet PCTL Equivalences for Probabilistic Automata cs.LO · 2011 · author #1

Mentions

• 1107.1202 #1 · backfill · confidence 0.70 Lei Song (IT University of Copenhagen
• 1106.2181 #1 · backfill · confidence 0.70 Lei Song (IT University of Copenhagen

Frequent Coauthors

• Denmark) 2 shared papers
• Bo Friis Nielsen (Technical University of Denmark) 1 shared papers
• Flemming Nielson (DTU Compute 1 shared papers
• Flemming Nielson (Technical University of Denmark) 1 shared papers
• Jens Chr. Godskesen (IT University of Copenhagen 1 shared papers
• Lijun Zhang (DTU Informatics 1 shared papers
• Technical University of Denmark) 1 shared papers