Margherita Napoli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
14
Active years
1991–2014
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | DLT | Scope-Bounded Pushdown Languages. | Salvatore La Torre, Margherita Napoli, Gennaro Parlato |
| 2014 | MFCS | A Unifying Approach for Multistack Pushdown Automata. | Salvatore La Torre, Margherita Napoli, Gennaro Parlato |
| 2011 | CONCUR | Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. | Salvatore La Torre, Margherita Napoli |
| 2010 | CAV | A NuSMV Extension for Graded-CTL Model Checking. | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino |
| 2010 | LATA | Parametric Metric Interval Temporal Logic. | Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli |
| 2010 | LPAR | Graded Alternating-Time Temporal Logic. | Marco Faella, Margherita Napoli, Mimmo Parente |
| 2009 | ICFEM | Graded-CTL: Satisfiability and Symbolic Model Checking. | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
| 2008 | ATVA | CTLModel-Checking with Graded Quantifiers. | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
| 2008 | LPAR | Program Complexity in Hierarchical Module Checking. | Aniello Murano, Margherita Napoli, Mimmo Parente |
| 2007 | LATA | Verification of Succinct Hierarchical State Machines. | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
| 2006 | ATVA | On the Membership Problem for Visibly Pushdown Languages. | Salvatore La Torre, Margherita Napoli, Mimmo Parente |
| 2003 | ICALP | Hierarchical and Recursive State Machines with Context-Dependent Properties. | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato |
| 2002 | VMCAI | Weak Muller Acceptance Conditions for Tree Automata. | Salvatore La Torre, Aniello Murano, Margherita Napoli |
| 2001 | MCU | Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. | Salvatore La Torre, Margherita Napoli, Mimmo Parente |
| 1998 | MFCS | Representing Hyper-Graphs by Regular Languages. | Salvatore La Torre, Margherita Napoli |
| 1997 | FCT | Synchronization of 1-Way Connected Processors. | Salvatore La Torre, Margherita Napoli, Mimmo Parente |
| 1995 | LATIN | State Complexity of SBTA Languages. | Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente |
| 1993 | SEKE | The Tool Development Language TDL for the Software Development Environment WSDW. | Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci |
| 1992 | SEKE | The Software Development Workbench WSDW. | Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci |
| 1991 | FCT | Systolic Y-Tree Automata: Closure Properties and Decision Problems. | Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente |