UniSa - IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 99
Titolo Data di pubblicazione Autore(i) File
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
Graded-CTL: Satisfiability and Symbolic Model Checking 1-gen-2009 Alessandro, Ferrante; Napoli, Margherita; Parente, Domenico
MODEL-CHECKING FOR GRADED CTL 1-gen-2009 Ferrante, Alessandro; Napoli, Margherita; Parente, Domenico
Graded Alternating Time Temporal Logic 1-gen-2009 Faella, Marco; Napoli, Margherita; Parente, Domenico
Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 1-gen-2010 Montanari, A; Napoli, Margherita; Parente, Domenico
Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010) 1-gen-2010 Montanari, A; Napoli, Margherita; Parente, Domenico
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification 1-gen-2010 Angelo, Montanari; Napoli, Margherita; Parente, Domenico
Graded Alternating-Time Temporal Logic 1-gen-2010 Parente, Domenico; Napoli, Margherita; Faella, M.
A NuSMV Extension for Graded-CTL Model Checking 1-gen-2010 Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F.
Graded Alternating-Time Temporal Logic 1-gen-2010 Faella, M; Napoli, Margherita; Parente, Domenico
Environmental Impact Evaluation of Olive Mill Wastewater Shedding on Cultivated Fields 1-gen-2010 Celano, Giuseppe; Assunta Maria, Palese; Parente, Domenico; Luca, Rizzuti; Nicola, Silvestri
Coalitional Games with Priced-Resource Agents 1-gen-2011 DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Graded CTL model checking for test generation. 1-gen-2011 Napoli, Margherita; Parente, Domenico
On a Logic for Coalitional Games with Priced-Resource Agents 1-gen-2011 Dario Della, Monica; Napoli, Margherita; Parente, Domenico
Model checking coalitional games in shortage resource scenarios 1-gen-2013 DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Enhancing an AmI-based Framework for U-commerce by applying Memetic Algorithms to Plan Shopping 1-gen-2014 D'Aniello, Giuseppe; Orciuoli, Francesco; Parente, Domenico; Vitiello, Autilia
Minimum and non-minimum time solutions to the firing squad synchronization problem 1-gen-2014 Napoli, M.; Parente, M.
Time Aware Knowledge Extraction for microblog summarization on Twitter 1-gen-2015 DE MAIO, Carmen; Fenza, Giuseppe; Loia, Vincenzo; Parente, Domenico
Biomedical data integration and ontology-driven multi-facets visualization 1-gen-2015 DE MAIO, Carmen; Fenza, Giuseppe; Loia, Vincenzo; Parente, Domenico
Mostrati risultati da 41 a 60 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