Sfoglia per Autore NAPOLI, Margherita
Web structures: a tool for representing and manipulating programs
1988-01-01 A., Maggiolo Schettini; Napoli, Margherita; Tortora, Genoveffa
C-tree systolic automata
1988-01-01 E., Fachini; Napoli, Margherita
Testing Programs by Queries
1991-01-01 V., De Leo; Napoli, Margherita; Nota, Giancarlo; Tortora, Genoveffa
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory
1991-01-01 E., Fachini; A., Monti; Napoli, Margherita; Parente, Domenico
Languages accepted by systolic Y-tree automata: structural characterizations
1992-01-01 E., Fachini; A., Monti; Napoli, Margherita; Parente, Domenico
State complexity of SBTA languagesLATIN '95: Theoretical Informatics
1995-01-01 J., Gruska; A., Monti; Napoli, Margherita; Parente, Domenico
Power of interconnections and of nondeterminism in regularY-tree systolic automata
1995-01-01 E., Fachini; J., Gruska; Napoli, Margherita; Parente, Domenico
Parallel Word Substitution
1996-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Synchronization of 1-way connected processors
1996-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Synchronization of 1-way connected processorsFundamentals of Computation Theory
1997-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Succinctness of descriptions of SBTA-languages
1997-01-01 Jozef, Gruska; Angelo, Monti; Napoli, Margherita; Parente, Domenico
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development
1997-01-01 Salvatore, Torre; Napoli, Margherita; Parente, Domenico
Synchronization of a line of identical processors at a given time
1997-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Representing Infinite hyper-graphs by regular languages
1998-01-01 LA TORRE, Salvatore; Napoli, Margherita
Synchronization of a Line of Identical Processors at a Given Time
1998-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Representing hyper-graphs by regular languages
1998-01-01 LA TORRE, Salvatore; Napoli, Margherita
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
A Compositional Approach to Synchronize Two Dimensional Networks of Processors
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
A Decidable Dense Branching-time Temporal Logic
2000-01-01 LA TORRE, Salvatore; Napoli, Margherita
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints
2001-01-01 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Web structures: a tool for representing and manipulating programs | 1-gen-1988 | A., Maggiolo Schettini; Napoli, Margherita; Tortora, Genoveffa | |
C-tree systolic automata | 1-gen-1988 | E., Fachini; Napoli, Margherita | |
Testing Programs by Queries | 1-gen-1991 | V., De Leo; Napoli, Margherita; Nota, Giancarlo; Tortora, Genoveffa | |
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory | 1-gen-1991 | E., Fachini; A., Monti; Napoli, Margherita; Parente, Domenico | |
Languages accepted by systolic Y-tree automata: structural characterizations | 1-gen-1992 | E., Fachini; A., Monti; Napoli, Margherita; Parente, Domenico | |
State complexity of SBTA languagesLATIN '95: Theoretical Informatics | 1-gen-1995 | J., Gruska; A., Monti; Napoli, Margherita; Parente, Domenico | |
Power of interconnections and of nondeterminism in regularY-tree systolic automata | 1-gen-1995 | E., Fachini; J., Gruska; Napoli, Margherita; Parente, Domenico | |
Parallel Word Substitution | 1-gen-1996 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Synchronization of 1-way connected processors | 1-gen-1996 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Synchronization of 1-way connected processorsFundamentals of Computation Theory | 1-gen-1997 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Succinctness of descriptions of SBTA-languages | 1-gen-1997 | Jozef, Gruska; Angelo, Monti; Napoli, Margherita; Parente, Domenico | |
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development | 1-gen-1997 | Salvatore, Torre; Napoli, Margherita; Parente, Domenico | |
Synchronization of a line of identical processors at a given time | 1-gen-1997 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Representing Infinite hyper-graphs by regular languages | 1-gen-1998 | LA TORRE, Salvatore; Napoli, Margherita | |
Synchronization of a Line of Identical Processors at a Given Time | 1-gen-1998 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Representing hyper-graphs by regular languages | 1-gen-1998 | LA TORRE, Salvatore; Napoli, Margherita | |
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
A Compositional Approach to Synchronize Two Dimensional Networks of Processors | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
A Decidable Dense Branching-time Temporal Logic | 1-gen-2000 | LA TORRE, Salvatore; Napoli, Margherita | |
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints | 1-gen-2001 | LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile