Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Margherita Napoli" ( http://dblp.L3S.de/Authors/Margherita_Napoli )

  Author page on DBLP  Author page in RDF  Community of Margherita Napoli in ASPL-2

Publication years (Num. hits)
1984-1997 (16) 1998-2006 (16) 2007-2011 (16)
Publication types (Num. hits)
article(24) inproceedings(23) proceedings(1)
Venues (Conferences, Journals, ...)
Theor. Comput. Sci.(5) Fundam. Inform.(4) Electr. Notes Theor. Comput. S...(3) ITA(3) Acta Inf.(2) ATVA(2) CoRR(2) FCT(2) LATA(2) SEKE(2) CAV(1) CONCUR(1) Formal Methods in System Desig...(1) FSTTCS(1) GANDALF(1) ICALP(1) More (+10 of total 31)
Authors
Margherita Napoli(48) Mimmo Parente(23) Salvatore La Torre(23) Domenico Parente(9) Jozef Gruska(7) Emanuela Fachini(6) Alessandro Ferrante(4) Angelo Monti(4) Aniello Murano(3) Gennaro Parlato(3) Andrea De Lucia(2) Genny Tortora(2) Marco Faella(2) Maurizio Tucci(2) A. Imperatore(1) Adriano Peron(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 15 keywords
Results
Found 48 publication records. Showing 48 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Dario Della Monica, Margherita Napoli, Mimmo Parente On a Logic for Coalitional Games with Priced-Resource Agents. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Margherita Napoli, Mimmo Parente Graded CTL Model Checking for Test Generation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Margherita Napoli, Mimmo Parente Graded CTL model checking for test generation. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2011 DBLP  BibTeX  RDF
1Marco Faella, Margherita Napoli, Mimmo Parente Graded Alternating-Time Temporal Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Margherita Napoli, Mimmo Parente (eds.) Proceedings First Symposium on Games, Automata, Logic, and Formal Verification Search on Bibsonomy GANDALF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Barbara Di Giampaolo, Salvatore La Torre, Margherita Napoli Parametric Metric Interval Temporal Logic. Search on Bibsonomy LATA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Faella, Margherita Napoli, Mimmo Parente Graded Alternating-Time Temporal Logic. Search on Bibsonomy LPAR (Dakar) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino 0002 A NuSMV Extension for Graded-CTL Model Checking. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alessandro Ferrante, Margherita Napoli, Mimmo Parente Model Checking for Graded CTL. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Ferrante, Margherita Napoli, Mimmo Parente Graded-CTL: Satisfiability and Symbolic Model Checking. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato Verification of scope-dependent hierarchical state machines. Search on Bibsonomy Inf. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Aniello Murano, Margherita Napoli, Mimmo Parente Program Complexity in Hierarchical Module Checking. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alessandro Ferrante, Margherita Napoli, Mimmo Parente CTLModel-Checking with Graded Quantifiers. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente The word problem for visibly pushdown languages described by grammars. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Visibly pushdown grammars, XML, Verification
1Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato Verification of Succinct Hierarchical State Machines. Search on Bibsonomy LATA The full citation details ... 2007 DBLP  BibTeX  RDF
1Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente Different time solutions for the firing squad synchronization problem on basic grid networks. Search on Bibsonomy ITA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente On the Membership Problem for Visibly Pushdown Languages. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Aniello Murano, Margherita Napoli Weak Muller acceptance conditions for tree automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente Various Solutions to the Firing Squad Synchronization Problems Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Margherita Napoli, Mimmo Parente, Adriano Peron Specification and Verification of Protocols With Time Constraints. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli Finite automata on timed omega-trees. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato Hierarchical and Recursive State Machines with Context-Dependent Properties. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Model Checking, Temporal Logic, Automata
1Salvatore La Torre, Aniello Murano, Margherita Napoli Weak Muller Acceptance Conditions for Tree Automata. Search on Bibsonomy VMCAI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli A Model of Finite Automata on Timed omega-Trees. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli Automata-based Representations for Infinite Graphs. Search on Bibsonomy ITA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli Timed tree automata with an application to temporal logic. Search on Bibsonomy Acta Inf. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. Search on Bibsonomy MCU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente A compositional approach to synchronize two dimensional networks of processors. Search on Bibsonomy ITA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli A Decidable Dense Branching-Time Temporal Logic. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Domenico Parente Synchronization of a Line of Identical Processors at a Given Time. Search on Bibsonomy Fundam. Inform. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli Representing Hyper-Graphs by Regular Languages. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente Succinctness of Descriptions of SBTA-Languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente Synchronization of a Line of Identical Processors at a Given Time. Search on Bibsonomy TAPSOFT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Mimmo Parente Synchronization of 1-Way Connected Processors. Search on Bibsonomy FCT The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Salvatore La Torre, Margherita Napoli, Domenico Parente Parallel Word Substitution. Search on Bibsonomy Fundam. Inform. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Emanuela Fachini, Jozef Gruska, Margherita Napoli, Domenico Parente Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata. Search on Bibsonomy Mathematical Systems Theory The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente State Complexity of SBTA Languages. Search on Bibsonomy LATIN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jozef Gruska, Margherita Napoli, Domenico Parente Optimization of Systolic Tree Automata. Search on Bibsonomy IFIP Congress The full citation details ... 1994 DBLP  BibTeX  RDF
1Jozef Gruska, Margherita Napoli, Domenico Parente On the Minimization and Succintness of Systolic Binary Tree Automata. Search on Bibsonomy Sci. Ann. Cuza Univ. The full citation details ... 1993 DBLP  BibTeX  RDF
1Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci The Tool Development Language TDL for the Software Development Environment WSDW. Search on Bibsonomy SEKE The full citation details ... 1993 DBLP  BibTeX  RDF
1Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations. Search on Bibsonomy Acta Inf. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Andrea De Lucia, A. Imperatore, Margherita Napoli, Genny Tortora, Maurizio Tucci The Software Development Workbench WSDW. Search on Bibsonomy SEKE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente Systolic Y-Tree Automata: Closure Properties and Decision Problems. Search on Bibsonomy FCT The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora Web Structures: A Tool for Representing and Manipulating Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF high-level data flow analyzer, web structure transformations, data structures, graph theory, software tools, software tools, program transformers, program verification, programming theory, set theory, category theory, production rules, web structures
1Emanuela Fachini, Margherita Napoli C-Tree Systolic Automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Emanuela Fachini, Margherita Napoli Synchronized Bottom-Up Tree Automata and L-Systems. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Emanuela Fachini, Margherita Napoli Hierarchies of Primitive Recursive Wordsequence Functions: Comparisons and Decision Problems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #48 of 48 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.