The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Laura Bozzelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
    Controller Synthesis for MTL Specifications. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:450-464 [Conf]
  2. Laura Bozzelli, Mojmír Kretínský, Vojtech Rehák, Jan Strejcek
    On Decidability of LTL Model Checking for Process Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:248-259 [Conf]
  3. Laura Bozzelli, Régis Gascon
    Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:197-211 [Conf]
  4. Laura Bozzelli, Aniello Murano, Adriano Peron
    Pushdown Module Checking. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:504-518 [Conf]
  5. Laura Bozzelli
    Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:282-297 [Conf]
  6. Laura Bozzelli
    Complexity Results on Branching-Time Pushdown Model Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:65-79 [Conf]
  7. 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]
  8. Laura Bozzelli, Massimo Benerecetti, Adriano Peron
    Verification of recursive parallel systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  9. Laura Bozzelli
    Verification of Process Rewrite Systems in normal form [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  10. Laura Bozzelli
    Model checking for Process Rewrite Systems and a class of action - based regular properties [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  11. Laura Bozzelli
    Model checking for process rewrite systems and a class of action-based regular properties. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:352-372 [Journal]
  12. Laura Bozzelli
    Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:476-491 [Conf]
  13. 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]
  14. Laura Bozzelli
    Complexity results on branching-time pushdown model checking. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:379, n:1-2, pp:286-297 [Journal]

  15. The Complexity of CTL* + Linear Past. [Citation Graph (, )][DBLP]


  16. On Timed Alternating Simulation for Concurrent Timed Games. [Citation Graph (, )][DBLP]


  17. Complexity and Succinctness Issues for Linear-Time Hybrid Logics. [Citation Graph (, )][DBLP]


  18. The Complexity of CaRet + Chop. [Citation Graph (, )][DBLP]


  19. On decidability of LTL model checking for process rewrite systems. [Citation Graph (, )][DBLP]


  20. CaRet With Forgettable Past. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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