The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Salvatore La Torre: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  41. Reducing Context-Bounded Concurrent Reachability to Sequential Reachability. [Citation Graph (, )][DBLP]


  42. Model-Checking Parameterized Concurrent Programs Using Linear Interfaces. [Citation Graph (, )][DBLP]


  43. An Infinite Automaton Characterization of Double Exponential Time. [Citation Graph (, )][DBLP]


  44. The Language Theory of Bounded Context-Switching. [Citation Graph (, )][DBLP]


  45. Analyzing recursive programs using a fixed-point calculus. [Citation Graph (, )][DBLP]


  46. Context-Bounded Analysis of Concurrent Queue Systems. [Citation Graph (, )][DBLP]


  47. Parametric Metric Interval Temporal Logic. [Citation Graph (, )][DBLP]


  48. Various Solutions to the Firing Squad Synchronization Problems [Citation Graph (, )][DBLP]


Search in 0.037secs, Finished in 0.040secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002