Margherita Napoli

Publication Activity (10 Years)

Years Active: 1984-2020
Publications (10 Years): 2

Top Topics

Automata Theoretic

Transition Systems

Formal Languages

Top Venues

Int. J. Found. Comput. Sci.

Computing with New Resources

Developments in Language Theory

Publications

Salvatore La Torre, Margherita Napoli, Gennaro Parlato
Reachability of scope-bounded multistack pushdown systems. Inf. Comput. 275 (2020)
Salvatore La Torre, Margherita Napoli, Gennaro Parlato
Scope-Bounded Pushdown Languages. Int. J. Found. Comput. Sci. 27 (2) (2016)
Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli
Parametric metric interval temporal logic. Theor. Comput. Sci. 564 (2015)
Salvatore La Torre, Margherita Napoli, Gennaro Parlato
A Unifying Approach for Multistack Pushdown Automata. MFCS (1) (2014)
Margherita Napoli, Mimmo Parente
Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem. Computing with New Resources (2014)
Salvatore La Torre, Margherita Napoli, Gennaro Parlato
Scope-Bounded Pushdown Languages. Developments in Language Theory (2014)
Dario Della Monica, Margherita Napoli, Mimmo Parente
Model checking coalitional games in shortage resource scenarios. GandALF (2013)
Salvatore La Torre, Margherita Napoli
A Temporal Logic for Multi-threaded Programs. IFIP TCS (2012)
Angelo Montanari, Margherita Napoli, Mimmo Parente
Preface. Int. J. Found. Comput. Sci. 23 (3) (2012)
Margherita Napoli, Mimmo Parente
Graded CTL model checking for test generation. SpringSim (TMS-DEVS) (2011)
Margherita Napoli, Mimmo Parente
Graded CTL Model Checking for Test Generation CoRR (2011)
Dario Della Monica, Margherita Napoli, Mimmo Parente
On a Logic for Coalitional Games with Priced-Resource Agents. Electron. Notes Theor. Comput. Sci. 278 (2011)
Salvatore La Torre, Margherita Napoli
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. CONCUR (2011)
Dario Della Monica, Margherita Napoli, Mimmo Parente
Coalitional Games with Priced-Resource Agents. CILC (2011)
Marco Faella, Margherita Napoli, Mimmo Parente
Graded Alternating-Time Temporal Logic. LPAR (Dakar) (2010)
Marco Faella, Margherita Napoli, Mimmo Parente
Graded Alternating-Time Temporal Logic. Fundam. Informaticae 105 (1-2) (2010)
Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino
A NuSMV Extension for Graded-CTL Model Checking. CAV (2010)
Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli
Parametric Metric Interval Temporal Logic. LATA (2010)
Alessandro Ferrante, Margherita Napoli, Mimmo Parente
Model Checking for Graded CTL. Fundam. Informaticae 96 (3) (2009)
Alessandro Ferrante, Margherita Napoli, Mimmo Parente
Graded-CTL: Satisfiability and Symbolic Model Checking. ICFEM (2009)
Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Verification of scope-dependent hierarchical state machines. Inf. Comput. 206 (9-10) (2008)
Aniello Murano, Margherita Napoli, Mimmo Parente
Program Complexity in Hierarchical Module Checking. LPAR (2008)
Alessandro Ferrante, Margherita Napoli, Mimmo Parente
CTLModel-Checking with Graded Quantifiers. ATVA (2008)
Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Verification of Succinct Hierarchical State Machines. LATA (2007)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
The word problem for visibly pushdown languages described by grammars. Formal Methods Syst. Des. 31 (3) (2007)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
On the Membership Problem for Visibly Pushdown Languages. ATVA (2006)
Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente
Different time solutions for the firing squad synchronization problem on basic grid networks. RAIRO Theor. Informatics Appl. 40 (2) (2006)
Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente
Various Solutions to the Firing Squad Synchronization Problems CoRR (2005)
Salvatore La Torre, Aniello Murano, Margherita Napoli
Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. 332 (1-3) (2005)
Margherita Napoli, Mimmo Parente, Adriano Peron
Specification and Verification of Protocols With Time Constraints. Electron. Notes Theor. Comput. Sci. 99 (2004)
Salvatore La Torre, Margherita Napoli
Finite automata on timed omega-trees. Theor. Comput. Sci. 293 (3) (2003)
Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP (2003)
Salvatore La Torre, Aniello Murano, Margherita Napoli
Weak Muller Acceptance Conditions for Tree Automata. VMCAI (2002)
Salvatore La Torre, Margherita Napoli
Automata-based Representations for Infinite Graphs. RAIRO Theor. Informatics Appl. 35 (4) (2001)
Salvatore La Torre, Margherita Napoli
A Model of Finite Automata on Timed omega-Trees. Electron. Notes Theor. Comput. Sci. 42 (2001)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU (2001)
Salvatore La Torre, Margherita Napoli
Timed tree automata with an application to temporal logic. Acta Informatica 38 (2) (2001)
Salvatore La Torre, Margherita Napoli
A Decidable Dense Branching-Time Temporal Logic. FSTTCS (2000)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
A compositional approach to synchronize two dimensional networks of processors. RAIRO Theor. Informatics Appl. 34 (6) (2000)
Salvatore La Torre, Margherita Napoli, Domenico Parente
Synchronization of a Line of Identical Processors at a Given Time. Fundam. Informaticae 34 (1-2) (1998)
Salvatore La Torre, Margherita Napoli
Representing Hyper-Graphs by Regular Languages. MFCS (1998)
Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente
Succinctness of Descriptions of SBTA-Languages. Theor. Comput. Sci. 179 (1-2) (1997)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
Synchronization of 1-Way Connected Processors. FCT (1997)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT (1997)
Salvatore La Torre, Margherita Napoli, Domenico Parente
Parallel Word Substitution. Fundam. Informaticae 27 (1) (1996)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
Synchronization of One-way Connected Processors. Complex Syst. 10 (4) (1996)
Emanuela Fachini, Jozef Gruska, Margherita Napoli, Domenico Parente
Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata. Math. Syst. Theory 28 (3) (1995)
Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente
State Complexity of SBTA Languages. LATIN (1995)
Jozef Gruska, Margherita Napoli, Domenico Parente
Optimization of Systolic Tree Automata. IFIP Congress (1) (1994)
Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci
The Tool Development Language TDL for the Software Development Environment WSDW. SEKE (1993)
Jozef Gruska, Margherita Napoli, Domenico Parente
On the Minimization and Succintness of Systolic Binary Tree Automata. Sci. Ann. Cuza Univ. 2 (1993)
Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci
The Software Development Workbench WSDW. SEKE (1992)
Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente
Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations. Acta Informatica 29 (8) (1992)
Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente
Systolic Y-Tree Automata: Closure Properties and Decision Problems. FCT (1991)
Emanuela Fachini, Margherita Napoli
C-Tree Systolic Automata. Theor. Comput. Sci. 56 (1988)
Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora
Web Structures: A Tool for Representing and Manipulating Programs. IEEE Trans. Software Eng. 14 (11) (1988)
Emanuela Fachini, Margherita Napoli
Synchronized Bottom-Up Tree Automata and L-Systems. TAPSOFT, Vol.1 (1985)
Emanuela Fachini, Margherita Napoli
Hierarchies of Primitive Recursive Wordsequence Functions: Comparisons and Decision Problems. Theor. Comput. Sci. 29 (1984)