|
Search the dblp DataBase
Margherita Napoli:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- Salvatore La Torre, Margherita Napoli, Mimmo Parente
Synchronization of 1-Way Connected Processors. [Citation Graph (0, 0)][DBLP] FCT, 1997, pp:293-304 [Conf]
- Salvatore La Torre, Margherita Napoli
A Decidable Dense Branching-Time Temporal Logic. [Citation Graph (0, 0)][DBLP] FSTTCS, 2000, pp:139-150 [Conf]
- 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]
- Jozef Gruska, Margherita Napoli, Domenico Parente
Optimization of Systolic Tree Automata. [Citation Graph (0, 0)][DBLP] IFIP Congress (1), 1994, pp:247-252 [Conf]
- Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente
State Complexity of SBTA Languages. [Citation Graph (0, 0)][DBLP] LATIN, 1995, pp:346-357 [Conf]
- 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]
- Salvatore La Torre, Margherita Napoli
Representing Hyper-Graphs by Regular Languages. [Citation Graph (0, 0)][DBLP] MFCS, 1998, pp:571-579 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Emanuela Fachini, Margherita Napoli
C-Tree Systolic Automata. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1988, v:56, n:, pp:155-186 [Journal]
- 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]
- 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]
- 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]
- 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]
- 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]
CTLModel-Checking with Graded Quantifiers. [Citation Graph (, )][DBLP]
A NuSMV Extension for Graded-CTL Model Checking. [Citation Graph (, )][DBLP]
Graded-CTL: Satisfiability and Symbolic Model Checking. [Citation Graph (, )][DBLP]
Program Complexity in Hierarchical Module Checking. [Citation Graph (, )][DBLP]
Parametric Metric Interval Temporal Logic. [Citation Graph (, )][DBLP]
Various Solutions to the Firing Squad Synchronization Problems [Citation Graph (, )][DBLP]
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs
|