Margherita Napoli

According to our database, Margherita Napoli authored at least 52 papers between 1984 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Reachability of scope-bounded multistack pushdown systems.

Salvatore La Torre, Margherita Napoli, Gennaro Parlato

Inf. Comput., 2020

2016

Scope-Bounded Pushdown Languages.

Salvatore La Torre, Margherita Napoli, Gennaro Parlato

Int. J. Found. Comput. Sci., 2016

2015

Parametric metric interval temporal logic.

Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli

Theor. Comput. Sci., 2015

2014

A Unifying Approach for Multistack Pushdown Automata.

Salvatore La Torre, Margherita Napoli, Gennaro Parlato

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem.

Margherita Napoli, Mimmo Parente

Proceedings of the Computing with New Resources, 2014

2013

Model checking coalitional games in shortage resource scenarios.

Dario Della Monica, Margherita Napoli, Mimmo Parente

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

2012

Preface.

Angelo Montanari, Margherita Napoli, Mimmo Parente

Int. J. Found. Comput. Sci., 2012

A Temporal Logic for Multi-threaded Programs.

Salvatore La Torre, Margherita Napoli

Proceedings of the Theoretical Computer Science, 2012

2011

On a Logic for Coalitional Games with Priced-Resource Agents.

Dario Della Monica, Margherita Napoli, Mimmo Parente

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Graded CTL model checking for test generation.

Margherita Napoli, Mimmo Parente

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations.

Salvatore La Torre, Margherita Napoli

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Coalitional Games with Priced-Resource Agents.

Dario Della Monica, Margherita Napoli, Mimmo Parente

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

Graded Alternating-Time Temporal Logic.

Marco Faella, Margherita Napoli, Mimmo Parente

Fundam. Informaticae, 2010

A NuSMV Extension for Graded-CTL Model Checking.

Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Model Checking for Graded CTL.

Alessandro Ferrante, Margherita Napoli, Mimmo Parente

Fundam. Informaticae, 2009

Graded-CTL: Satisfiability and Symbolic Model Checking.

Alessandro Ferrante, Margherita Napoli, Mimmo Parente

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Verification of scope-dependent hierarchical state machines.

Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato

Inf. Comput., 2008

Program Complexity in Hierarchical Module Checking.

Aniello Murano, Margherita Napoli, Mimmo Parente

Proceedings of the Logic for Programming, 2008

CTLModel-Checking with Graded Quantifiers.

Alessandro Ferrante, Margherita Napoli, Mimmo Parente

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

The word problem for visibly pushdown languages described by grammars.

Salvatore La Torre, Margherita Napoli, Mimmo Parente

Formal Methods Syst. Des., 2007

Verification of Succinct Hierarchical State Machines.

Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato

Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007

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

On the Membership Problem for Visibly Pushdown Languages.

Salvatore La Torre, Margherita Napoli, Mimmo Parente

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Weak Muller acceptance conditions for tree automata.

Salvatore La Torre, Aniello Murano, Margherita Napoli

Theor. Comput. Sci., 2005

Various Solutions to the Firing Squad Synchronization Problems

Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente

CoRR, 2005

2003

Finite automata on timed omega-trees.

Salvatore La Torre, Margherita Napoli

Theor. Comput. Sci., 2003

Specification and Verification of Protocols With Time Constraints.

Margherita Napoli, Mimmo Parente, Adriano Peron

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Hierarchical and Recursive State Machines with Context-Dependent Properties.

Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2001

A Model of Finite Automata on Timed omega-Trees.

Salvatore La Torre, Margherita Napoli

Proceedings of the Computing: The Australasian Theory Symposium, 2001

Automata-based Representations for Infinite Graphs.

Salvatore La Torre, Margherita Napoli

RAIRO Theor. Informatics Appl., 2001

Timed tree automata with an application to temporal logic.

Salvatore La Torre, Margherita Napoli

Acta Informatica, 2001

Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints.

Salvatore La Torre, Margherita Napoli, Mimmo Parente

Proceedings of the Machines, 2001

2000

A compositional approach to synchronize two dimensional networks of processors.

Salvatore La Torre, Margherita Napoli, Mimmo Parente

RAIRO Theor. Informatics Appl., 2000

A Decidable Dense Branching-Time Temporal Logic.

Salvatore La Torre, Margherita Napoli

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1998

Synchronization of a Line of Identical Processors at a Given Time.

Salvatore La Torre, Margherita Napoli, Domenico Parente

Fundam. Informaticae, 1998

Representing Hyper-Graphs by Regular Languages.

Salvatore La Torre, Margherita Napoli

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Succinctness of Descriptions of SBTA-Languages.

Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente

Theor. Comput. Sci., 1997

Synchronization of 1-Way Connected Processors.

Salvatore La Torre, Margherita Napoli, Mimmo Parente

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996

Parallel Word Substitution.

Salvatore La Torre, Margherita Napoli, Domenico Parente

Fundam. Informaticae, 1996

Synchronization of One-way Connected Processors.

Salvatore La Torre, Margherita Napoli, Mimmo Parente

Complex Syst., 1996

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

State Complexity of SBTA Languages.

Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente

Proceedings of the LATIN '95: Theoretical Informatics, 1995

1994

Optimization of Systolic Tree Automata.

Jozef Gruska, Margherita Napoli, Domenico Parente

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993

On the Minimization and Succintness of Systolic Binary Tree Automata.

Jozef Gruska, Margherita Napoli, Domenico Parente

Sci. Ann. Cuza Univ., 1993

The Tool Development Language TDL for the Software Development Environment WSDW.

Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci

Proceedings of the SEKE'93, 1993

1992

Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations.

Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente

Acta Informatica, 1992

The Software Development Workbench WSDW.

Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci

Proceedings of the SEKE'92, 1992

1991

Systolic Y-Tree Automata: Closure Properties and Decision Problems.

Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente

Proceedings of the Fundamentals of Computation Theory, 8th International Symposium, 1991

1988

Web Structures: A Tool for Representing and Manipulating Programs.

Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora

IEEE Trans. Software Eng., 1988

C-Tree Systolic Automata.

Emanuela Fachini, Margherita Napoli

Theor. Comput. Sci., 1988

1985

Synchronized Bottom-Up Tree Automata and L-Systems.

Emanuela Fachini, Margherita Napoli

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Hierarchies of Primitive Recursive Wordsequence Functions: Comparisons and Decision Problems.

Emanuela Fachini, Margherita Napoli

Theor. Comput. Sci., 1984