Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2012 | |
| Contributo in Atti di convegno | |
| A Temporal Logic for Multi-threaded Programs. In: Proc. of the 7th IFIP International Conference on Theoretical Computer Science 2012, TCS'12. Lecture Notes in Computer Science Springer Vol.7604, Pag.225-239 ISBN:9783642334740 | |
| 7th IFIP International Conference on Theoretical Computer Science 2012, TCS'12, Amsterdam, The Netherlands September 26-28, 2012 | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Codice identificativo SCOPUS: 2-s2.0-84866915947 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| Sequentializing Parameterized Programs. In: Proc. of the 4th International Workshop on Foundations of Interface Technologies (FIT'12, satellite workshop at ETAPS 2012) EPTCS Vol.87, Pag.34-47 | |
| 4th International Workshop on Foundations of Interface Technologies (FIT'12, satellite workshop at ETAPS 2012) Tallinn, Estonia March 25, 2012 | |
| LA TORRE, Salvatore; P., Madhusudan; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.4204/EPTCS.87.4 Codice identificativo SCOPUS: 2-s2.0-85026634221 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2012 | |
| Contributo in Atti di convegno | |
| Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik Vol.18, Pag.173-184 ISBN:9783939897477 | |
| 32nd International Conference on Foundations of Software Technology and Theoretical Computer Science Hyderabad (India) December 15-17 | |
| LA TORRE, Salvatore; Parlato, Gennaro | |
| Codice identificativo SCOPUS: 2-s2.0-84880232378 | |
| Visualizza sul Database dei Prodotti (IRIS) |
