Hierarchies of Primitive Recursive Wordsequence Functions: Comparisons and Decision Problems. - Emanuela Fachini; Margherita Napoli (Theor. Comput. Sci., 1984)

Synchronized Bottom-Up Tree Automata and L-Systems. - Emanuela Fachini; Margherita Napoli (TAPSOFT, Vol.1, 1985)

C-Tree Systolic Automata. - Emanuela Fachini; Margherita Napoli (Theor. Comput. Sci., 1988)

Web Structures: A Tool for Representing and Manipulating Programs. - Andrea Maggiolo-Schettini; Margherita Napoli; Genoveffa Tortora (IEEE Trans. Software Eng., 1988)

Systolic Y-Tree Automata: Closure Properties and Decision Problems. - Emanuela Fachini; Angelo Monti; Margherita Napoli; Domenico Parente (FCT, 1991)

The Software Development Workbench WSDW. - Andrea De Lucia; A. Imperatore; Margherita Napoli; Genny Tortora; Maurizio Tucci (SEKE, 1992)

Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations. - Emanuela Fachini; Angelo Monti; Margherita Napoli; Domenico Parente (Acta Informatica, 1992)

The Tool Development Language TDL for the Software Development Environment WSDW. - Andrea De Lucia; Margherita Napoli; Genny Tortora; Maurizio Tucci (SEKE, 1993)

On the Minimization and Succintness of Systolic Binary Tree Automata. - Jozef Gruska; Margherita Napoli; Domenico Parente (Sci. Ann. Cuza Univ., 1993)

Optimization of Systolic Tree Automata. - Jozef Gruska; Margherita Napoli; Domenico Parente (IFIP Congress (1), 1994)

State Complexity of SBTA Languages. - Jozef Gruska; Angelo Monti; Margherita Napoli; Domenico Parente (LATIN, 1995)

Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata. - Emanuela Fachini; Jozef Gruska; Margherita Napoli; Domenico Parente (Math. Syst. Theory, 1995)

Synchronization of One-way Connected Processors. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (Complex Syst., 1996)

Parallel Word Substitution. - Salvatore La Torre; Margherita Napoli; Domenico Parente (Fundam. Informaticae, 1996)

Synchronization of 1-Way Connected Processors. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (FCT, 1997)

Succinctness of Descriptions of SBTA-Languages. - Jozef Gruska; Angelo Monti; Margherita Napoli; Domenico Parente (Theor. Comput. Sci., 1997)

Representing Hyper-Graphs by Regular Languages. - Salvatore La Torre; Margherita Napoli (MFCS, 1998)

Synchronization of a Line of Identical Processors at a Given Time. - Salvatore La Torre; Margherita Napoli; Domenico Parente (Fundam. Informaticae, 1998)

A Decidable Dense Branching-Time Temporal Logic. - Salvatore La Torre; Margherita Napoli (FSTTCS, 2000)

A compositional approach to synchronize two dimensional networks of processors. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (RAIRO Theor. Informatics Appl., 2000)

Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (MCU, 2001)

Timed tree automata with an application to temporal logic. - Salvatore La Torre; Margherita Napoli (Acta Informatica, 2001)

Automata-based Representations for Infinite Graphs. - Salvatore La Torre; Margherita Napoli (RAIRO Theor. Informatics Appl., 2001)

A Model of Finite Automata on Timed omega-Trees. - Salvatore La Torre; Margherita Napoli (CATS, 2001)

Hierarchical and Recursive State Machines with Context-Dependent Properties. - Salvatore La Torre; Margherita Napoli; Mimmo Parente; Gennaro Parlato (ICALP, 2003)

Specification and Verification of Protocols With Time Constraints. - Margherita Napoli; Mimmo Parente; Adriano Peron (MEFISTO, 2003)

Finite automata on timed omega-trees. - Salvatore La Torre; Margherita Napoli (Theor. Comput. Sci., 2003)

Various Solutions to the Firing Squad Synchronization Problems - Jozef Gruska; Salvatore La Torre; Margherita Napoli; Mimmo Parente (CoRR, 2005)

Weak Muller acceptance conditions for tree automata. - Salvatore La Torre; Aniello Murano; Margherita Napoli (Theor. Comput. Sci., 2005)

On the Membership Problem for Visibly Pushdown Languages. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (ATVA, 2006)

Different time solutions for the firing squad synchronization problem on basic grid networks. - Jozef Gruska; Salvatore La Torre; Margherita Napoli; Mimmo Parente (RAIRO Theor. Informatics Appl., 2006)

Verification of Succinct Hierarchical State Machines. - Salvatore La Torre; Margherita Napoli; Mimmo Parente; Gennaro Parlato (LATA, 2007)

The word problem for visibly pushdown languages described by grammars. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (Formal Methods Syst. Des., 2007)

CTLModel-Checking with Graded Quantifiers. - Alessandro Ferrante; Margherita Napoli; Mimmo Parente (ATVA, 2008)

Program Complexity in Hierarchical Module Checking. - Aniello Murano; Margherita Napoli; Mimmo Parente (LPAR, 2008)

Verification of scope-dependent hierarchical state machines. - Salvatore La Torre; Margherita Napoli; Mimmo Parente; Gennaro Parlato (Inf. Comput., 2008)

Graded-CTL: Satisfiability and Symbolic Model Checking. - Alessandro Ferrante; Margherita Napoli; Mimmo Parente (ICFEM, 2009)

Model Checking for Graded CTL. - Alessandro Ferrante; Margherita Napoli; Mimmo Parente (Fundam. Informaticae, 2009)

A NuSMV Extension for Graded-CTL Model Checking. - Alessandro Ferrante; Maurizio Memoli; Margherita Napoli; Mimmo Parente; Francesco Sorrentino 002 (CAV, 2010)

Graded Alternating-Time Temporal Logic. - Marco Faella; Margherita Napoli; Mimmo Parente (Fundam. Informaticae, 2010)

Coalitional Games with Priced-Resource Agents. - Dario Della Monica; Margherita Napoli; Mimmo Parente (CILC, 2011)

Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. - Salvatore La Torre; Margherita Napoli (CONCUR, 2011)

Graded CTL model checking for test generation. - Margherita Napoli; Mimmo Parente (SpringSim (TMS-DEVS), 2011)

On a Logic for Coalitional Games with Priced-Resource Agents. - Dario Della Monica; Margherita Napoli; Mimmo Parente (M4M/LAMAS, 2011)

A Temporal Logic for Multi-threaded Programs. - Salvatore La Torre; Margherita Napoli (IFIP TCS, 2012)

Preface. - Angelo Montanari; Margherita Napoli; Mimmo Parente (Int. J. Found. Comput. Sci., 2012)

Model checking coalitional games in shortage resource scenarios. - Dario Della Monica; Margherita Napoli; Mimmo Parente (GandALF, 2013)

Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem. - Margherita Napoli; Mimmo Parente (Computing with New Resources, 2014)

A Unifying Approach for Multistack Pushdown Automata. - Salvatore La Torre; Margherita Napoli; Gennaro Parlato (MFCS (1), 2014)

Parametric metric interval temporal logic. - Barbara Di Giampaolo; Salvatore La Torre; Margherita Napoli (Theor. Comput. Sci., 2015)

Scope-Bounded Pushdown Languages. - Salvatore La Torre; Margherita Napoli; Gennaro Parlato (Int. J. Found. Comput. Sci., 2016)

Reachability of scope-bounded multistack pushdown systems. - Salvatore La Torre; Margherita Napoli; Gennaro Parlato (Inf. Comput., 2020)