UniSa - IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 57
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
Power of interconnections and of nondeterminism in regularY-tree systolic automata 1-gen-1995 E., Fachini; J., Gruska; Napoli, Margherita; Parente, Domenico
State complexity of SBTA languagesLATIN '95: Theoretical Informatics 1-gen-1995 J., Gruska; A., Monti; Napoli, Margherita; Parente, Domenico
Synchronization of 1-way connected processors 1-gen-1996 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Parallel Word Substitution 1-gen-1996 LA TORRE, Salvatore; 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
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
Representing 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 Infinite 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
Mostrati risultati da 1 a 20 di 57
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