Salvatore La Torre

2008
47	EE	Salvatore La Torre, P. Madhusudan, Gennaro Parlato: An Infinite Automaton Characterization of Double Exponential Time. CSL 2008: 33-48
46	EE	Salvatore La Torre, P. Madhusudan, Gennaro Parlato: Context-Bounded Analysis of Concurrent Queue Systems. TACAS 2008: 299-314
45	EE	Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of scope-dependent hierarchical state machines. Inf. Comput. 206(9-10): 1161-1177 (2008)
44	EE	Laura Bozzelli, Salvatore La Torre, Adriano Peron: Verification of well-formed communicating recursive state machines. Theor. Comput. Sci. 403(2-3): 382-405 (2008)
2007
43	EE	Laura Bozzelli, Salvatore La Torre: Decision Problems for Lower/Upper Bound Parametric Timed Automata. ICALP 2007: 925-936
42	EE	Salvatore La Torre, Gennaro Parlato: On the Complexity of LtlModel-Checking of Recursive State Machines. ICALP 2007: 937-948
41	EE	Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato: A Robust Class of Context-Sensitive Languages. LICS 2007: 161-170
40	EE	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)
39	EE	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)
2006
38	EE	Salvatore La Torre, Margherita Napoli, Mimmo Parente: On the Membership Problem for Visibly Pushdown Languages. ATVA 2006: 96-109
37	EE	Laura Bozzelli, Salvatore La Torre, Adriano Peron: Verification of Well-Formed Communicating Recursive State Machines. VMCAI 2006: 412-426
36	EE	Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular strategies for recursive game graphs. Theor. Comput. Sci. 354(2): 230-249 (2006)
2005
35	EE	Rajeev Alur, Salvatore La Torre, P. Madhusudan: Perturbed Timed Automata. HSCC 2005: 70-85
34	EE	Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente: Various Solutions to the Firing Squad Synchronization Problems CoRR abs/cs/0511044: (2005)
33	EE	Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. 332(1-3): 233-250 (2005)
2004
32	EE	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
31	EE	Salvatore La Torre, Aniello Murano: Reasoning About Co-Büchi Tree Automata. ICTAC 2004: 527-542
30	EE	Rajeev Alur, Salvatore La Torre: Deterministic generators and games for Ltl fragments. ACM Trans. Comput. Log. 5(1): 1-25 (2004)
29	EE	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)
28	EE	Rajeev Alur, Sampath Kannan, Salvatore La Torre: Polyhedral Flows in Hybrid Automata. Formal Methods in System Design 24(3): 261-280 (2004)
27	EE	Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal paths in weighted timed automata. Theor. Comput. Sci. 318(3): 297-322 (2004)
2003
26	EE	Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular Strategies for Infinite Games on Recursive Graphs. CAV 2003: 67-79
25	EE	Rajeev Alur, Salvatore La Torre, P. Madhusudan: Playing Games with Boxes and Diamonds. CONCUR 2003: 127-141
24	EE	Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP 2003: 776-789
23	EE	Rajeev Alur, Salvatore La Torre, P. Madhusudan: Modular Strategies for Recursive Game Graphs. TACAS 2003: 363-378
22	EE	Jean H. Gallier, Salvatore La Torre, Supratik Mukhopadhyay: Deterministic finite automata with recursive calls and DPDAs. Inf. Process. Lett. 87(4): 187-193 (2003)
21		Salvatore La Torre, Margherita Napoli: Finite automata on timed omega-trees. Theor. Comput. Sci. 293(3): 479-505 (2003)
2002
20		Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano: Optimal-Reachability and Control for Acyclic Weighted Timed Automata. IFIP TCS 2002: 485-497
19	EE	Marco Faella, Salvatore La Torre, Aniello Murano: Dense Real-Time Games. LICS 2002: 167-176
18	EE	Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller Acceptance Conditions for Tree Automata. VMCAI 2002: 240-254
17	EE	Marco Faella, Salvatore La Torre, Aniello Murano: Automata-Theoretic Decision of Timed Games. VMCAI 2002: 94-108
2001
16	EE	Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal Paths in Weighted Timed Automata. HSCC 2001: 49-62
15		Rajeev Alur, Salvatore La Torre: Deterministic Generators and Games for LTL Fragments. LICS 2001: 291-302
14	EE	Salvatore La Torre, Margherita Napoli, Mimmo Parente: Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU 2001: 264-275
13	EE	Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric temporal logic for "model measuring". ACM Trans. Comput. Log. 2(3): 388-407 (2001)
12	EE	Salvatore La Torre, Margherita Napoli: Timed tree automata with an application to temporal logic. Acta Inf. 38(2): 89-116 (2001)
11	EE	Salvatore La Torre, Margherita Napoli: A Model of Finite Automata on Timed omega-Trees. Electr. Notes Theor. Comput. Sci. 42: (2001)
10	EE	Salvatore La Torre, Margherita Napoli: Automata-based Representations for Infinite Graphs. ITA 35(4): 311-330 (2001)
2000
9	EE	Salvatore La Torre, Margherita Napoli: A Decidable Dense Branching-Time Temporal Logic. FSTTCS 2000: 139-150
8	EE	Salvatore La Torre, Margherita Napoli, Mimmo Parente: A compositional approach to synchronize two dimensional networks of processors. ITA 34(6): 549-564 (2000)
1999
7	EE	Rajeev Alur, Sampath Kannan, Salvatore La Torre: Polyhedral Flows in Hybrid Automata. HSCC 1999: 5-18
6	EE	Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled: Parametric Temporal Logic for "Model Measuring". ICALP 1999: 159-168
1998
5	EE	Salvatore La Torre, Margherita Napoli: Representing Hyper-Graphs by Regular Languages. MFCS 1998: 571-579
4		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)
1997
3		Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of 1-Way Connected Processors. FCT 1997: 293-304
2		Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT 1997: 405-416
1996
1		Salvatore La Torre, Margherita Napoli, Domenico Parente: Parallel Word Substitution. Fundam. Inform. 27(1): 27-36 (1996)

Coauthor Index

1	Rajeev Alur	[6] [7] [13] [15] [16] [23] [25] [26] [27] [28] [30] [35] [36]
2	Laura Bozzelli	[37] [43] [44]
3	Kousha Etessami	[6] [13]
4	Marco Faella	[17] [19]
5	Jean H. Gallier	[22]
6	Jozef Gruska	[32] [34] [39]
7	Sampath Kannan	[7] [28]
8	P. Madhusudan (Parthasarathy Madhusudan)	[23] [25] [26] [35] [36] [41] [46] [47]
9	Supratik Mukhopadhyay	[20] [22]
10	Aniello Murano	[17] [18] [19] [20] [29] [31] [33]
11	Margherita Napoli	[1] [2] [3] [4] [5] [8] [9] [10] [11] [12] [14] [18] [21] [24] [33] [34] [38] [40] [45]
12	George J. Pappas	[16] [27]
13	Mimmo Parente (Domenico Parente)	[1] [2] [3] [4] [8] [14] [24] [29] [32] [34] [38] [39] [40] [45]
14	Gennaro Parlato	[24] [41] [42] [45] [46] [47]
15	Doron Peled	[6] [13]
16	Adriano Peron	[37] [44]