BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Salvo:Ivano

Contributed to:

CAV 20102010
LICS 19991999
ICALP 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.