Margherita Napoli

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