| 2008 |
|---|
| 35 | EE | Alessandro Ferrante,
Margherita Napoli,
Mimmo Parente:
CTLModel-Checking with Graded Quantifiers.
ATVA 2008: 18-32 |
| 34 | EE | Aniello Murano,
Margherita Napoli,
Mimmo Parente:
Program Complexity in Hierarchical Module Checking.
LPAR 2008: 318-332 |
| 33 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente,
Gennaro Parlato:
Verification of scope-dependent hierarchical state machines.
Inf. Comput. 206(9-10): 1161-1177 (2008) |
| 2007 |
|---|
| 32 | EE | Salvatore 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 |
|---|
| 31 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
On the Membership Problem for Visibly Pushdown Languages.
ATVA 2006: 96-109 |
| 2005 |
|---|
| 30 | EE | Jozef Gruska,
Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
Various Solutions to the Firing Squad Synchronization Problems
CoRR abs/cs/0511044: (2005) |
| 29 | EE | Salvatore La Torre,
Aniello Murano,
Margherita Napoli:
Weak Muller acceptance conditions for tree automata.
Theor. Comput. Sci. 332(1-3): 233-250 (2005) |
| 2004 |
|---|
| 28 | EE | Margherita Napoli,
Mimmo Parente,
Adriano Peron:
Specification and Verification of Protocols With Time Constraints.
Electr. Notes Theor. Comput. Sci. 99: 205-227 (2004) |
| 2003 |
|---|
| 27 | EE | Salvatore 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 |
|---|
| 25 | EE | Salvatore La Torre,
Aniello Murano,
Margherita Napoli:
Weak Muller Acceptance Conditions for Tree Automata.
VMCAI 2002: 240-254 |
| 2001 |
|---|
| 24 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints.
MCU 2001: 264-275 |
| 23 | EE | Salvatore La Torre,
Margherita Napoli:
Timed tree automata with an application to temporal logic.
Acta Inf. 38(2): 89-116 (2001) |
| 22 | EE | Salvatore La Torre,
Margherita Napoli:
A Model of Finite Automata on Timed omega-Trees.
Electr. Notes Theor. Comput. Sci. 42: (2001) |
| 21 | EE | Salvatore La Torre,
Margherita Napoli:
Automata-based Representations for Infinite Graphs.
ITA 35(4): 311-330 (2001) |
| 2000 |
|---|
| 20 | EE | Salvatore La Torre,
Margherita Napoli:
A Decidable Dense Branching-Time Temporal Logic.
FSTTCS 2000: 139-150 |
| 19 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
A compositional approach to synchronize two dimensional networks of processors.
ITA 34(6): 549-564 (2000) |
| 1998 |
|---|
| 18 | EE | Salvatore 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 |
| 15 | | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
Synchronization of a Line of Identical Processors at a Given Time.
TAPSOFT 1997: 405-416 |
| 14 | EE | Jozef 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 |
|---|
| 7 | EE | Andrea 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 |
|---|
| 4 | EE | Andrea 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 |
|---|
| 2 | | Emanuela 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) |
