Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2024 | |
| Articolo in rivista | |
| CHC-Based Verification of Programs Through Graph Decompositions SN COMPUTER SCIENCE. Vol. 5. Pag.1-28 ISSN:2661-8907. | |
| Faella, Marco; Garbi, Giulio; La Torre, Salvatore; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1007/s42979-024-03371-6 Codice identificativo SCOPUS: 2-s2.0-85209549238 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Articolo in rivista | |
| Bounded Verification of Multi-threaded Programs via Lazy Sequentialization ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. Vol. 44. Pag.1-50 ISSN:0164-0925. | |
| Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1145/3478536 Codice identificativo ISI: WOS:000748389400001 Codice identificativo SCOPUS: 2-s2.0-85123441720 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2020 | |
| Articolo in rivista | |
| Reachability of scope-bounded multistack pushdown systems INFORMATION AND COMPUTATION. Vol. 275. Pag.1-25 ISSN:0890-5401. | |
| La Torre, S.; Napoli, M.; Parlato, G. | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2020.104588 Codice identificativo ISI: WOS:000595367200019 Codice identificativo SCOPUS: 2-s2.0-85085091314 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2017 | |
| Articolo in rivista | |
| Visibly pushdown modular games INFORMATION AND COMPUTATION. Vol. 253. Pag.204-223 ISSN:0890-5401. | |
| DE CRESCENZO, Ilaria; LA TORRE, Salvatore; Velner, Y. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2016.07.007 Codice identificativo ISI: WOS:000397701700003 Codice identificativo SCOPUS: 2-s2.0-84999851886 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2016 | |
| Articolo in rivista | |
| Scope-Bounded Pushdown Languages INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 27. Pag.215-233 ISSN:0129-0541. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parlato, Gennaro | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1142/S0129054116400074 Codice identificativo ISI: WOS:000377874300008 Codice identificativo SCOPUS: 2-s2.0-84966335496 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2015 | |
| Articolo in rivista | |
| Parametric metric interval temporal logic THEORETICAL COMPUTER SCIENCE. Vol. 564. Pag.131-148 ISSN:0304-3975. | |
| Barbara Di, Giampaolo; LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1016/j.tcs.2014.11.019 Codice identificativo ISI: WOS:000348951300006 Codice identificativo SCOPUS: 2-s2.0-84926345008 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 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) |
| 2009 | |
| Articolo in rivista | |
| Decision Problems for lower/upper bound Parametric Timed Automata FORMAL METHODS IN SYSTEM DESIGN. Vol. 35 (2). Pag.121-151 ISSN:0925-9856. | |
| LA TORRE, Salvatore; L., Bozzelli | |
| Codice identificativo ISI: WOS:000271199900001 Codice identificativo SCOPUS: 2-s2.0-72249090386 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| Verification of Scope-dependent Hierarchical State Machines INFORMATION AND COMPUTATION. Vol. 206. Pag.1161-1177 ISSN:0890-5401. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro | |
| Digital Object Identifier (DOI): 10.1016/j.ic.2008.03.017 Codice identificativo ISI: WOS:000259251400015 Codice identificativo SCOPUS: 2-s2.0-50149099553 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2008 | |
| Articolo in rivista | |
| Verification of well-formed Communicating Recursive State Machines THEORETICAL COMPUTER SCIENCE. Vol. 403 (2-3). Pag.382-405 ISSN:0304-3975. | |
| LA TORRE, Salvatore; L., Bozzelli; A., Peron | |
| Codice identificativo ISI: WOS:000259044800014 Codice identificativo SCOPUS: 2-s2.0-48449099517 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| The Firing Squad Synchronization Problem on Squares, Toruses and Rings INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 18. Pag.637-654 ISSN:0129-0541. | |
| Gruska, J; LA TORRE, Salvatore; Parente, Domenico | |
| Codice identificativo ISI: WOS:000251155900012 Codice identificativo SCOPUS: 2-s2.0-34249750503 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2007 | |
| Articolo in rivista | |
| The word problem for visibly pushdown languages described by grammars FORMAL METHODS IN SYSTEM DESIGN. Vol. 31 (3). Pag.265-279 ISSN:0925-9856. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1007/s10703-007-0040-7 Codice identificativo ISI: WOS:000250580800004 Codice identificativo SCOPUS: 2-s2.0-35649027452 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 40. Pag.177-206 ISSN:0988-3754. | |
| Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000239790500007 Codice identificativo SCOPUS: 2-s2.0-33746307821 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2006 | |
| Articolo in rivista | |
| Modular Strategies for Recursive Game Graphs THEORETICAL COMPUTER SCIENCE. Vol. 354. Pag.230-249 ISSN:0304-3975. | |
| R., Alur; LA TORRE, Salvatore; P., Madhusudan | |
| Codice identificativo ISI: WOS:000236485400005 Codice identificativo SCOPUS: 2-s2.0-33644676096 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2005 | |
| Articolo in rivista | |
| Weak Muller acceptance conditions for tree automata THEORETICAL COMPUTER SCIENCE. Vol. 332. Pag.233-250 ISSN:0304-3975. | |
| LA TORRE, Salvatore; A., Murano; Napoli, Margherita | |
| Codice identificativo ISI: WOS:000227578800011 Codice identificativo SCOPUS: 2-s2.0-13644259310 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Deterministic generators and games for Ltl fragments ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. Vol. 5. Pag.1-25 ISSN:1529-3785. | |
| Alur, R; LA TORRE, Salvatore | |
| Codice identificativo SCOPUS: 2-s2.0-4444246434 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 99. Pag.229-243 ISSN:1571-0661. | |
| LA TORRE, Salvatore; Murano, Aniello; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.1016/j.entcs.2004.02.010 Codice identificativo SCOPUS: 2-s2.0-18944406943 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Polyhedral Flows in Hybrid Automata FORMAL METHODS IN SYSTEM DESIGN. Vol. 24. Pag.261-280 ISSN:0925-9856. | |
| Alur, R; Kannan, S; LA TORRE, Salvatore | |
| Codice identificativo ISI: WOS:000221119700002 Codice identificativo SCOPUS: 2-s2.0-3543093974 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2004 | |
| Articolo in rivista | |
| Optimal paths in weighted timed automata THEORETICAL COMPUTER SCIENCE. Vol. 318. Pag.297-322 ISSN:0304-3975. | |
| Alur, R.; LA TORRE, Salvatore; Pappas, G. | |
| Codice identificativo ISI: WOS:000221896700002 Codice identificativo SCOPUS: 2-s2.0-2442597825 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Articolo in rivista | |
| Deterministic finite automata with recursive calls and DPDAs INFORMATION PROCESSING LETTERS. Vol. 87. Pag.187-193 ISSN:0020-0190. | |
| Gallier, J; LA TORRE, Salvatore; Mukhopadhyay, S. | |
| Codice identificativo ISI: WOS:000184631400003 Codice identificativo SCOPUS: 2-s2.0-0043172394 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2003 | |
| Articolo in rivista | |
| Finite automata on timed omega-trees. THEORETICAL COMPUTER SCIENCE. Vol. 293. Pag.479-505 ISSN:0304-3975. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Codice identificativo ISI: WOS:000180905300002 Codice identificativo SCOPUS: 2-s2.0-0037427175 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Automata-based Representations for Infinite Graphs RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 35. Pag.311-330 ISSN:0988-3754. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1051/ita:2001122 Codice identificativo ISI: WOS:000173251500001 Codice identificativo SCOPUS: 2-s2.0-14244273624 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Parametric temporal logic for "model measuring" ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. Vol. 2. Pag.388-407 ISSN:1529-3785. | |
| Alur, R; Etessami, K; LA TORRE, Salvatore; Peled, D. | |
| Digital Object Identifier (DOI): 10.1145/377978.377990 Codice identificativo SCOPUS: 2-s2.0-27644510684 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| Timed tree Automata with an application to Temporal Logic ACTA INFORMATICA. Vol. 38. Pag.89-116 ISSN:0001-5903. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1007/s002360100067 Codice identificativo ISI: WOS:000172558100001 Codice identificativo SCOPUS: 2-s2.0-0035498097 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2001 | |
| Articolo in rivista | |
| A Model of Finite Automata on Timed omega-Trees ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 42. Pag.1-16 ISSN:1571-0661. | |
| LA TORRE, Salvatore; Napoli, Margherita | |
| Digital Object Identifier (DOI): 10.1016/S1571-0661(04)80884-3 Codice identificativo SCOPUS: 2-s2.0-18944400508 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2000 | |
| Articolo in rivista | |
| A Compositional Approach to Synchronize Two Dimensional Networks of Processors RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 34(6). Pag.549-564 ISSN:0988-3754. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000168984600007 Codice identificativo SCOPUS: 2-s2.0-17844392080 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1998 | |
| Articolo in rivista | |
| Synchronization of a Line of Identical Processors at a Given Time FUNDAMENTA INFORMATICAE. Vol. 34. Pag.103-128 ISSN:0169-2968. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.3233/FI-1998-341204 Codice identificativo SCOPUS: 2-s2.0-0000478750 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1997 | |
| Articolo in rivista | |
| Modelling the Effects of Input Correlation in Iterative Software RELIABILITY ENGINEERING & SYSTEM SAFETY. Vol. 57 (3). Pag.189-202 ISSN:0951-8320. | |
| A., Bondavalli; S., Chiaradonna; F., Di Giandomenico; LA TORRE, Salvatore | |
| Digital Object Identifier (DOI): 10.1016/S0951-8320(97)00040-9 Codice identificativo ISI: WOS:A1997YH06700001 Codice identificativo SCOPUS: 2-s2.0-0031223902 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1996 | |
| Articolo in rivista | |
| Synchronization of 1-way connected processors COMPLEX SYSTEMS. Vol. 10 (4). Pag.239-255 ISSN:0891-2513. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Codice identificativo ISI: WOS:000170638000025 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1996 | |
| Articolo in rivista | |
| Parallel Word Substitution FUNDAMENTA INFORMATICAE. Vol. 27(1). Pag.27-36 ISSN:0169-2968. | |
| LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
| Digital Object Identifier (DOI): 10.3233/fi-1996-27102 Codice identificativo SCOPUS: 2-s2.0-0030195787 | |
| Visualizza sul Database dei Prodotti (IRIS) |
