Pubblicazioni

Domenico PARENTE Pubblicazioni


2010
Articolo in rivista
Environmental Impact Evaluation of Olive Mill Wastewater Shedding on Cultivated Fields
TERRESTRIAL & AQUATIC ENVIRONMENTAL TOXICOLOGY. Vol. 4. Pag.39-44
ISSN:1749-0324.
Giuseppe Celano; Assunta Maria Palese; Mimmo Parente; Luca Rizzuti; Nicola Silvestri
Visualizza sul Database dei Prodotti (IRIS)
2010
Articolo in rivista
Graded Alternating-Time Temporal Logic
FUNDAMENTA INFORMATICAE. Vol. 105(2). Pag.189-210
ISSN:0169-2968.
Faella, M; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.3233/FI-2010-363
Codice identificativo ISI: WOS:000287022900009
Codice identificativo SCOPUS: 2-s2.0-79951634547
Visualizza sul Database dei Prodotti (IRIS)
2010
Contributo in Atti di convegno
Graded Alternating-Time Temporal Logic.
In: Lecture Notes in Computer Science Springer Vol.6355, Pag.189-210
ISBN:9783642175107
The 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
(LPAR '10) Dakar, Senegal 25 Aprile-- 1 Maggio, 2010
PARENTE, Domenico; NAPOLI, Margherita; FAELLA, M.
Digital Object Identifier (DOI): 10.1007/978-3-642-17511-4_12
Codice identificativo ISI: WOS:000309668000012
Codice identificativo SCOPUS: 2-s2.0-78650850178
Visualizza sul Database dei Prodotti (IRIS)
2010
Contributo in Atti di convegno
A NuSMV Extension for Graded-CTL Model Checking.
In: Proc. of CAV 2010, Lecture Notes in Computer Science Springer-Verlag Pag.670-673
ISBN:978-3-642-14294-9
Conference of 22nd International Conference on Computer-Aided Verification, CAV 2010
Edimburgh 15 July 2010 Through 19 July 2010
Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F.
Digital Object Identifier (DOI): 10.1007/978-3-642-14295-6_58
Codice identificativo ISI: WOS:000281446200057
Codice identificativo SCOPUS: 2-s2.0-77955007634
Visualizza sul Database dei Prodotti (IRIS)
2010
Curatela
Curatore/i di Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di MONTANARI A; NAPOLI M; D. PARENTE
MONTANARI A; NAPOLI M; D. PARENTE
Visualizza sul Database dei Prodotti (IRIS)
2010
Curatela
Curatore/i di Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di MONTANARI A; M. NAPOLI; PARENTE M
MONTANARI A; M. NAPOLI; PARENTE M
Visualizza sul Database dei Prodotti (IRIS)
2010
Curatela
Curatore/i di Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. Di Angelo Montanari; Margherita Napoli; Mimmo ParenteVol. 25.
Angelo Montanari; Margherita Napoli; Mimmo Parente
Digital Object Identifier (DOI): 10.4204/EPTCS.25
Visualizza sul Database dei Prodotti (IRIS)