Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2014 | |
| Articolo in rivista | |
| Automata-theoretic decision of timed games THEORETICAL COMPUTER SCIENCE. Vol. 515. Pag.46-63 ISSN:0304-3975. | |
| Faella, Marco; LA TORRE, Salvatore; Murano, Aniello | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2013.08.021 Codice identificativo ISI: WOS:000330913500003 Codice identificativo SCOPUS: 2-s2.0-84890118252 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Scope-Bounded Pushdown Languages. In: Proc. of the 18th International Conference on Developments in Language Theory, DLT 2014 LNCS Springer-Verlag Vol.8633, Pag.116-128 ISBN:9783319096971; 9783319096988 | |
| 18th International Conference on Developments in Language Theory, DLT 2014, Proceedings Ekaterinburg, Russia August 26-29, 2014. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/978-3-319-09698-8_11 Codice identificativo ISI: WOS:000377874300008 Codice identificativo SCOPUS: 2-s2.0-84906487304 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| A Unifying Approach for Multistack Pushdown Automata. In: Proc. of the 39th International Symposium on Mathematical Foundations of Computer Science 2014, MFCS 2014 LNCS Springer-Verlag Vol.8634, Pag.377-389 ISBN:9783662445211; 9783662445228 | |
| 39th International Symposium, MFCS 2014, Proceedings, Part I Budapest, Hungary August 25-29, 2014 | |
| LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/978-3-662-44522-8_32 Codice identificativo ISI: WOS:000349856300032 Codice identificativo SCOPUS: 2-s2.0-84906330796 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Visibly Pushdown Modular Games. In: Electronic Proceedings in Theoretical Computer Science GandALF 2014 EPTCS Vol.161, Pag.260-274 | |
| Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014 Verona, Italy September 10-12, 2014 | |
| DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Yaron, Velner | |
| Digital Object Identifier (DOI): 10.4204/EPTCS.161.22 Codice identificativo SCOPUS: 2-s2.0-84938692970 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings. In: Proc. of Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 LNCS Springer-Verlag Vol.8413, Pag.402-404 ISBN:9783642548611; 9783642548628 | |
| Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France April 5-13, 2014 | |
| Ermenegildo, Tomasco; Omar, Inverso; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-54862-8_30 Codice identificativo SCOPUS: 2-s2.0-84900538548 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Lazy-CSeq: A Lazy Sequentialization Tool for C. In: Proc. of Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Springer Vol.8413, Pag.398-401 ISBN:9783642548611; 9783642548628 | |
| Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France April 5-13, 2014 | |
| Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato | |
| Digital Object Identifier (DOI): 10.1007/978-3-642-54862-8_29 Codice identificativo SCOPUS: 2-s2.0-84900546750 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2014 | |
| Contributo in Atti di convegno | |
| Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. In: Proc. of Computer Aided Verification - 26th International Conference, CAV 2014 LNCS Springer-Verlag Vol.8559, Pag.585-602 ISBN:9783319088662; 9783319088679 | |
| Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria July 18-22, 2014 | |
| Omar, Inverso; Ermenegildo, Tomasco; Bernd, Fischer; LA TORRE, Salvatore; Gennaro, Parlato | |
| Digital Object Identifier (DOI): 10.1007/978-3-319-08867-9_39 Codice identificativo ISI: WOS:000491474200039 Codice identificativo SCOPUS: 2-s2.0-84904804493 | |
| Visualizza sul Database dei Prodotti (IRIS) |
