UniSa - IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 99
Titolo Data di pubblicazione Autore(i) File
A Compositional Approach to Synchronize Two Dimensional Networks of Processors 1-gen-2000 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints 1-gen-2001 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem with Sharpened Triangle Inequality 1-gen-2003 Ferrante, Alessandro; Parente, Domenico
Applying WBEM to heterogeneous TLC Network Management: an evaluation 1-gen-2003 Castiglione, Aniello; Cattaneo, Giuseppe; Catuogno, Luigi; Ferraro Petrillo, Umberto; Parente, Domenico; Fresa, Antonio; Casella, Raffaele; Auletta, Luigi; De Gregorio, Antonio
Hierarchical and Recursive State Machines with Context-Dependent Properties 1-gen-2003 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
Existence of Nash Equilibria in Selfish Routing Problems 1-gen-2004 Ferrante, Alessandro; Parente, Domenico
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings 1-gen-2004 Gruska, J.; LA TORRE, Salvatore; Parente, Domenico
MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK 1-gen-2004 LA TORRE, Salvatore; Murano, Aniello; Parente, Domenico
On the Vertex-Connectivity Problem for Graphs with Sharpened Triangle Inequality 1-gen-2004 Parente, Domenico; Ferrante, Alessandro
Specification and Verification of Protocols With Time Constraints 1-gen-2004 Napoli, Margherita; Parente, Domenico; Peron, A.
On the Membership Problem for Visibly Pushdown Languages 1-gen-2006 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks 1-gen-2006 Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Verification of Succinct Hierarchical State Machines 1-gen-2007 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
The word problem for visibly pushdown languages described by grammars 1-gen-2007 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
The Firing Squad Synchronization Problem on Squares, Toruses and Rings 1-gen-2007 Gruska, J; LA TORRE, Salvatore; Parente, Domenico
Enriched mu--Calculus Pushdown Module Checking 1-gen-2007 A., Ferrante; A., Murano; Parente, Domenico
ICABAS: Un software libero per la distribuzione di reflui oleari 1-gen-2008 G., Celano; A. M., Palese; Parente, Domenico; L., Rizzuti; N., Rossi; N., Silvestri
Mixed Nash equilibria in selfish routing problems with dynamic constraints 1-gen-2008 Alessandro, Ferrante; Parente, Domenico
Program Complexity in Hierarchical Module Checking 1-gen-2008 A., Murano; Napoli, Margherita; Parente, Domenico
Verification of Scope-dependent Hierarchical State Machines 1-gen-2008 LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro
Mostrati risultati da 21 a 40 di 99
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