- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j23 |      | Angelo Montanari, Margherita Napoli, Mimmo Parente: Preface. Int. J. Found. Comput. Sci. 23(3) (2012) |
| c25 | | Salvatore La Torre, Margherita Napoli: A Temporal Logic for Multi-threaded Programs. IFIP TCS 2012: 225-239 |
| 2011 | ||
| j22 | | Dario Della Monica, Margherita Napoli, Mimmo Parente: On a Logic for Coalitional Games with Priced-Resource Agents. Electr. Notes Theor. Comput. Sci. 278: 215-228 (2011) |
| c24 | | Dario Della Monica, Margherita Napoli, Mimmo Parente: Coalitional Games with Priced-Resource Agents. CILC 2011: 341-347 |
| c23 | | Salvatore La Torre, Margherita Napoli: Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. CONCUR 2011: 203-218 |
| c22 | | Margherita Napoli, Mimmo Parente: Graded CTL model checking for test generation. SpringSim (TMS-DEVS) 2011: 59-66 |
| i2 | | Margherita Napoli, Mimmo Parente: Graded CTL Model Checking for Test Generation. CoRR abs/1111.2768 (2011) |
| 2010 | ||
| j21 | | Marco Faella, Margherita Napoli, Mimmo Parente: Graded Alternating-Time Temporal Logic. Fundam. Inform. 105(1-2): 189-210 (2010) |
| c21 | | Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino: A NuSMV Extension for Graded-CTL Model Checking. CAV 2010: 670-673 |
| c20 | | Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli: Parametric Metric Interval Temporal Logic. LATA 2010: 249-260 |
| c19 | | Marco Faella, Margherita Napoli, Mimmo Parente: Graded Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 192-211 |
| e1 | | Angelo Montanari, Margherita Napoli, Mimmo Parente (Eds.): Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. EPTCS 25, 2010 |
| 2009 | ||
| j20 | | Alessandro Ferrante, Margherita Napoli, Mimmo Parente: Model Checking for Graded CTL. Fundam. Inform. 96(3): 323-339 (2009) |
| c18 | | Alessandro Ferrante, Margherita Napoli, Mimmo Parente: Graded-CTL: Satisfiability and Symbolic Model Checking. ICFEM 2009: 306-325 |
| 2008 | ||
| j19 | | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of scope-dependent hierarchical state machines. Inf. Comput. 206(9-10): 1161-1177 (2008) |
| c17 | | Alessandro Ferrante, Margherita Napoli, Mimmo Parente: CTLModel-Checking with Graded Quantifiers. ATVA 2008: 18-32 |
| c16 | | Aniello Murano, Margherita Napoli, Mimmo Parente: Program Complexity in Hierarchical Module Checking. LPAR 2008: 318-332 |
| 2007 | ||
| j18 | | Salvatore La Torre, Margherita Napoli, Mimmo Parente: The word problem for visibly pushdown languages described by grammars. Formal Methods in System Design 31(3): 265-279 (2007) |
| c15 |  | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of Succinct Hierarchical State Machines. LATA 2007: 485-496 |
| 2006 | ||
| j17 | | Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente: Different time solutions for the firing squad synchronization problem on basic grid networks. ITA 40(2): 177-206 (2006) |
| c14 | | Salvatore La Torre, Margherita Napoli, Mimmo Parente: On the Membership Problem for Visibly Pushdown Languages. ATVA 2006: 96-109 |
| 2005 | ||
| j16 | | Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller acceptance conditions for tree automata. Theor. Comput. Sci. 332(1-3): 233-250 (2005) |
| i1 | | Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente: Various Solutions to the Firing Squad Synchronization Problems. CoRR abs/cs/0511044 (2005) |
| 2004 | ||
| j15 | | Margherita Napoli, Mimmo Parente, Adriano Peron: Specification and Verification of Protocols With Time Constraints. Electr. Notes Theor. Comput. Sci. 99: 205-227 (2004) |
| 2003 | ||
| j14 | | Salvatore La Torre, Margherita Napoli: Finite automata on timed omega-trees. Theor. Comput. Sci. 293(3): 479-505 (2003) |
| c13 | | Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP 2003: 776-789 |
| 2002 | ||
| c12 | | Salvatore La Torre, Aniello Murano, Margherita Napoli: Weak Muller Acceptance Conditions for Tree Automata. VMCAI 2002: 240-254 |
| 2001 | ||
| j13 | | Salvatore La Torre, Margherita Napoli: Timed tree automata with an application to temporal logic. Acta Inf. 38(2): 89-116 (2001) |
| j12 | | Salvatore La Torre, Margherita Napoli: Automata-based Representations for Infinite Graphs. ITA 35(4): 311-330 (2001) |
| j11 | | Salvatore La Torre, Margherita Napoli: A Model of Finite Automata on Timed omega-Trees. Electr. Notes Theor. Comput. Sci. 42: 158-173 (2001) |
| c11 | | Salvatore La Torre, Margherita Napoli, Mimmo Parente: Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU 2001: 264-275 |
| 2000 | ||
| j10 | | Salvatore La Torre, Margherita Napoli, Mimmo Parente: A compositional approach to synchronize two dimensional networks of processors. ITA 34(6): 549-564 (2000) |
| c10 | | Salvatore La Torre, Margherita Napoli: A Decidable Dense Branching-Time Temporal Logic. FSTTCS 2000: 139-150 |
| 1998 | ||
| j9 | | Salvatore La Torre, Margherita Napoli, Domenico Parente: Synchronization of a Line of Identical Processors at a Given Time. Fundam. Inform. 34(1-2): 103-128 (1998) |
| c9 | | Salvatore La Torre, Margherita Napoli: Representing Hyper-Graphs by Regular Languages. MFCS 1998: 571-579 |
| 1997 | ||
| j8 | | Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente: Succinctness of Descriptions of SBTA-Languages. Theor. Comput. Sci. 179(1-2): 251-271 (1997) |
| c8 | | Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of 1-Way Connected Processors. FCT 1997: 293-304 |
| c7 | | Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT 1997: 405-416 |
| 1996 | ||
| j7 | | Salvatore La Torre, Margherita Napoli, Domenico Parente: Parallel Word Substitution. Fundam. Inform. 27(1): 27-36 (1996) |
| 1995 | ||
| j6 | | Emanuela Fachini, Jozef Gruska, Margherita Napoli, Domenico Parente: Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata. Mathematical Systems Theory 28(3): 245-266 (1995) |
| c6 | | Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente: State Complexity of SBTA Languages. LATIN 1995: 346-357 |
| 1994 | ||
| c5 | | Jozef Gruska, Margherita Napoli, Domenico Parente: Optimization of Systolic Tree Automata. IFIP Congress (1) 1994: 247-252 |
| 1993 | ||
| j5 | | Jozef Gruska, Margherita Napoli, Domenico Parente: On the Minimization and Succintness of Systolic Binary Tree Automata. Sci. Ann. Cuza Univ. 2: 13-26 (1993) |
| c4 | | Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci: The Tool Development Language TDL for the Software Development Environment WSDW. SEKE 1993: 421-428 |
| 1992 | ||
| j4 | | Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente: Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations. Acta Inf. 29(8): 761-778 (1992) |
| c3 | | Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci: The Software Development Workbench WSDW. SEKE 1992: 213-221 |
| 1991 | ||
| c2 | | Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente: Systolic Y-Tree Automata: Closure Properties and Decision Problems. FCT 1991: 210-219 |
| 1988 | ||
| j3 | | Emanuela Fachini, Margherita Napoli: C-Tree Systolic Automata. Theor. Comput. Sci. 56: 155-186 (1988) |
| j2 | | Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora: Web Structures: A Tool for Representing and Manipulating Programs. IEEE Trans. Software Eng. 14(11): 1621-1639 (1988) |
| 1985 | ||
| c1 | | Emanuela Fachini, Margherita Napoli: Synchronized Bottom-Up Tree Automata and L-Systems. TAPSOFT, Vol.1 1985: 298-307 |
| 1984 | ||
| j1 | | Emanuela Fachini, Margherita Napoli: Hierarchies of Primitive Recursive Wordsequence Functions: Comparisons and Decision Problems. Theor. Comput. Sci. 29: 185-227 (1984) |
Data released under the ODC-BY 1.0 license — See also our legal information page