dblp.uni-trier.dewww.uni-trier.de

Margherita Napoli Vis

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

*2008
35EEAlessandro Ferrante, Margherita Napoli, Mimmo Parente: CTLModel-Checking with Graded Quantifiers. ATVA 2008: 18-32
34EEAniello Murano, Margherita Napoli, Mimmo Parente: Program Complexity in Hierarchical Module Checking. LPAR 2008: 318-332
33EESalvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of scope-dependent hierarchical state machines. Inf. Comput. 206(9-10): 1161-1177 (2008)
2007
32EESalvatore 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)
2006
31EESalvatore La Torre, Margherita Napoli, Mimmo Parente: On the Membership Problem for Visibly Pushdown Languages. ATVA 2006: 96-109
2005
30EEJozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente: Various Solutions to the Firing Squad Synchronization Problems CoRR abs/cs/0511044: (2005)
29EESalvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. 332(1-3): 233-250 (2005)
2004
28EEMargherita Napoli, Mimmo Parente, Adriano Peron: Specification and Verification of Protocols With Time Constraints. Electr. Notes Theor. Comput. Sci. 99: 205-227 (2004)
2003
27EESalvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP 2003: 776-789
26 Salvatore La Torre, Margherita Napoli: Finite automata on timed omega-trees. Theor. Comput. Sci. 293(3): 479-505 (2003)
2002
25EESalvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller Acceptance Conditions for Tree Automata. VMCAI 2002: 240-254
2001
24EESalvatore La Torre, Margherita Napoli, Mimmo Parente: Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU 2001: 264-275
23EESalvatore La Torre, Margherita Napoli: Timed tree automata with an application to temporal logic. Acta Inf. 38(2): 89-116 (2001)
22EESalvatore La Torre, Margherita Napoli: A Model of Finite Automata on Timed omega-Trees. Electr. Notes Theor. Comput. Sci. 42: (2001)
21EESalvatore La Torre, Margherita Napoli: Automata-based Representations for Infinite Graphs. ITA 35(4): 311-330 (2001)
2000
20EESalvatore La Torre, Margherita Napoli: A Decidable Dense Branching-Time Temporal Logic. FSTTCS 2000: 139-150
19EESalvatore La Torre, Margherita Napoli, Mimmo Parente: A compositional approach to synchronize two dimensional networks of processors. ITA 34(6): 549-564 (2000)
1998
18EESalvatore La Torre, Margherita Napoli: Representing Hyper-Graphs by Regular Languages. MFCS 1998: 571-579
17 Salvatore 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
16 Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of 1-Way Connected Processors. FCT 1997: 293-304
15EESalvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT 1997: 405-416
14EEJozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente: Succinctness of Descriptions of SBTA-Languages. Theor. Comput. Sci. 179(1-2): 251-271 (1997)
1996
13 Salvatore La Torre, Margherita Napoli, Domenico Parente: Parallel Word Substitution. Fundam. Inform. 27(1): 27-36 (1996)
1995
12 Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente: State Complexity of SBTA Languages. LATIN 1995: 346-357
11 Emanuela Fachini, Jozef Gruska, Margherita Napoli, Domenico Parente: Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata. Mathematical Systems Theory 28(3): 245-266 (1995)
1994
10 Jozef Gruska, Margherita Napoli, Domenico Parente: Optimization of Systolic Tree Automata. IFIP Congress (1) 1994: 247-252
1993
9 Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci: The Tool Development Language TDL for the Software Development Environment WSDW. SEKE 1993: 421-428
8 Jozef Gruska, Margherita Napoli, Domenico Parente: On the Minimization and Succintness of Systolic Binary Tree Automata. Sci. Ann. Cuza Univ. 2: 13-26 (1993)
1992
7EEAndrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci: The Software Development Workbench WSDW. SEKE 1992: 213-221
6 Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente: Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations. Acta Inf. 29(8): 761-778 (1992)
1991
5 Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente: Systolic Y-Tree Automata: Closure Properties and Decision Problems. FCT 1991: 210-219
1988
4EEAndrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora: Web Structures: A Tool for Representing and Manipulating Programs. IEEE Trans. Software Eng. 14(11): 1621-1639 (1988)
3 Emanuela Fachini, Margherita Napoli: C-Tree Systolic Automata. Theor. Comput. Sci. 56: 155-186 (1988)
1985
2EEEmanuela Fachini, Margherita Napoli: Synchronized Bottom-Up Tree Automata and L-Systems. TAPSOFT, Vol.1 1985: 298-307
1984
1 Emanuela Fachini, Margherita Napoli: Hierarchies of Primitive Recursive Wordsequence Functions: Comparisons and Decision Problems. Theor. Comput. Sci. 29: 185-227 (1984)

Coauthor Index

1Emanuela Fachini [1] [2] [3] [5] [6] [11]
2Alessandro Ferrante [35]
3Jozef Gruska [8] [10] [11] [12] [14] [30]
4A. Imperatore [7]
5Andrea De Lucia [7] [9]
6Andrea Maggiolo-Schettini [4]
7Angelo Monti [5] [6] [12] [14]
8Aniello Murano [25] [29] [34]
9Mimmo Parente (Domenico Parente) [5] [6] [8] [10] [11] [12] [13] [14] [15] [16] [17] [19] [24] [27] [28] [30] [31] [32] [33] [34] [35]
10Gennaro Parlato [27] [33]
11Adriano Peron [28]
12Salvatore La Torre [13] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [29] [30] [31] [32] [33]
13Genny Tortora (Genoveffa Tortora) [4] [7] [9]
14Maurizio Tucci [7] [9]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)