The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Margherita Napoli: [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. Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente
    Systolic Y-Tree Automata: Closure Properties and Decision Problems. [Citation Graph (0, 0)][DBLP]
    FCT, 1991, pp:210-219 [Conf]
  3. Salvatore La Torre, Margherita Napoli, Mimmo Parente
    Synchronization of 1-Way Connected Processors. [Citation Graph (0, 0)][DBLP]
    FCT, 1997, pp:293-304 [Conf]
  4. Salvatore La Torre, Margherita Napoli
    A Decidable Dense Branching-Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:139-150 [Conf]
  5. 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]
  6. Jozef Gruska, Margherita Napoli, Domenico Parente
    Optimization of Systolic Tree Automata. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1994, pp:247-252 [Conf]
  7. Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente
    State Complexity of SBTA Languages. [Citation Graph (0, 0)][DBLP]
    LATIN, 1995, pp:346-357 [Conf]
  8. 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]
  9. Salvatore La Torre, Margherita Napoli
    Representing Hyper-Graphs by Regular Languages. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:571-579 [Conf]
  10. Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci
    The Tool Development Language TDL for the Software Development Environment WSDW. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:421-428 [Conf]
  11. Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci
    The Software Development Workbench WSDW. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:213-221 [Conf]
  12. Emanuela Fachini, Margherita Napoli
    Synchronized Bottom-Up Tree Automata and L-Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1985, pp:298-307 [Conf]
  13. 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]
  14. 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]
  15. Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente
    Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1992, v:29, n:8, pp:761-778 [Journal]
  16. 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]
  17. Jozef Gruska, Margherita Napoli, Domenico Parente
    On the Minimization and Succintness of Systolic Binary Tree Automata. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 1993, v:2, n:, pp:13-26 [Journal]
  18. Margherita Napoli, Mimmo Parente, Adriano Peron
    Specification and Verification of Protocols With Time Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:205-227 [Journal]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. Emanuela Fachini, Jozef Gruska, Margherita Napoli, Domenico Parente
    Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1995, v:28, n:3, pp:245-266 [Journal]
  24. Emanuela Fachini, Margherita Napoli
    Hierarchies of Primitive Recursive Wordsequence Functions: Comparisons and Decision Problems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:29, n:, pp:185-227 [Journal]
  25. Emanuela Fachini, Margherita Napoli
    C-Tree Systolic Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:56, n:, pp:155-186 [Journal]
  26. Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente
    Succinctness of Descriptions of SBTA-Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:179, n:1-2, pp:251-271 [Journal]
  27. 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]
  28. 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]
  29. 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]
  30. Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora
    Web Structures: A Tool for Representing and Manipulating Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:11, pp:1621-1639 [Journal]

  31. CTLModel-Checking with Graded Quantifiers. [Citation Graph (, )][DBLP]


  32. A NuSMV Extension for Graded-CTL Model Checking. [Citation Graph (, )][DBLP]


  33. Graded-CTL: Satisfiability and Symbolic Model Checking. [Citation Graph (, )][DBLP]


  34. Program Complexity in Hierarchical Module Checking. [Citation Graph (, )][DBLP]


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


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


  37. Proceedings First Symposium on Games, Automata, Logic, and Formal Verification [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