Travelled to:1 × Denmark
1 × Italy
1 × United Kingdom
Collaborated with:A.Bucciarelli F.Mari I.Melatti E.Tronci S.D.Lorenzis A.Piperno
Talks about:intersect (1) synthesi (1) properti (1) feedback (1) softwar (1) quantiz (1) discret (1) control (1) boolean (1) system (1)
Person: Ivano Salvo
DBLP: Salvo:Ivano
Contributed to:
2010
1999
1998Wrote 3 papers:
- CAV-2010-MariMST #feedback #hybrid #linear #synthesis
- Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems (FM, IM, IS, ET), pp. 180–195.
- LICS-1999-BucciarelliLPS
- Some Computational Properties of Intersection Types (AB, SDL, AP, IS), pp. 109–118.
- ICALP-1998-BucciarelliS
- Totality, Definability and Boolean Ciruits (AB, IS), pp. 808–819.