Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Salvatore La Torre
2010 – today
- 2013
[j22]Giovanna D'Agostino, Salvatore La Torre: Games, Automata, Logic, and Formal Verification (GandALF 2011). Theor. Comput. Sci. 493: 1 (2013)- [c39]
- 2012
- [c38]Salvatore La Torre, Gennaro Parlato: Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width. FSTTCS 2012: 173-184
- [c37]Salvatore La Torre, Margherita Napoli: A Temporal Logic for Multi-threaded Programs. IFIP TCS 2012: 225-239
- [c36]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Sequentializing Parameterized Programs. FIT 2012: 34-47
- 2011
- [c35]Ilaria De Crescenzo, Salvatore La Torre: Winning CaRet Games with Modular Strategies. CILC 2011: 327-331
- [c34]Salvatore La Torre, Margherita Napoli: Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. CONCUR 2011: 203-218
- [e1]Giovanna D'Agostino, Salvatore La Torre (Eds.): Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification. EPTCS 54, 2011
- 2010
- [c33]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. CAV 2010: 629-644
- [c32]Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli: Parametric Metric Interval Temporal Logic. LATA 2010: 249-260
- [c31]Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: The Language Theory of Bounded Context-Switching. LATIN 2010: 96-107
2000 – 2009
- 2009
- [j21]Laura Bozzelli, Salvatore La Torre: Decision problems for lower/upper bound parametric timed automata. Formal Methods in System Design 35(2): 121-151 (2009)
- [c30]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. CAV 2009: 477-492
- [c29]Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: Analyzing recursive programs using a fixed-point calculus. PLDI 2009: 211-222
- 2008
- [j20]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of scope-dependent hierarchical state machines. Inf. Comput. 206(9-10): 1161-1177 (2008)
- [j19]Laura Bozzelli, Salvatore La Torre, Adriano Peron: Verification of well-formed communicating recursive state machines. Theor. Comput. Sci. 403(2-3): 382-405 (2008)
- [c28]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: An Infinite Automaton Characterization of Double Exponential Time. CSL 2008: 33-48
- [c27]Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Context-Bounded Analysis of Concurrent Queue Systems. TACAS 2008: 299-314
- 2007
- [j18]Salvatore La Torre, Margherita Napoli, Mimmo Parente: The word problem for visibly pushdown languages described by grammars. Formal Methods in System Design 31(3): 265-279 (2007)
- [j17]Jozef Gruska, Salvatore La Torre, Mimmo Parente: The Firing Squad Synchronization Problem on Squares, Toruses and Rings. Int. J. Found. Comput. Sci. 18(3): 637-654 (2007)
- [c26]Laura Bozzelli, Salvatore La Torre: Decision Problems for Lower/Upper Bound Parametric Timed Automata. ICALP 2007: 925-936
- [c25]Salvatore La Torre, Gennaro Parlato: On the Complexity of LtlModel-Checking of Recursive State Machines. ICALP 2007: 937-948
- [c24]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of Succinct Hierarchical State Machines. LATA 2007: 485-496
- [c23]Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: A Robust Class of Context-Sensitive Languages. LICS 2007: 161-170
- 2006
- [j16]Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente: Different time solutions for the firing squad synchronization problem on basic grid networks. ITA 40(2): 177-206 (2006)
- [j15]Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular strategies for recursive game graphs. Theor. Comput. Sci. 354(2): 230-249 (2006)
- [c22]Salvatore La Torre, Margherita Napoli, Mimmo Parente: On the Membership Problem for Visibly Pushdown Languages. ATVA 2006: 96-109
- [c21]Laura Bozzelli, Salvatore La Torre, Adriano Peron: Verification of Well-Formed Communicating Recursive State Machines. VMCAI 2006: 412-426
- 2005
- [j14]Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. 332(1-3): 233-250 (2005)
- [c20]
- [i1]Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente: Various Solutions to the Firing Squad Synchronization Problems. CoRR abs/cs/0511044 (2005)
- 2004
- [j13]Salvatore La Torre, Aniello Murano, Mimmo Parente: Model-checking the Secure Release of a Time-locked Secret over a Network. Electr. Notes Theor. Comput. Sci. 99: 229-243 (2004)
- [j12]Rajeev Alur, Sampath Kannan, Salvatore La Torre: Polyhedral Flows in Hybrid Automata. Formal Methods in System Design 24(3): 261-280 (2004)
- [j11]Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal paths in weighted timed automata. Theor. Comput. Sci. 318(3): 297-322 (2004)
- [j10]Rajeev Alur, Salvatore La Torre: Deterministic generators and games for Ltl fragments. ACM Trans. Comput. Log. 5(1): 1-25 (2004)
- [c19]Jozef Gruska, Salvatore La Torre, Mimmo Parente: Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings. Developments in Language Theory 2004: 200-211
- [c18]
- 2003
- [j9]Jean H. Gallier, Salvatore La Torre, Supratik Mukhopadhyay: Deterministic finite automata with recursive calls and DPDAs. Inf. Process. Lett. 87(4): 187-193 (2003)
- [j8]Salvatore La Torre, Margherita Napoli: Finite automata on timed omega-trees. Theor. Comput. Sci. 293(3): 479-505 (2003)
- [c17]Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular Strategies for Infinite Games on Recursive Graphs. CAV 2003: 67-79
- [c16]Rajeev Alur, Salvatore La Torre, P. Madhusudan: Playing Games with Boxes and Diamonds. CONCUR 2003: 127-141
- [c15]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP 2003: 776-789
- [c14]Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular Strategies for Recursive Game Graphs. TACAS 2003: 363-378
- 2002
- [c13]Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano: Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS 2002: 485-497
- [c12]
- [c11]Marco Faella, Salvatore La Torre, Aniello Murano: Automata-Theoretic Decision of Timed Games. VMCAI 2002: 94-108
- [c10]Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller Acceptance Conditions for Tree Automata. VMCAI 2002: 240-254
- 2001
- [j7]Salvatore La Torre, Margherita Napoli: Timed tree automata with an application to temporal logic. Acta Inf. 38(2): 89-116 (2001)
- [j6]Salvatore La Torre, Margherita Napoli: Automata-based Representations for Infinite Graphs. ITA 35(4): 311-330 (2001)
- [j5]Salvatore La Torre, Margherita Napoli: A Model of Finite Automata on Timed omega-Trees. Electr. Notes Theor. Comput. Sci. 42: 158-173 (2001)
- [j4]Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2(3): 388-407 (2001)
- [c9]Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal Paths in Weighted Timed Automata. HSCC 2001: 49-62
- [c8]Rajeev Alur, Salvatore La Torre: Deterministic Generators and Games for LTL Fragments. LICS 2001: 291-300
- [c7]Salvatore La Torre, Margherita Napoli, Mimmo Parente: Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU 2001: 264-275
- 2000
- [j3]Salvatore La Torre, Margherita Napoli, Mimmo Parente: A compositional approach to synchronize two dimensional networks of processors. ITA 34(6): 549-564 (2000)
- [c6]Salvatore La Torre, Margherita Napoli: A Decidable Dense Branching-Time Temporal Logic. FSTTCS 2000: 139-150
1990 – 1999
- 1999
- [c5]Rajeev Alur, Sampath Kannan, Salvatore La Torre: Polyhedral Flows in Hybrid Automata. HSCC 1999: 5-18
- [c4]Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric Temporal Logic for "Model Measuring". ICALP 1999: 159-168
- 1998
- [j2]Salvatore La Torre, Margherita Napoli, Domenico Parente: Synchronization of a Line of Identical Processors at a Given Time. Fundam. Inform. 34(1-2): 103-128 (1998)
- [c3]Salvatore La Torre, Margherita Napoli: Representing Hyper-Graphs by Regular Languages. MFCS 1998: 571-579
- 1997
- [c2]Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of 1-Way Connected Processors. FCT 1997: 293-304
- [c1]Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT 1997: 405-416
- 1996
- [j1]Salvatore La Torre, Margherita Napoli, Domenico Parente: Parallel Word Substitution. Fundam. Inform. 27(1): 27-36 (1996)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:15 CEST by the dblp team