Travelled to:
1 × Cyprus
1 × Czech Republic
1 × USA
Collaborated with:
F.Mogavero A.Murano M.Faella
Talks about:
comput (2) logic (2) grade (2) tree (2) quantit (1) binari (1) game (1) fair (1) code (1)
Person: Alessandro Bianco
DBLP: Bianco:Alessandro
Contributed to:
Wrote 3 papers:
- CSL-2010-BiancoMM #logic
- Graded Computation Tree Logic with Binary Coding (AB, FM, AM), pp. 125–139.
- QAPL-2010-BiancoFMM #game studies
- Quantitative Fairness Games (AB, MF, FM, AM), pp. 48–63.
- LICS-2009-BiancoMM #logic
- Graded Computation Tree Logic (AB, FM, AM), pp. 342–351.