Salvatore La Torre Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page