Pubblicazioni

Salvatore LA TORRE Pubblicazioni


2010
Contributo in Atti di convegno
Parametric Metric Interval Temporal Logic.
In: 4th International Conference Language and Automata Theory and Applications (LATA 2010) Springer Vol.Lecture Notes in Computer Science 6031, Pag.249-260
ISBN:9783642130885
4th International Conference on Language and Automata Theory and Applications, LATA 2010
Trier (Germany) May 24-28, 2010
DI GIAMPAOLO, Barbara; LA TORRE, Salvatore; Napoli, Margherita
Codice identificativo ISI: WOS:000279649600021
Codice identificativo SCOPUS: 2-s2.0-77953791611
Visualizza sul Database dei Prodotti (IRIS)
2010
Contributo in Atti di convegno
The Language Theory of Bounded Context-Switching.
In: 9th Latin American Symposium on Theoretical Informatics (LATIN 2010) Springer Vol.Lecture Notes in Computer Science 6034, Pag.96-107
ISBN:9783642121999
9th Latin American Theoretical Informatics Symposium, LATIN 2010
Oaxaca, Mexico April 19-23, 2010
LA TORRE, Salvatore; Parthasarathy, Madhusudan; Parlato, Gennaro
Codice identificativo ISI: WOS:000279661700009
Codice identificativo SCOPUS: 2-s2.0-77953486393
Visualizza sul Database dei Prodotti (IRIS)
2010
Contributo in Atti di convegno
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces.
In: 22nd International Conference on Computer Aided Verification (CAV 2010) Springer Vol.Lecture Notes in Computer Science 6174, Pag.629-644
ISBN:9783642142949
22nd International Conference on Computer-Aided Verification, CAV 2010
Edinburgh; United Kingdom 15 July 2010 through 19 July 2010
LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro
Codice identificativo ISI: WOS:000281446200053
Codice identificativo SCOPUS: 2-s2.0-77955003220
Visualizza sul Database dei Prodotti (IRIS)